定理

在最近的一项研究中，大型语言模型（LLMs）在高等数学领域的表现被详细评估。这项研究通过32道高等数学题目，总计320分，对多个AI模型进行了测试，结果显示这些模型在高等数学方面的表现相当出色，平均得...

在当今人工智能技术迅猛发展的背景下，AI在数学研究中的应用已经引起了广泛关注。最近，著名数学家陶哲轩通过使用AI工具o3-mini成功挑战了图论中的一个专家级证明，这一事件不仅展示了AI在数学领域的潜...

最近，关于黎曼猜想可能被AI破解的消息引发了广泛关注。😮作为数学界的“皇冠”，黎曼猜想自提出以来已经困扰了人类一个多世纪。如今，随着AI技术的飞速发展，尤其是Grok3的出现，这一难题似乎迎来了破解的...

在探索大型语言模型，LLMs，的推理能力方面，自博弈定理证明器，STP，的提出无疑是一个重要的突破，😮这种方法通过让模型同时扮演，猜想者，和，证明者，的角色，实现了在有限数据下的无限自我改进，这不仅在...

数学界的奇迹年，邓煜和马骁的成就，不仅为2026年菲尔兹奖增添了热门候选人，也再次证明了北大数学07级的传奇地位，🎉邓煜团队的研究不仅解决了希尔伯特第六问题，更为物理学公理化研究提供了新的视角和方法，...