IT之家 1 月 11 日消息，微软亚洲研究院旗下数学和人工智能研究团队昨日（1 月 10 日）发布博文，针对小语言模型，设计并开发了 rStar-Math 技术，专门用于解决数学问题。 和微软之前推出的 Phi-4 不同，rStar-Math ...

为了提高覆盖率，采用了一种简单的策略：对于16轮MCTS回合后仍未解决的问题，增加执行64轮回合，必要时增至128轮。并对不同随机种子进行多次MCTS扩展。成功将奥林匹克级问题的成功率提高至80.58%。

微软亚洲研究院的数学与人工智能研究团队近日取得了一项新的技术突破，他们专为解决数学问题设计并开发了名为rStar-Math的技术。这项技术于1月10日通过官方博文正式对外公布。

小语言模型，是《麻省理工科技评论》评选出的 2025 年“十大突破性技术”之一。人们往往认为大语言模型更擅长做数学题，事实上小语言模型也能做数学题甚至做得更好。（来源：《麻省理工科技评论》）1 月 8 日，由微软亚洲研究院团队领衔的一篇论文在 ...

【新智元导读】AI真的可以做数学了吗？来自帝国理工学院教授Kevin Buzzard在最新博文中深刻探讨了这个问题。甚至，他预测道，2025年AI能够拿下IMO金牌级水平。 OpenAI o3发布后，多个高难度基准测试的SOTA被大幅刷新。

小声说，微软最近有一股在小·大模型圈子里重拳出击的态势：昨天刚开源了目前最强的小·大模型，14B的phi-4；今天又推出了rStar-Math，论文中直指其面向小语言模型 （SLM）。

📚 数学袋鼠 Math Kangaroo 2025：哈佛考点火热报名中！ 你想让孩子的数学能力更上一层楼吗？不妨考虑参与即将在哈佛大学举办的国际数学竞赛——数学袋鼠 Math Kangaroo 2025！作为全球规模最大的数学竞赛之一，数学袋鼠不仅在国际上享有盛誉，而且自创办以来已有二十余年的历史，旨在通过富有趣味的题目激发学生的数学兴趣，培养逻辑思维及创新能力。 💡 竞赛简介 数学袋鼠竞赛（ ...

在数学与人工智能交汇的最前沿，微软亚洲研究院的数学和人工智能研究团队于1月10日重磅发布了一项名为rStar-Math的技术。这一创新旨在大幅提升小语言模型在数学问题解答中的表现，焕发了人工智能新活力！ 与其前身Phi-4模型相比，rStar-Math采用了蒙特卡洛树搜索（Monte Carlo Tree ...

四大顶刊之一的《数学年刊》，正式接收北大袁新意独作论文。在困扰数学界多年的 Uniform Bogomolov 猜想 问题上取得重要进展。 这一成果延续了袁新意在 算术几何 和 丢番图几何 领域的成果，其中“将 Uniform Bogomolov 问题转化为证明某个直线丛的算术大性”等创新方法，更是被评价为给相关领域的研究提供了全新的视角和工具。

21世纪经济报道记者王峰 北京报道 刚刚过去的2024年，一场以“新数学”为代表的春潮，在青少年素质教育市场涌动。 学而思网校新数学、豌豆新数学、新加坡数学（Spark ...

他们分别是：胡懿娟（教授），2024年7月入职，博士毕业于美国北卡罗来纳大学教堂山分校，回国前任美国Emory（埃默里）大学教授。她的研究专注于统计学、微生物学和遗传学的交叉领域，致力于解决实际的生物医学数据分析问题。