“数学家”的搜索结果
中国五连冠终结，美国重登IMO宝座！AI智商被第一题打回原形
第65届国际数学奥林匹克竞赛（IMO 2024）的最终结果已经揭晓，美国队以192分的成绩荣获第一名，领先中国队2分，打破了中国连续五年的冠...
刚刚，中国IMO奥数憾失第一，五连冠统治被美国队终结
在第65届国际数学奥林匹克竞赛（IMO）中，中国队以2分之差错失团体第一，美国队以192分获得冠军，中国队以190分紧随其后，韩国队以168分...
一枚「弃子」打破80年黎曼猜想纪录！菲尔兹奖得主MIT大拿联手，陶哲轩转赞
MIT数学教授Larry Guth和牛津大学菲尔兹奖得主James Maynard在黎曼猜想（Riemann hypothesis，RH）的研究上取得了重大突破，这一成就打...
冯·诺依曼的传奇人生
约翰·冯·诺依曼，20世纪最杰出的数学家之一，以其在多个领域的开创性贡献而闻名。他出生于1903年的布达佩斯，早年就展现出了非凡的数学...
陶哲轩点破「天机」：不懂数学别想靠ChatGPT飞升！
数学家陶哲轩在探索人工智能（AI）辅助研究功能的过程中，发现AI在数学研究方面的帮助有限，但其在次要任务上的能力提升显著，尤其是在...
陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功
经过40多年的研究，计算机科学家们终于在“忙碌海狸”难题上取得了重大突破。这个突破得到了著名数学家陶哲轩的高度评价。“忙碌海狸”游戏...
陶哲轩最新采访：AI将颠覆数学界！用Lean规模化，成百上千条定理一次秒杀
陶哲轩，一位菲尔兹奖得主及加州大学洛杉矶分校教授，在最近的采访中详细讨论了人工智能（AI）对数学领域的潜在影响。他对于使用如Lean...
当AI与数学同时走下神坛
2024年4月13日，阿里巴巴全球数学竞赛首次尝试让AI与人类同场竞技。在这场特殊的赛事中，数万名数学高手和563个AI答题者共同面对挑战，...
黎曼猜想突破作者首次公开讲解，陶哲轩送上总结
数学界近期在解析数论领域取得显著进展，MIT的Larry Guth教授和牛津大学的James Maynard教授共同撰写了一篇论文，首次对数学家Albert In...
陶哲轩力推36岁菲尔兹奖得主新论文，指向黎曼猜想重大突破！
在数学领域，著名的黎曼猜想一直被誉为“猜想界的皇冠”。最近，麻省理工学院的Larry Guth教授和牛津大学的菲尔兹奖得主James Maynard在研...
