跳到正文
今天10月10日周六9 条
  1. The Decoder76

    数学家呼吁抵制 OpenAI,AI 生成证明涌入数学界

    数学界部分人士呼吁抵制 OpenAI,起因是 OpenAI 一次性放出 700 多个文件,声称其内部模型一个月内解决了 100 多个未解数学问题,包括对 Navier-Stokes 千禧年难题的一种思路。

    推荐理由:数学界对 OpenAI 批量放出 AI 证明的反弹,呈现了 AI 冲击学术共同体时两种合作模式的差异。

  2. TechCrunch · AI64

    OpenAI 数学解答未达学界标准

    OpenAI 本周发布数百个高难数学问题的解答,称已咨询精英数学家组成的顾问组,但数学与人工智能顾问组(AGMAI)表示其建议是否被成功遵循最终由数学界评估,而该组织首要请求是停止在专有模型上测试高难数学问题。

  3. TechCrunch · AI66

    OpenAI 年化收入据称比此前预期低 200 亿美元

    据《金融时报》报道,OpenAI 已告知投资者其年化收入“接近 500 亿美元”,比此前报道的接近 700 亿美元低约 200 亿美元。此前 700 亿美元的数字来自 OpenAI 投资者为与 Anthropic 年化收入直接对比而做的推算,两家公司计算年化收入的方式不同,Anthropic 会计入云合作伙伴的销售额,OpenAI 则不计入。

  4. The Verge · AI82

    数学家称需数年才能消化 OpenAI 一次性放出的近 400 条数学结果

    OpenAI 本周突然发布近 400 条 AI 生成的数学结果,分布在 700 多份手稿中,涵盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学及数学物理等多个方向。

    推荐理由:数十位数学家对 OpenAI 一次性放出近 400 条数学结果的直接反应,呈现了学术共同体面对 AI 产出时的验证困境与职业焦虑。

10月9日周五
  1. Simon Willison36

    Simon Willison 用 Codex 语音模式为博客新增 Newsletters 页面

    Simon Willison 用 ChatGPT 桌面版 Codex 标签页的语音对话模式,在做饭的半小时里几乎全程靠说话为博客开发出 Newsletters 页面,模型为 GPT-6 Astra High。该功能包含 Django 新模型与迁移、四个可用的导入脚本、/newsletters/ 归档页及站内搜索集成,随后他又花半小时打字改用 API 导入并完成 PR 审查上线。

  2. MIT Technology Review · AI34

    我们是否过度信任 AI 说"不"的能力

    MIT Technology Review 刊文指出,AI 的拒绝机制已成为 AI 安全的核心支柱,但这一机制并不可靠。Anthropic 2021 年提出大语言模型应"有用、诚实、无害",如今模型经过大量拒绝训练,却仍可能被绕过;有公司报告称部分用户正试图用最先进 AI 研发生物病原体、构建自主无人机蜂群。

10月8日周四
10月7日周三
  1. Latent Space85

    OpenAI 内部模型发布 722 篇数学手稿,覆盖 500 个开放问题中的 90 个

    OpenAI 以博客、GitHub 仓库和推文形式公开了内部前沿模型的数学成果,共 722 篇手稿、归入 372 个相关结果族,来自约 4000 道研究问题的评测,平均每个结果消耗约 3 小时 ChatGPT Pro 思考算力,模型本身尚未发布。

    推荐理由:OpenAI 内部模型一次性产出 722 篇数学手稿,读者可据此了解这批结果的规模、算力成本与外界质疑。

10月3日周六