陶哲轩用AI解决数学难题

Terence Tao + AI 用于解决困难数学问题🤯

在这个例子中，洞见来自陶哲轩，而执行——通过与GPT-5进行一小时对话以及它编写的一些Python代码——来自AI。

“在这里，AI工具的使用显著节省了时间……事实上，如果没有AI辅助，我几乎不可能进行这种数值搜索。”