标签：自动形式化

天才解法震惊人类！谷歌AI破天荒摘得奥数金牌，横扫IMO 42道几何难题

谷歌DeepMind的AI系统AlphaGeometry 2（AG2）在国际数学奥林匹克（IMO）的几何题目上取得了重大突破。AG2的解题率从54%飙升至84%，在2000-2024年IMO几何题上...

AIGC动态

13小时前