2022年7月，乌克兰数学家Maryna Viazovska荣获素有“数学界诺贝尔奖”之称的菲尔兹奖，这在当时成为重大新闻，她是该奖项设立86年来第二位获此殊荣的女性。近四年后，Viazovska再度引发关注。如今，通过人类与AI的协作，她的数学证明已被形式化验证，这标志着人工智能在辅助数学研究方面取得了飞速进展（https://www.math.inc/sphere-packing）。 并未参与 ...

数学被视为衡量AI进展的理想领域，但AI系统改进速度如此之快，以至于数学基准测试难以跟上。Frontier Math基准在2024年11月发布时，顶尖AI模型只能解决不到2%的问题，而如今最佳公开AI模型已能解决超过40%的问题。谷歌DeepMind的Aletheia系统甚至实现了可发表的博士级研究成果。为应对这一挑战，数学家们提出了First Proof挑战和Open Problems等更严峻的 ...

清华大学与加州大学圣地亚哥分校等顶尖高校联合研发的全新AI训练方法OREO，近日在arXiv预印本平台发布论文（编号arXiv:2412.16145v2），为复杂推理任务训练提供突破性解决方案。这项创新通过模拟人类解题思维，使AI系统能够像学霸一样逐步分析问题，在数学竞赛级难题和智能体控制任务中展现出显著优势。

在人工智能的快速发展中，如何让AI系统具备更强的推理能力，成为了研究者们亟待解决的问题。近日，清华大学与加州大学圣地亚哥分校（UCSD）等顶尖高校的研究团队联合发布了一项名为OREO的全新AI训练方法。该方法在arXiv预印本平台上发布的论文编号为arXiv:2412.16145v2，标志着在复杂推理任务训练方面的一次重大突破。

URUMQI, March 6 (Xinhua) -- Growing up in a Kazakh family in northwest China, Guljaina Kazezkhan often spent her childhood summer nights lying on a carpet in the yard and gazing at the stars. In the K ...

美国与以色列对伊朗发动大规模军事行动，致使伊朗最高领袖阿亚图拉·阿里·哈梅内伊身亡，全球石油市场随即受到冲击。布伦特原油价格上周末飙升8%，至每桶约78美元，这反映出市场对中东能源供应的高度担忧。不过，高盛集团（Goldman Sachs）的石油研究主管达安·斯特鲁伊文表示，当前油价恰恰揭示了交易员的押注：能源供应中断将持续约四周。

前段时间，数学四大顶刊中发文量最大的《Inventiones Mathematicae》（数学新进展）少有的长达近一个月没有新上线文章，而在2月底后终于陆续上线了几篇文章，可喜的是在3月5日，国内机构有一篇上榜，让我们来简单了解一下： ...

这项由清华大学联合加州大学圣地亚哥分校（UCSD）等多所顶尖高校共同完成的研究发表于2024年12月的arXiv预印本平台，论文编号为arXiv:2412.16145v2。有兴趣深入了解的读者可以通过该编号查询完整论文。 当我们看到ChatGPT解数学题时，有没有想过它是怎么一步步推理的？就像学霸做题一样，需要先理解题意，然后列出解题步骤，最后得出答案。但现在的AI训练方法就像只告诉学生"这道题答 ...

大家好，我是你们的历史科普博主。今天要带大家走进一位鲜为人知的数学家——理查德·诺伍德（Richard ...