这项由阿里巴巴集团Qwen团队领导的研究发表于2025年，论文编号为arXiv:2412.06559v4，有兴趣深入了解的读者可以通过该编号查询完整论文。当你看到一个学生在黑板上演算数学题时，作为老师的你能一眼看出哪一步算错了吗？现在，人工智能也面临着同样的挑战。阿里巴巴的研究团队最近推出了一个名为ProcessBench的基准测试，专 ...

牛津大学作为英语世界最古老的大学，在2026年QS世界大学排名中位列第4，THE世界大学排名连续第九年保持全球第1。对于计划在2026年秋季入学的申请者而言，掌握系统化的申请流程是成功获得录取的关键。牛津大学采用书院联邦制，由39个独立学院及4个学术学院 ...

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

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

British Mathematical Olympiad（BMO）英国数学奥林匹克竞赛由成立于1996年的United Kingdom Mathematics Trust（UKMT）英国数学基金会组织的旗下针对高年级中学生的竞赛项目。UKMT作为英国规模最大的数学竞赛组织单位，每年会为11-18周岁的学生分不同年龄层的各项竞赛，主要 ...

这项由腾讯AI实验室联合清华大学进行的突破性研究于2025年1月发表在arXiv预印本平台上（论文编号：arXiv:2411.19943v3），首次揭示了在大型语言模型进行数学推理时，某些看似不起眼的关键词汇竟然拥有决定性的影响力。当我们观察一个学生 ...

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

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

想象你正在做一道复杂的数学题，既有文字描述，又有图形图表。传统的AI就像一个闭门造车的学生，只能靠自己脑海中有限的知识来解决问题。而来自中国人民大学高瓴人工智能学院的研究团队最近开发了一套全新的方法，让AI变得更像一个善于寻求帮助的聪明学生——当遇到难题时，它会主动查阅相关资料，寻找解题的关键线索。

探寻游戏世界的真实与乐趣，模拟游戏哪些值得玩 十大必玩模拟游戏排行带你领略生活以外的精彩。从经营策略到城市规划，这份权威榜单集结了最引人入胜的模拟体验。无论是想成为航空大亨还是打造田园诗画，这里有你不可错过的经典之作，一探究竟吧！

近日，教育部等七部门联合印发《关于加强中小学科技教育的意见》（以下简称《意见》），文件首次提出“中小学科技教育”的概念，并将中小学科技教育作为推动教育强国建设和实现高水平科技自立自强的重要抓手。 《意见》的印发有何重要意义？对新时代 ...