Claude把千禧年难题做出来了？陶哲轩：我可没这么说

社交媒体上流传Anthropic的Claude可能解决了纳维-斯托克斯方程相关的千禧年难题，但目前尚无公开证据支持。数学家陶哲轩讨论了AI在解决重大数学问题后对数学研究的影响，包括验证的重要性上升及数学家工作分工的变化。尽管传闻未被证实，但AI在数学领域的快速发展已引起广泛关注。

🔗 [论文地址]：https://www.anthropic.com/research/formalizing-fermats-last-theorem
🔗 [论文地址]：https://www.anthropic.com/research/riemann-zeta