数学通常被认为是衡量AI进步的理想领域。数学的逐步逻辑推理过程易于追踪，其确定的可自动验证答案排除了任何人为或主观因素。但AI系统正以如此快的速度改进，以至于数学基准测试都难以跟上。 早在2024年11月，非营利研究机构Epoch ...

近日，巴黎文理研究大学（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）。 并未参与 ...

2022 年 7 月，乌克兰数学家 Maryna Viazovska 荣获被广泛誉为「数学界诺贝尔奖」的菲尔兹奖，这在当时引起了巨大轰动，她是该奖项 86 年历史上第二位获此殊荣的女性。

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

这项由伊利诺伊大学香槟分校和清华大学联合开展的突破性研究发表于2024年12月2日的arXiv预印本平台（论文编号：arXiv:2412.01981v1），为人工智能领域带来了一个令人振奋的发现。有兴趣深入了解技术细节的读者可以通过该论文编号查询完整研究报告。 要理解这项研究的重要性，我们首先需要了解什么是奖励模型。就像老师批改学生作业一样，当AI系统完成一项任务时，需要有一个"评判员"来告诉它做 ...

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

阎焱表示，对于普通老百姓来讲，如果要去玩这个资本市场，一定要想明白一点，你能够赚到那些信息比你更流通、信息比你获取的量更大，而且手上的资金量比你更多的这些机构资本的钱，换句话说，你怎么能够赚取到包括那些智商比你高的人的东西？

在产品方面，杨植麟表示他们未来的重心依旧在Kimi上，且暂时也不会再拓展海外市场。不过，国内to C生产力工具迟迟难变现的现状，对月之暗面和杨植麟提出了巨大考验。 当下，技术的故事对于资本市场而言，似乎也不再性感。有投资人直言，“这年头、这个环境，以月之暗面现在的估值水平，发啥（模型）都没帮助。下一轮月之暗面的估值至少要40亿~50亿美元，谁还能投得起？” ...

IT之家 8 月 20 日消息，在今日的 2025 科隆游戏展开幕之夜活动中，《极乐迪斯科》开发商 ZA / UM 公布了游戏新作《 ZERO PARADES 》。 大约 12 名 ZA / UM 前员工宣布成立 Longdue Games 工作室 ，该工作室据说正在开发《极乐迪斯科》的 RPG 精神续作。

学校引入科技设备，本意是为学习提供助力，但这些设备最终反而对学习产生了负面影响。

其中，字节跳动旗下 Seed 2.0 的表现最为亮眼。该模型为首次亮相 LMArena 榜单，便成功跻身综合排行榜全球前十，位列本次登榜国产模型首位。同期密集发布的多款国产旗舰大模型亦同步登榜，GLM-5、文心 5.0、Qwen 3.5、Kimi K2.5 分列榜单第 16 至 19 位。国产大模型第一梯队正以前所未有的集群姿态，集体冲击全球大模型技术最高水平。