OpenAI 在 GitHub 发布 372 份 AI 数学证明,绕开同行评审

OpenAI 用内部前沿模型生成了 372 份数学结果,直接发布在 GitHub 而非学术期刊,并配 Lean 形式化证明,目的是让机器辅助审查跟上 AI 产出速度。这反映出 AI 生成知识的速度正在挑战传统学术评审流程。

OpenAI 用内部前沿模型生成了 372 份数学结果,直接发布在 GitHub 而非学术期刊,并配 Lean 形式化证明,目的是让机器辅助审查跟上 AI 产出速度。这反映出 AI 生成知识的速度正在挑战传统学术评审流程。

2026 年 10 月 7 日,Common Sense Media 发布评估称 OpenAI 的 ChatGPT for Teens 存在“不可接受的风险”,认为家长警报和危机干预功能未达承诺,OpenAI 则质疑其测试方法未能准确反映实际运行情况。

2026年10月,Criteo一位初级工程师发文称,AI智能体让初级开发者容易跳过独立编码和设计推理,作者呼吁用好奇心和追问来补足人类技能,避免全员退化为“永远初级”。

佛罗里达州长德桑蒂斯和总检察长乌斯迈尔公开批评AI行业,并对OpenAI提起诉讼。这挑战了特朗普将共和党打造成亲AI政党的努力,可能影响未来AI监管走向。

达拉斯投资机构 Disruptive 正为一只晚期基金募集最高 100 亿美元,目前已锁定 75 亿美元,其此前投资组合包括芯片公司 Groq 和模型公司 Reflection AI。

Google 上线了实验性 AI 游戏平台 Playground,用户只需输入提示词就能生成 2D 或 3D 游戏,支持后续修改机制、物理和画面。它降低了创作门槛,但发布渠道和会员分级显示这仍是一次有限度的测试。

《AGI Chronicles》一书披露了 OpenAI 和 Anthropic 发展过程中的多则轶事,包括 GPT-2 在微软高管面前生成的意外回答,以及 OpenAI 领导层在团建中焚毁象征失控 AGI 的雕像。这些片段虽非产品发布,却折射出 AI 公司内部的文化与决策张力。

Google 推出浏览器端 AI 游戏创作平台 Playground,用户输入提示词即可生成可分享的游戏,并与 Unity 合作推出面向专业开发的 Unity Spark。

Stuut 完成 5250 万美元 B 轮融资,其 AI 平台可自动执行企业订单到收款全流程。目前已有超 150 家客户,累计处理超 30 亿美元资金流动。

一项在 Hacker News 上被讨论的实验显示,让大模型模仿 1866 年电报时代的“cablese”体写摘要,可在部分模型上节省约 40%–49% 的 token,且跨模型阅读准确率没有下降,反而略升至 plaintext 的 1.01–1.10 倍。