跳到正文
10月12日周一
10月11日周日
  1. 量子位58

    陶哲轩发文:数学2.0时代已至,证明稀缺的数学1.0即将落幕

    菲尔兹奖得主陶哲轩发文提出数学2.0时代已至,AI正让数学证明从稀缺走向泛滥,建立在证明稀缺之上的数学1.0评价体系即将落幕。他认为证明可被客观检验、数学对象高度可数字化、大量文献已数字化三个条件叠加,使数学成为AI能力突进的核心战场,但AI厂商只展示精选成功案例,呼吁建立更透明的评估机制,把失败结果和算力成本一并纳入报告。

10月10日周六
10月9日周五
  1. 公众号 · 赛博禅心71

    Anthropic 联合天文学家完成首张完整全天紫外地图

    Anthropic 发布科学博客,约翰斯·霍普金斯大学天体物理学家 Brice Ménard 用 Claude Science 做出第一张完整的全天紫外地图,其中约三分之一天空从未被紫外望远镜观测过,由 Claude 预测补出,并逐像素标注实测或预测及误差估计。

    选题角度:用 Claude Science 把 GALEX 等公开紫外数据补齐成全天图,可讲清四步流水线和 10% 误差的实测对比。

  2. TechCrunch · AI58

    OpenAI 数学解答未达学界标准,719 份证明仅 10 份公开思维链

    TechCrunch 报道称,OpenAI 本周发布数百份高难数学问题解答,但未完全达到数学与人工智能咨询组(AGMAI)9 月底发布的指南要求。719 份手稿中仅 10 份公开了模型的思维链,42% 的证明未经过形式化流程,AGMAI 首要建议是停止在专有模型上测试高难数学问题,而 OpenAI 明确表示正用开放研究问题评估其专有模型。

10月8日周四
  1. 量子位40

    PaperBenchX 测评:GPT-6 Astra 论文复现率仅 13.98%

    UniPat AI 发布 PaperBenchX,这是首个多学科端到端论文结果复现 Benchmark,覆盖 12 个研究方向、10 种科学环境,含 93 个复现任务和 3168 条专家校验评分项。测评中表现最强的 GPT-6 Astra 完整复现率仅 13.98%,建模和执行阶段平均得分约 62%,验证阶段仅 42.80%。团队已开源 12 个代表性测试任务,并维护 81 个封闭测试任务。

  2. 公众号 · 数字生命卡兹克85

    OpenAI 发布 722 份数学手稿,声称攻克准黎曼猜想等 372 组成果

    OpenAI 于 10 月 7 日在 GitHub 上线 openai/math 仓库,发布 722 份数学手稿、归为 372 个成果组,覆盖数论、代数几何、组合数学等方向,全部出自一个未公开的内部模型。

    选题角度:OpenAI 在 GitHub 上线 722 份数学手稿、372 组成果,可梳理准黎曼猜想、矩阵乘法等具体结果,并对照数学家联名信争议。

10月7日周三
  1. Wes Roth62

    OpenAI 发布未公开模型的 722 份数学手稿

    OpenAI 发布了一个未公开 AI 模型产出的 722 份数学手稿,并在 GitHub 上公开了这些手稿和证明文件。Wes Roth 在视频中讨论,随着 AI 深入前沿数学,验证和理解这些结果可能成为真正的瓶颈,并延伸谈到这对科学、未来 AI 系统和医学意味着什么。

    选题角度:OpenAI 放出未发布模型的 722 份数学手稿和证明文件,可结合 GitHub 仓库与 Navier–Stokes 公告,聊 AI 做前沿数学后验证环节为何成瓶颈。

  2. X · OpenAI爆款60

    OpenAI 发布由内部前沿模型产出的多项数学新结果

    OpenAI 发布了一批由内部前沿模型产出的数学新结果。OpenAI 表示在发布方式上咨询了 Institute for Advanced Study 的独立数学与人工智能咨询小组,并参考了其建议和公开推荐。

    选题角度:OpenAI 用内部前沿模型产出一批数学结果并公开,适合围绕模型做数学研究的可信度与发布方式展开讨论。

10月6日周二
10月5日周一
10月4日周日
10月3日周六
10月2日周五
  1. Hacker News · AI 高分帖22

    研究:Jev 等决策模型并未胜过 LLM-as-a-judge 或传统分类器

    针对 TypeSafe AI 发布的 Jev 决策模型,一项实验在 4 类方法、9 个候选护栏上做了对比,结论是 Jev 这类决策模型并未胜过 LLM-as-a-judge 或传统分类器。Jev 以固定 schema 输出决策、零样本且比 LLM 更快更便宜,但 Red Hat AI Safety 团队主张护栏应使用针对任务微调的小型预测模型。

  2. Hugging Face Blog22

    AutoSynthData:为企业的 AI 智能体生成训练数据

    ServiceNow CoreAI 构建了 AutoSynthData,利用目标模型的失败案例和更强教师的成功经验,自动生成并验证新的训练任务,将企业智能体的能力短板转化为训练数据。该方法通过诊断评估提炼"能力规格卡",生成的任务需满足可行性、真实性和难度三项要求,并配有校验器判定轨迹是否成功。团队以 EnterpriseOps Gym 数据集演示了该流程,模型提升后课程会自动转向仍难掌握的能力。