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

南开大学校长陈雨露，南开大学终身校董、南开校友企业家联谊会主席、物美集团创始人张文中，中国科学院院士、陈省身数学研究所教授龙以明，中国科学院院士、陈省身数学研究所教授张伟平出席活动。副校长白承铭主持颁奖仪式。

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

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

信息量的公式：熵率本质上是在衡量“平均需要多少个二选一的问题才能猜出结果”。香农提出了一个公式来计算每秒传递信息的最小比特数，他称之为信息的熵（H）。熵越高，信息的不确定性越大，也就越难压缩；反之越小，就越容易压缩。例如，每分钟输入 100 ...

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 ...

或许人们还沉浸在Gemini 3带来的冲击中，但就在11月27日晚间，DeepSeek在AI开源社区Hugging Face上发布其最新数学模型DeepSeek Math-V2一事，再次引起AI圈内一片沸腾。 在一同发布的论文中，DeepSeek方面表示，该模型通过自验证的方式突破了目前AI在深度推理方面的局限，尤其是针对大模型在数学领域“只是做题家，难成数学家”的症结，即，只重视答案却无法保证推 ...

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

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

智东西11月26日消息，今日，美国AI数学推理创企Harmonic宣布完成了1.2亿美元（约合人民币8.5亿元）的C轮融资，估值达到14.5亿美元（约合人民币102.7亿元），跃升独角兽行列，目前尚未产生收入。

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

它由来自阿贡国家实验室、伊利诺伊大学厄巴纳-香槟分校等三十多家机构的五十余位活跃物理学者共同打造，涵盖凝聚态、量子、原子分子与光学、天体物理、高能物理等现代物理的十一大分支。