标签：数学挑战
啥？陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了
Gauss是一款表现惊人的新AI Agent，它仅用三周时间就完成了陶哲轩和Alex Kontorovich提出的在Lean中形式化强素数定理的数学挑战，而陶哲轩等人花了18个月才取...
陶哲轩全网悬赏「最强大脑」！AI+人类颠覆数学难题？凡尔赛网友已下场
陶哲轩，一位著名的数学家，最近发起了一项挑战，旨在探索是否可以利用AI和众包的方式扩展数学问题的证明范围。他提出了一个项目，使用Lean4证明辅助语言来形...
