30年数学难题，AI数学家Aristotle仅6小时告破！陶哲轩：ChatGPT们都失败了
30年数学难题，AI数学家Aristotle仅6小时告破！陶哲轩：ChatGPT们都失败了昨晚，数学界炸了！由HarmonicMath开发的AI数学家「亚里士多德」（Aristotle），100%独立完成了埃尔德什问题#124。它在Lean证明系统中，耗时仅6个小时，验证只需1分钟。
来自主题: AI资讯
10066 点击 2025-12-01 12:41
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT