-
6小时告破30年数学难题 亚里士多德一夜成名
30年悬而未决的数学难题就这样被AI证明了？！此时此刻，（前推特）正在刮起一股讨论之风——来自Harmonic的数学AI模型独立证明了Erd?s问题#124，而这个问题已经被数学家无奈搁置了近30年。微软前AI副总裁、目...[详细]
2025-12-01 22:36:55 -
数学大神陶哲轩用GPT-5解决数学难题：只用了29行Python代码
AI又又又帮陶哲轩解决了一个难题！消息来自陶本人最新发帖，他直言不讳地表示：如果没有AI帮忙，完成同样任务就需要花费数小时（主要是手动编写代码和调试）。甚至，如果没有AI，他也不会决定采用目前已经取得成功的关键策略。事实...[详细]
-
谷歌AI将攻破200年数学难题，39岁天才率队密研三年，或摘千禧年大奖
2位华人学者助阵【导读】数学界百年未解之谜，即将迎来重大突破！谷歌DeepMind携手39岁数学天才，率领20人精英团队秘研三年，正借AI向千禧年大奖难题发起冲击，预计未来12月内摘下数学「圣杯」。人类史上最棘手的数学难...[详细]
-
56年无人解开的数学难题 被谷歌的新AI突破了
去年，AI 能解出博士级别的数学题，已是轰动一时的大新闻；而今年，能攻克「未解之谜」级别的数学难题的 AI 已经来了。5 月 15 日，Google DeepMind 发布了全新编程智能体 AlphaEvolve。不同于传统的编程 Agen...[详细]
-
3位北大才子攻克65年数学难题！证明126维空间“末日假说”
65年数学难题新突破！来自复旦大学的林伟南、王国祯以及UCLA的徐宙利合作，解决了126维空间的Kervaire不变量问题。三位作者都是北大数院出身，该成果曾作为北大建校126周年贺礼做报告，现在完整论文终于上传arXi...[详细]
-
35岁北大校友突破125年数学难题：华人数学奇迹年
时隔125年，著名的希尔伯特第六问题，终于被华人解决了！这项研究共有三位作者，包括：邓煜，芝加哥大学教授，北大（07级）/MIT校友马骁，密歇根大学助理教授，本科毕业于中科大少年班Zaher Hani：密歇根大学教授，师从...[详细]
-
35岁北大校友突破125年数学难题 网友：华人数学奇迹年
时隔125年，著名的希尔伯特第六问题，终于被华人解决了！这项研究共有三位作者，包括：邓煜，芝加哥大学教授，北大（07级）/MIT校友马骁，密歇根大学助理教授，本科毕业于中科大少年班Zaher Hani：密歇根大学教授，师从...[详细]