AI资讯新闻榜单内容搜索-HarmonicMa

关键词: AI新闻,AI数学家,HarmonicMath,Aristotle,AI亚里士多德

昨晚，数学界炸了！由HarmonicMath开发的AI数学家「亚里士多德」（Aristotle），100%独立完成了埃尔德什问题#124。它在Lean证明系统中，耗时仅6个小时，验证只需1分钟。