近日，在著名数学期刊《Duke Mathematical Journal 》（杜克数学杂志）的“Accepted Papers（已录用文章）”栏目里，有2篇国内学者的独作文章在列。巧合的是，两位都是中国科学技术大学的本科校友，下面我们来简单了解一下： ...

当理性的数学遇上感性的表达，会碰撞出怎样的火花？近日，西安太白学校初一数学组举办的“Math Talk 思维π”讲题大赛给出了精彩的答案。 从2025年12月到2026年1月，太白学子走上讲台化身“小老师”，用语言点亮思维，用自信诠释成长！

我国科研团队开发出全球首个同时具备自主出题（Proposing）和自动解题（Solving）双重能力的通用人工智能系统——“通矩模型”（TongGeometry）。相关成果“基于引导树搜索的奥数几何问题提出与解答系统”（Proposing and solving olympiad geometry with guided tree search）1月26日发表于《自然·机器智能》（Nature ...

受访科学家说，在人工智能领域，国际数学奥林匹克竞赛 (IMO)被视为衡量机器逻辑思维与空间想象力的“殿堂”。其中，平面几何问题因其独特的数值精度与空间直觉的结合，被公认为自动化推理的“堡垒”。

【洞见·TMT】 ...

美国的精英私校已经悄然开启了一场关于“教育效率”的革命。这种被称为“反内卷”鸡娃（Anti-Involution ...

DSP算法库到底有多快？

正是在这样的背景下，来自人大高瓴学院的赵鑫团队把注意力放在了这一核心问题上。他们没有急于再提出一个更大的模型或更复杂的算法，而是刻意退后一步，围绕 RLVR ...

这项由腾讯BAC研究院与清华大学深圳国际研究生院、北京大学电子与计算机工程学院、格拉斯哥大学数学统计学院联合开展的突破性研究，发表于2025年1月的arXiv预印本平台（论文编号：arXiv:2601.14750v1），为人工智能推理效率的提升开辟了全新道路。 当你在思考复杂数学题时，大脑会经历一系列推理步骤——从理解题意到分析条件，再到推导答案。现在的AI系统也是如此，它们需要产生大量的文字来表 ...

谷歌来给考生送福利了！ 从现在起，备考SAT的学生可以免费通过Gemini进行模拟考试，分数立等可取，还能帮你讲解错题。 谷歌CEO劈柴哥表示，这对学生党来说是一个大好的消息。 除了劈柴哥的个人号的75万阅读，谷歌官号还有两百多万网友在线围观。

就在十几个小时前，DeepSeek 发布了一篇新论文，主题为《Conditional Memory via Scalable Lookup:A New Axis of Sparsity for Large Language ...

就在昨晚，DeepSeek 联合北京大学 发布了一篇名为《Conditional Memory via Scalable Lookup》的新论文， 梁文锋也再次署名。 那它能否验证传闻：V4 ...