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

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

自由人生。

在人工智能革命的浪潮中，财富神话正以惊人的速度被改写。最新公布的全球财富榜单显示，31岁的Lucy Guo凭借90亿元身家成为全球最年轻的90后白手起家女首富，这位华裔创业者的故事折射出AI时代特有的造富逻辑——十年前与合伙人创立Scale ...

继3月5日，中国科学技术大学黄文、许雷叶与安徽理工大学张一威，英国伦敦玛丽女王大学Oliver Jenkinson合作，在数学四大顶刊的《Inventiones ...

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

在科学史的长河中，有许多女性曾以非凡的才华和勇气打破壁垒，却因为性别而被历史埋没。在今年的国际妇女节之际，我们一起回顾一个发生在两百多年前的真实故事：一位自学成才的法国女性，凭一己之力冲击当时最顶尖的数学家都不敢碰的难题，赢得了法国久负盛名的科学大奖。 但在颁奖典礼那天，她的座位却始终空着。她就是索菲·热尔曼。 2026年初，巴黎市长安妮·伊达尔戈宣布了一项计划：在埃菲尔铁塔上增刻72位历史上杰出 ...

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

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

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

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

A：这意味着Yi-Lightning在全球最权威的AI竞技场上跻身世界前六强。Chatbot Arena类似AI界的奥运会，完全基于真实用户的评判和比较，不是传统考试。Yi-Lightning获得总分1287分，与GPT-4o平分秋色，在中文、数学、编程等专业领域更是排名第2-4位，证明了它在实际应用中的卓越能力。