½üÆÚ£¬ÈËΪÖÇÄÜÁìÓò¹ú¼ÊѧÊõ»áÒéIJCAI 2025£¨ÖйúÍÆËã»úѧ»áCCF AÀà»áÒ飩°ä²¼Éó¸åÁ˾֣¬CA88ÍÆËã»ú¹¤³ÌÓë¿ÆÑ§Ñ§ÔºÀäÍØ¸±½ÌÊÚ¿ÎÌâ×éµÄ×êÑгɾ͡°FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network¡±±»¸Ã»áÒé½Ó¹Ü¼Óã¬ÍÆËã»ú¹¤³ÌÓë¿ÆÑ§Ñ§Ôº2024¼¶²©Ê¿×êÑÐÉúÕÅЧ¿ÎªÂÛÎĵÚÒ»×÷Õߣ¬ÀäÍØ¸±½ÌÊÚΪΨһͨѶ×÷Õß¡£IJCAIÈ«³ÆÎª¹ú¼ÊÈËΪÖÇÄܽáºÏ»áÒ飨International Joint Conference on Artificial Intelligence£©£¬¸Ã»áÒéÊǹú¼ÊÈËΪÖÇÄܽç×îÓÐÓ°ÏìÁ¦ºÍȨÍþÐÔµÄÊ¢»áÖ®Ò»£¬ÔÚÊÀ½çÁìÓòÄÚÿÄêÕÙ¿ªÒ»´Î£¬±¾½ì»áÒé¼ÓÃÂÊԼΪ19%¡£
¼¸ºÎѧÊÇÒ»Ãź¹ÇàÓÆ¾Ã¡¢Àú¾ÃÃÖеÄѧ¿Æ£¬×ÔÅ·¼¸ÀïµÃ¡¶¼¸ºÎÕý±¾¡·ÎÊÊÀÒÔÀ´£¬ÆäÀíÂÛϵͳ²»ÐÝÃÀÂú£¬¶ø¹ØÓÚ¼¸ºÎÎÊÌâ×Ô¶¯Çó½â²½ÖèµÄË÷ÇóʼÖÕÓëÖ®Ïà°éÏàÉú¡£³ö¸ñÊÇÍÆËã»ú³öÏÖÒÔÀ´£¬ÈËÃdz¢ÊÔÀûÓÃÆä׳´óµÄÍÆËãºÍÍÆÀíÄÜÁ¦Éè¼Æ×Ô¶¯½âÌâËã·¨£¬ÔÚÕâÒ»²¼¾°Ïµ®ÉúÁËÊýѧ»úе»¯ÕâÒ»ÊýѧзÖÖ§¡£½«Êýѧ֪ʶת»¯³ÉÍÆËã»ú¿ÉÄÜÀí½âµÄ˵»°£¬ÏÔÈ»Ò×¼ûÊÇÊýѧÓëÍÆËã»ú¿ÆÑ§ÈںϵĵÚÒ»²½£¬Ò²ÊDZز»³ÉÉٵijÁÒªÒ»²½¡£¼¸ºÎÎÊÌâÔ̺¬Í¼Ïñ¡¢Îı¾ºÍÊýѧ·ûºÅµÈ¶àÖÖ֪ʶ´ó¾Ö£¬½âÌâ¹ý³ÌÉæ¼°¼¸ºÎ¸ÉÏµÍÆÀí¡¢ÊýÖµÍÆËã¡¢´úÊý·½³ÌÇó½â¡¢Í¼ÏñÍÆÀíºÍÂß¼ÔËË㣬ÄÑÒÔÄÉÈëͳһ¿ò¼Ü´¦Öã¬Ê¹µÃ¼¸ºÎÎÊÌâ´ó¾Ö»¯Óë×Ô¶¯Çó½â³ÉΪһÏî³Ö¾ÃµÄÌôÕ½¡£
ÀäÍØ¸±½ÌÊÚ¿ÎÌâ×éÔÚ¼¸ºÎÎÊÌâ´ó¾Ö»¯°µÊ¾Óë×Ô¶¯Çó½âÁìÓò·¢Õ¹ÁËϵͳÐÔ×êÑУ¬Í¨¹ýÕûºÏÊýѧ»úе»¯²½ÖèÓëÉî¶È½ø½¨¼¼Êõ£¬Öð²½¹¹½¨ÁËÒ»¸öÓµÓд´ÐÂÐԵļ¸ºÎÎÊÌâ×Ô¶¯Çó½â¿ò¼Ü¡ª¡ªFormalGeo£¬Èçͼ1Ëùʾ¡£FormalGeo¼¸ºÎÎÊÌâ×Ô¶¯Çó½â¿ò¼Ü¿É»®·ÖΪËĸöÖØÒª×é³É²¿ÃÅ£º¼¸ºÎ´ó¾Ö»¯ÀíÂÛ£¨Í¼ÖкìÉ«²¿ÃÅ£©¡¢¼¸ºÎ´ó¾Öϵͳ£¨Í¼ÖлÆÉ«²¿ÃÅ£©¡¢¼¸ºÎÎÊÌâÇó½âÆ÷£¨Í¼ÖÐÀ¶É«²¿ÃÅ£©ÒÔ¼°¼¸ºÎÎÊÌâµÄ×Ô¶¯´ó¾Ö»¯ÓëÄæ´ó¾Ö»¯£¨Í¼ÖÐÂÌÉ«²¿ÃÅ£©¡£

ͼ1 FormalGeo¼¸ºÎÎÊÌâ×Ô¶¯Çó½â¿ò¼Ü
Õâ´Î±»IJCAI 2025¼ÓõŤ×÷ÊÇÀäÍØ¸±½ÌÊÚ¿ÎÌâ×éÔÚ¼¸ºÎÎÊÌâ×Ô¶¯Çó½âϵÁеĵÚ7ƪÂÛÎÄ¡£¸Ã¹¤×÷¹¹½¨ÁËÒ»¸öÃûΪFGeo-HyperGNetµÄÉñ¾-·ûºÅϵͳ£¬ÓÃÓÚʵÏÖÀàÈ˵ļ¸ºÎÎÊÌâ×Ô¶¯Çó½â£¬ÕûÌå¼Ü¹¹Èçͼ2Ëùʾ¡£¸ÃϵͳµÄ·ûºÅ²¿ÃÅÊÇ»ùÓÚFormalGeo¹¹½¨µÄ´ó¾Ö»¯ÏµÍ³£¬¿ÉÄÜ×Ô¶¯Ö´Ðм¸ºÎ¸ÉÏµÍÆÀíÓë´úÊýÔËË㣬²¢½«½âÌâ¹ý³Ì×é֯ΪÒÔÒÑ֪ǰÌáΪ³¬½áµã¡¢¼¸ºÎ¶¨ÀíΪ³¬±ßµÄ³¬Í¼½á¹¹¡£¸ÃϵͳµÄÉñ¾²¿ÃÅHyperGNetÊÇÒ»ÖÖ»ùÓÚ°ÑÎÈÁ¦»úÔìµÄ³¬Í¼Éñ¾ÍøÂ磬Æä×é³ÉÔ̺¬ÓÃÓÚÓÐЧ±àÂ볬ͼ½á¹¹ÓëÓïÒåÐÅÏ¢µÄ±àÂëÆ÷£¬ÒÔ¼°Îª½âÌâ¹ý³ÌÌṩÁìµ¼µÄ¶¨ÀíÔ¤²âÆ÷¡£¸Ãϵͳͨ¹ýÉñ¾²¿ÃÅÔ¤²â½âÌâËùÐèµÄ¶¨Àí£¬·ûºÅ²¿ÃÅÀûÓö¨Àí²¢¸üг¬Í¼£¬Ðγɡ°Ô¤²â-ÀûÓᱵĵü´úÇó½â»úÔ죬×îÖÕʵÏֿɶÁ¡¢¿É»ØËÝ¡¢¿ÉÚ¹Ê͵ļ¸ºÎÎÊÌâ×Ô¶¯Çó½â¡£

ͼ2 ÓÃÓÚ×Ô¶¯Çó½â¼¸ºÎÎÊÌâµÄÉñ¾·ûºÅϵͳÕûÌå¼Ü¹¹
×÷ÕßÔÚÈý¸ö¼¸ºÎÎÊÌâÇó½âÊý¾Ý¼¯FormalGeo7K¡¢Geometry3KºÍGeoQA¶ÔÌá³öµÄ²½Öè½øÐвâÊÔ£¬¾ù´´ÔìÁËÐµļ¸ºÎÎÊÌâÇó½â³É¹¦Âʼͼ£¨SOTA£©£¬±ðÀëΪ88.36%¡¢85.64%ºÍ91.99%¡£Ïà±Å×Ú¸ÃÁìÓòÏÖÓÐSOTA²½Ö裬FGeo-HyperGNetÔÚÈý¸öÊý¾Ý¼¯ÉϵÄÌáÉý±ðÀëΪ5.98%¡¢20.44%ºÍ1.59%¡£³ö¸ñÊÇÔÚÇó½â¸ßÄѶȼ¸ºÎÎÊÌâʱ£¬FGeo-HyperGNetÏÔÖøÓÅÓÚÏÖÓÐSOTA²½Öè¡£

ͼ3 ×êÑÐÄÚÈÝÂß¼¹ØÏµÍ¼
¾¹ý½ü5ÄêµÄ¶Ñ¼¯£¬ÀäÍØ¸±½ÌÊÚ¿ÎÌâ×éÔÚ¼¸ºÎ×Ô¶¯ÍÆÀíÁìÓòµÄ×êÑгɾÍÒÑÖð²½»ñµÃѧ½ç¿í·ºÈϿɣ¬Ç°ÆÚ¶àÏî³É¾ÍÒѾÒÔÂÛÎÄ´ó¾Ö°ä·¢£¬¸÷²¿ÃÅ×êÑÐÄÚÈݵÄÂß¼¹ØÏµÈçͼ3Ëùʾ¡£
ÍŶÓÂÅ´ÎÊÜÑûÔÚ±±¾©´óѧ¡¢¸´µ©´óѧ¡¢±±¾©º½¿Õº½Ìì´óѧµÈ³ÛÃû¸ßУ£¬ÒÔ¼°ÖйúÊýѧÄê»áÍÆËã»úÊýÑ§Ç°ÑØÂÛ̳µÈ³ÁҪѧÊõ»áÒéÉÏ×÷Ô¼Çë»ã±¨¡£¿ÎÌâ×éÌá³öµÄFormalGeo´ó¾Ö»¯ÏµÍ³×÷Ϊ»ù´¡ÐÔÀíÂÛ¿ò¼Ü£¬ÒÑÓÐЧ֧³ÖÁ˶àÏîÑÜÉú×êÑУº±±¾©´óѧÍŶӻùÓÚFormalGeoÌá³öÁËÒ»ÖÖÃûΪDFE-GPSµÄпò¼Ü£¬Í¨¹ýÈý½×¶ÎѵÁ·¼ÓǿģÐͶԼ¸ºÎͼÐεÄÀí½âÓëÍÆÀíÄÜÁ¦£¬ÌáÉý¶àģ̬´ó˵»°Ä£ÐÍÔÚ¼¸ºÎÎÊÌâÇó½âÖеIJû·¢¡£Öйú¿ÆÑ§¼¼Êõ´óѧÍŶÓÌá³öÁËGeoGen²½Ö裬¸Ã²½Öè»ùÓÚFormalGeo×Ô¶¯ÌìÉú¼¸ºÎÎÊÌâµÄ¶à²½ÍÆÀíõè¾¶£¬È·±£Âß¼ÕýÈ·ÐÔ£¬½ø¶øÑµÁ·×¨ÓõĴó˵»°Ä£ÐÍ£¬½«¶àģ̬´ó˵»°Ä£Ð͵ÄÌìȻ˵»°ÍÆÀí²½Öèת»»Îª·ûºÅϵͳµÄ´ó¾Ö»¯°µÊ¾£¬±ãÓÚ·ûºÅÑéÖ¤¡£Í¨¹ýÕâÖÖ·ûºÅ-Éñ¾¼¯³É¼ÓÇ¿¶àģ̬´ó˵»°Ä£ÐÍÇó½â¼¸ºÎÎÊÌâµÄÄÜÁ¦¡£
½üÄêÀ´£¬ÍÆËã»úѧԺ×êÑÐÉúÈ˲ÅÔì¾Í¹¤×÷ÕýÖð²½Éî¿ÌרҵÁìÓòÇ°ÑØ£¬Ò»Ð©¸ßÖÊÁ¿¿ÆÑгɾÍÔÚ²»Ðݲú³ö¡£ÕâЩ³É¾Í½«ÎªÍÆËã»úѧԺѧ¿Æ½¨Éè¡¢×êÑÐÉúÔì¾ÍÆðµ½³ÁÒªµÄÖ§³Ö×÷Óá£
FormalGeoÖ÷Ò³£ºhttps://formalgeo.github.io/