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

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

近日，巴黎文理研究大学（Université PSL）应用数学博士生陈帆、王笑圳与意大利帕多瓦大学（Università degli Studi di Padova）Giovanni Conforti副教授、巴黎萨克雷大学（Université ...

数学家伍鸿熙长期关注中小学数学，他指出中小学数学并非大学数学的简化版，而是一门独立的 ...

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

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 位。国产大模型第一梯队正以前所未有的集群姿态，集体冲击全球大模型技术最高水平。

但人工智能的崛起，正在颠覆这些固有认知。至少Palantir联合创始人、亿万富翁彼得·蒂尔是这么认为的。在一段2024年录制、近期重新走红的采访视频中，蒂尔在与经济学家泰勒·考恩对话时表示，STEM领域从业者的就业红利正在消退。

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

PHNOM PENH, March 4 (Xinhua) -- Son Meymey, a sixth-grade student at Prek Leap Primary School here in the capital of Cambodia, has always spent her break time reading books at the Lancang-Mekong Book ...

2026年3月3日深夜，阿里通义千问的技术负责人林俊旸在社交媒体上留下一句“me stepping down. bye my beloved qwen”，然后转身离场。 消息传出，整个AI圈为之震动。有人惋惜，有人不解，更多的人在问，为什么？

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