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

这项由清华大学联合加州大学圣地亚哥分校（UCSD）等多所顶尖高校共同完成的研究发表于2024年12月的arXiv预印本平台，论文编号为arXiv:2412.16145v2。有兴趣深入了解的读者可以通过该编号查询完整论文。

进入初中，面对新环境和繁重的课业，一个女孩曾感到迷茫，但她没有退缩，而是勇敢地迎接挑战，在不同科目的学习中总结经验、开阔视野。本期《同龄人》，我们一起来了解她的成长历程与所思所感。

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

扫码咨询2026年新航道春季班February 26, 20263分钟学会一个雅思7分句系列 | | 栏目推送说明3分钟学会一个雅思7分句/段系列，每次教你学会一个7分句/段。雅思7分作文，就是日复一日、点点滴滴的积累。Some people think math is important for school children；however，others believe that other ...

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

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

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

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

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

01 IC 2026需参加笔试专业一览【图片来自网络】伴随着录取竞争越发激烈，IC 出于招生公平和学术匹配性考虑，已在官方网站与相关资料页公布了以下2026 本科申请阶段需要笔试的专业列表及考试要求：需要参加笔试的考试类型在IC 的招生体系中，2026 笔试主要分为以下几类：Engineering and Science Admissions ...

The Machine Learning Area at Microsoft Research Asia pushes the frontier of machine learning from the perspectives of theory, algorithms, and applications. Our research interests cover deep learning, ...