★ 2视频讨论 AI 在纳维-斯托克斯、黎曼猜想上的数学危机一则视频讨论 AI 在纳维-斯托克斯方程、黎曼猜想与复杂性理论等重大数学难题上的表现所引发的争议。核心议题是 AI 生成的数学结果能否被验证、是否构成真正的突破。Hacker News – AI6 天前