近日，巴黎文理研究大学（Université PSL）应用数学博士生陈帆、王笑圳与意大利帕多瓦大学（Università degli Studi di Padova）Giovanni Conforti副教授、巴黎萨克雷大学（Université Évry Paris-Saclay）Zhenjie Ren教授合作完成的研究论文《Convergence of Sinkhorn's Algorithm ...

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

数学通常被认为是衡量AI进步的理想领域。数学的逐步逻辑推理过程易于追踪，其确定的可自动验证答案排除了任何人为或主观因素。但AI系统正以如此快的速度改进，以至于数学基准测试都难以跟上。 早在2024年11月，非营利研究机构Epoch AI悄然发布了Frontier Math。作为一个标准化、严格的基准测试，Frontier Math旨在衡量最新AI工具的数学推理能力。 "这是一堆真正困难的数学问题， ...

AI是来自 Math 这家公司名为 Gauss 的AI。具体完成的工作，是形式化验证了让Maryna Viazovska在2022年获得数学最高奖——菲尔兹奖的成果：关于8维和24维最优球体堆积问题的定理。