标签：数学
17岁高中生用AI解决数学界难题，陶哲轩、Jeff Dean点赞
17岁高中生Enrique Barschkis在课间休息时间成功解决了困扰数学家多年的埃尔德什第347号问题。这一成就不仅在社交平台引发热议，还获得了谷歌首席科学家Jeff ...
陶哲轩惊叹！数学奇点初现，AI首次给出人类无法企及的原创证明
数学奇点初现！Gemini攻克全新数学定理，斯坦福大牛惊呼「想出来能吹一辈子」。谷歌DeepMind团队利用Gemini证明了一个代数几何领域的新定理，这一成果得到了...
陶哲轩亲自曝光：AI破解数学难题，竟全是「抄」的？
近期数学界出现一系列引人深思的事件：人工智能工具宣称解决了著名的Erdos数学难题，但随后被发现这些问题实际上早已在多年前的冷门文献中被人类解决。陶哲轩...
当57岁“数学传奇”决定为24岁“天才少女”的AI项目打工
57岁的美国顶尖数学家小野健辞去弗吉尼亚大学终身教职，加入其24岁学生洪乐潼创办的AI数学公司Axiom Math，成为第15号员工。小野健是美国顶尖数论学家，研究...
6小时告破30年数学难题，亚里士多德一夜成名
AI独立证明了悬而未决30年的数学难题Erdős问题#124的简易版本，引发学术界广泛关注。来自Harmonic公司的Aristotle模型在6小时内完成了这一突破性证明，其解决...
首位“80后”院士，来自北大数院
刘若川当选中国科学院院士，成为首位'80后'院士。这位1980年出生的数学家现任北京大学博雅特聘教授、数学科学学院副院长，44岁的入选年龄使其成为今年新增两...
OpenAI拿下IMO金牌，职业数学家崩溃：我终于明白李世石为何会落泪
Dave White，一位自诩为专业数学家的量化交易员，在得知OpenAI的AI系统在国际数学奥林匹克竞赛（IMO）上获得金牌后，感到了一种深刻的身份危机。他形容这种感...
全球首个IMO金牌AI诞生！谷歌Gemini碾碎奥数神话，拿下35分震惊裁判
谷歌DeepMind凭借其最新模型Gemini Deep Think在国际数学奥林匹克竞赛（IMO）中取得了历史性突破，成功摘得金牌。这一成就标志着AI在数学推理领域的重大进展...
先别急着给OpenAI加冕！陶哲轩：这种「金牌」，含金量取决于「赛制」
OpenAI 最近宣布其推理模型在国际数学奥林匹克（IMO）竞赛中取得了金牌水平的成绩，这一消息引发了广泛关注。该模型在严格遵循人类选手比赛规则的条件下，成...
陶哲轩回应OpenAI新模型IMO夺金！GPT-5测试版也曝光了
OpenAI最新模型在国际数学奥林匹克竞赛（IMO）中取得了金牌水平的成绩，这一突破引发了广泛关注。IMO是全球最顶尖的数学竞赛，每年仅有不到8%的参赛者能够获...
