标签：数学研究
陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明
陶哲轩发起的“等式理论计划”在人类与AI的合作下取得显著成果。该计划旨在探索原群等式理论空间，通过数学家、AI工具和证明辅助语言Lean的协作，构建4694个mag...
人类已知最大素数诞生：2¹³⁶²⁷⁹⁸⁴¹−1！前英伟达员工数千GPU爆肝算出，高达4100万位
英伟达前员工Luke Durant通过自己搭建的数千个GPU组成的“云超算”发现了人类已知最大的素数2^136279841-1，这个素数比之前的纪录保持者多出1600万位，也是首个...
132年未解开的李雅普诺夫函数谜题，被Symbolic Transformer攻克了
AI在解决高级数学问题上的能力再次取得突破。Meta和巴黎理工学院的研究人员合作，针对数学界长期未解的李雅普诺夫函数问题提出了新的研究。李雅普诺夫函数是...
OpenAI o1智商120，还是被陶哲轩称为「平庸的研究生」，但实力究竟如何？
OpenAI最近发布的新模型o1在AI领域引起了广泛关注。该模型在不同的测试中表现出了不同的能力。在智商测试中，o1的得分高达120，超过了其他大模型，但在ARC Pr...
几何朗兰兹猜想被解决！历时30年、证明论文达800余页，中国学者陈麟系主要作者
几何朗兰兹猜想，作为朗兰兹纲领的几何化版本，经过30余年的研究和9位数学家的共同努力，终于得到了证明。朗兰兹纲领自1967年由罗伯特·朗兰兹提出，旨在揭示...
陶哲轩点破「天机」：不懂数学别想靠ChatGPT飞升！
数学家陶哲轩在探索人工智能（AI）辅助研究功能的过程中，发现AI在数学研究方面的帮助有限，但其在次要任务上的能力提升显著，尤其是在编码和制作图表方面。...
陶哲轩力推36岁菲尔兹奖得主新论文，指向黎曼猜想重大突破！
在数学领域，著名的黎曼猜想一直被誉为“猜想界的皇冠”。最近，麻省理工学院的Larry Guth教授和牛津大学的菲尔兹奖得主James Maynard在研究Dirichlet级数时取...
跨越300多年的接力：受陶哲轩启发，数学家决定用AI形式化费马大定理的证明
在数学界，人工智能的应用正在逐渐扩展，特别是在数学探索和证明方面。近年来，受到陶哲轩等人的启发，越来越多的数学家开始尝试利用人工智能，特别是定理证...
AI颠覆数学研究！菲尔兹奖得主、华裔数学家领衔11篇顶刊论文｜陶哲轩转赞
新智元的这篇报道聚焦于人工智能（AI）对数学领域的影响，特别是在数学研究方法上的潜在变革。报道提到了多位数学家和计算机科学家的观点，包括菲尔兹奖得主A...
