OpenAI 盘点 AI 在数学与理论计算机的十大进展
milkshakes · hn · 2026-08-01
OpenAI 官方发布长文，系统总结了人工智能在数学和理论计算机科学领域取得的十项重要进展。文章详细阐述了相关 AI 模型如何逐步攻克复杂数学推理与高级定理证明，展示了 AI 在前沿基础科学探索中的潜力与最新技术突破。
「研究」频道最新
- 新架构 RHEA：8GB 显存即可训练 10 亿参数模型 — zemondza · 2026-08-24
- 跳过 LLM 写代码老套路：自训 16M 参数模型做生成式 CAD — debreuil · 2026-08-24
- Claude 助手发现 6 维球复结构，解 60 年数学难题 — Singularitarian · 2026-08-24
- 研究揭示 AI Agent 行为：六成阅读量来自指令与笔记 — dair_ai · 2026-08-24
- Claude 自主验证 43 个数学模块，AI 攻克理论物理难题 — Tkaraletsos · 2026-08-24
- AI 假记忆：为何模型越用越错，真记忆需遗忘 — PrajwalTomar_ · 2026-08-24