https://www.neican.ai/tags/ai%E9%AB%98%E6%96%AF/ Recent content in AI高斯 on AI内参 Hugo zh-cn Sun, 14 Sep 2025 13:40:04 +0800 https://www.neican.ai/insights/18aiko-20250914134004558-0/ Sun, 14 Sep 2025 13:40:04 +0800 https://www.neican.ai/insights/18aiko-20250914134004558-0/ 一个名叫Gauss的AI Agent，仅用三周就解决了菲尔兹奖得主陶哲轩和合作者耗时18个月都未能搞定的数学挑战——在Lean中形式化强素数定理。这背后的Math公司由BatchNorm联合创始人Christian Szegedy领衔，预示着AI在数学形式化领域的巨大潜力，也引发了陶哲轩对AI与人类协作中“隐含目标”的深度思考。