张益唐苦思冥想的数学难题，被AI化为课后习题
AI用不同于王虹的技术路线，攻克全维度挂谷猜想
12 个国家重大研发计划养出的 Nature 论文，数据造假？
OpenAI官宣攻克千禧年七大难题的NS方程问题
2023年3月，人类终究走上了一条无法回头的路
数学家追了13年，OpenAI用88小时跑完最后一程
数学氢弹雨洗地：OpenAI的722篇数学论文
“我用AI证明了黎曼猜想，现在我要怎么投稿”
得知OpenAI解决ns方程问题的韦东奕
AI攻克千禧年七大难题那天，我抱着被子一直哭
“722篇数学论文覆盖了我的成果，我没法毕业了”
GPT-6 Astra 实测：折腾一晚上，审美、Agent、3D，全都变强了！
Claude形式化费马大定理证明：数学工业化
未来已来，OpenAI 证明 NS 方程爆破！
黎曼猜想：所有数学家都知道它是对的，但至今就是死活证明不出来
庞加莱猜想为何价值100万美元？宇宙到底是什么形状？
累了毁灭吧，OpenAI公布了722篇数学论文
Claude的氢弹级成果：黎曼猜想的重大突破
千禧年七大难题已经沦为了AI的benchmark
传奇数学家张益唐和孪生素数猜想：潦倒半生，58岁迎来人生转折
