1
数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”
AI宣称攻破数学猜想，人类数学家24小时逐行审查，揭示37000行代码中的致命漏洞。
第二天，就有一篇人类论文回应：AI提出的反例不成立
2
The Math Superstar Who's Terrified of AI–and Just Took a Job at OpenAI
菲尔兹奖得主因恐惧AI反而入职OpenAI？这位数学巨星的选择揭示AI安全的复杂博弈。
Article URL: https://www.wsj.com/tech/ai/openai-jacob-tsimerman-fields-medal-ai-safety-391d0f79 Comments URL: https://news.ycombinator.com/item?id=491…
3
4
8点1氪丨段永平称10年内大概率不会卖泡泡玛特；中国数学家王虹、邓煜获得菲尔兹奖；宜家回应甩卖8处物业：不代表退出中国市场
今日热点导览 混元多模态理解负责人胡瀚离职创业，原团队或将聚焦世界模型 极氪回应“海外锁车”事件 客服回应滔搏暴力打折甩卖耐克库存：没有收到降价通知 哈兰德和亚马尔2.2亿欧元身价破纪录 张雪峰女儿再接手三家公司股份 TOP 3 大新闻 段永平：10年内大概率不会卖泡泡玛特 7月23日，段永平在社交…
5
16 名数学家起草《莱顿宣言》，警告 AI 冲击数学研究信任
请提供具体的在线工具名称或链接，当前内容为新闻文章，无法生成推荐语。请确认后再输入。
IT之家 6 月 4 日消息，由来自全球 15 所大学的 16 名数学家联合撰写《莱顿宣言》（Leiden Declaration）， 警示 AI 正挑战数学的可靠性、署名、公平性与研究自主。 《宣言》源自 2025 年 9 月莱顿大学洛伦兹中心的“Mechanization and Mathema…
6
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs
数学家精选的Soohak基准测试，专攻LLM科研级数学推理能力，挑战最高阶思维极限
arXiv:2605.09063v2 Announce Type: replace Abstract: Following the recent achievement of gold-medal performance on the IMO by frontier LLMs, the commun…