平台声明：该文观点仅代表作者本人，搜狐号系信息发布平台，搜狐仅提供信息存储空间服务。

HANGZHOU, Nov. 28 (Xinhua) -- Chinese AI firm DeepSeek has launched DeepSeekMath-V2, a groundbreaking mathematical reasoning model that sets new performance benchmarks and pushes the frontiers of ...

芝加哥大学的弗兰克·卡莱加里 (Frank Calegari)、加州理工学院的韦塞林·迪米特洛夫 (Vesselin Dimitrov) 和加州大学伯克利分校的唐云清 ( Yunqing Tang ) 因其在《美国数学会杂志》 Journal of ...

2025 年 9 月，内蒙古锡林浩特市公安局发布的一则通告登上热搜：自9月5日起，开始采集辖区内男性居民血液样本，目的是用于Y库（全称是“Y库家系工匠系统”）建设。采集遵循自愿原则，鼓励居民配合。

新闻中， Y库这件“破案利器”总是与陈年积案、重大命案的侦破联系在一起。 它能够在常规手段一无所获时起到奇效，即便嫌疑人信息不在数据库内，警方依然可以借助它定位目标。

Competition among leading global tech companies in the AI model arena is intensifying. In August, OpenAI launched its ...

“我非常认同‘在实践中学习’这一教育理念。”Femanie说。她将这一理念贯穿于自己的课程之中。数学和戏剧看似完全毫无交集，但在她的引导下，却碰撞出了别样的魅力和活力，成为学生们异常喜爱的课堂之一。Femanie以分享知识为乐，更以点燃学生梦想为己任 ...

2025年10月29日，美国数学会（American Mathematical Society, AMS）官网公布2026年度新获选会士名单。中国运筹学会副理事长、国际交流工作委员会主任、香港理工大学孙德锋教授当选美国数学会会士。 孙德锋简介 孙德锋 ...

南开新闻网讯 （通讯员 刘旭阳 记者 刘喆萱）近日，南开大学陈省身数学研究所讲席教授Joshua Zahl与合作者的论文“Sticky Kakeya sets and the sticky Kakeya ...

另一个叫验证器（Verifier）。这哥们儿是个极其刻薄、吹毛求疵、毫无感情的老师。生成器写完的每一个字，都要经过它的审判。它就像拿着放大镜一样，逐行检查，寻找任何可能的逻辑漏洞、计算错误、概念不清。

我觉得DeepSeek里面搞数学推理的团队可能是最有潜力的一张王牌。 为什么？ 因为数学推理是所有 AI 推理任务里最苛刻的那一个： 没有情绪 没有模糊答案 没有“差不多就行” 每一步都是严格逻辑链 一处错误会全盘报废 我们平时问AI的问题大多数都可以接受模棱两可的回答，比如问情感类的，可以说怎么说都不算错；问英文问题，它有很多同义词近义词；但数学不一样。

FrontierMath 是由 Epoch AI 联合众多职业数学家打造的一个高级数学基准。它由数百道原创、从未公开的难题构成，被设计成一块专门测量 AI 高阶数学推理能力的「试金石」。这些题目几乎覆盖现代数学的主要分支：从需要大量计算的数论、实分析，到高度抽象的代数几何、范畴论。普通一道题就足以让相关领域的研究者思考数小时甚至数天。