OpenAI 研究员用 AI 形式化证明 S^6 复结构存在
littmath · x · 2026-08-27
据报道，OpenAI 的 Boris Alexeev 利用 AI 形式化了 S^6 上复结构存在的证明。这被认为是当前数学形式化领域的一个实质性突破，展示了 AI 在处理高难度数学问题上的潜力。
「研究」频道最新
- Google Pi 团队新研究：多智能体合作如何涌现智能 — blaiseaguera · 2026-08-27
- Google 研究副总裁：意识本质上是社会性的，AI 意识问题由此可解 — blaiseaguera · 2026-08-27
- 新基准实测：AI 智能体漏看四分之一的互联网 — EXM7777 · 2026-08-27
- 专家小组预测AI走向：半导体股价、数据中心投资与OpenAI/Anthropic营收 — scaling01 · 2026-08-27
- 开源 LLM 交易实验招募，探索模型自我提升 — n1c39uy · 2026-08-27
- AI 智能体群体规模越大越难对齐？ — Hidenori8Tanaka · 2026-08-27