标签：Gauss AI

啥？陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了

Gauss是一款表现惊人的新AI Agent，它仅用三周时间就完成了陶哲轩和Alex Kontorovich提出的在Lean中形式化强素数定理的数学挑战，而陶哲轩等人花了18个月才取...

AI-Agent

5小时前