这项由网易有道公司北京团队的吴立新、蔡娜、程乔、王嘉琛、段艺涛等研究人员开展的研究发表于2025年6月，论文发布在arXiv预印本平台上（编号：arXiv:2506.18330v2），感兴趣的读者可以通过https://github.com/nete ...

《Magical Math Series》书中包含了很多与数学相关的互动练习以及游戏，帮助孩子们成为数学大师，每册一个主题，分别为快乐的小数百分比、美妙的分数、时髦的几何、古怪的数学单词。 教材简介 《Magical Math Series》魔法数学系列共四册（每册约130页），每册一共数学主题，分别为Delightful Decimals and ...

编者按：近年来，人工智能在语言处理、视觉生成等领域的表现令人惊叹，但在复杂的数学推理任务上仍面临挑战。微软亚洲研究院推出的新算法 rStar-Math，通过引入类似人类系统的慢思考和推理思维，显著提升了小语言模型（SLMs）的数学推理能力。rStar-Math 打破了“只有大模型才有高性能”的固有 ...

刘征瀛深入研究的方向之一是 AI for Math，其不仅发表数篇相关论文，还在 2023 年的几次公开演讲中以 AI for Math 为主题。 据IT之家报道，本月早些时候，月之暗面发布了新一代数学推理模型 k0-math。

基准测试显示，Kimi k0-math 数学能力可对标 OpenAI o1 系列可公开使用的两个模型： o1-mini 和 o1-preview。 月之暗面创始人杨植麟认为，最适合让 AI 去锻炼思考能力的场景就是数学场景。