标签：自动形式化
陶哲轩团队1年半项目，被他3周搞定！曾与LeCun吵翻天，如今AI大佬创业用智能体震惊整个学界？
xAI 前联合创始人、Morph Labs 首席科学家 Christian Szegedy 创立新公司 Math Inc.，致力于通过自动形式化技术打造可验证超级智能。其团队开发的自动形式化...
天才解法震惊人类！谷歌AI破天荒摘得奥数金牌，横扫IMO 42道几何难题
谷歌DeepMind的AI系统AlphaGeometry 2（AG2）在国际数学奥林匹克（IMO）的几何题目上取得了重大突破。AG2的解题率从54%飙升至84%，在2000-2024年IMO几何题上...
