Event ·Official first-hand

Ehrhart体积猜想等号情形获证，GPT-5.6-sol等AI参与

论文证明了 n 维空间中体积为 (n+1)^n/n! 且重心是唯一内格点的凸体必为单纯形 (n+1)Δ_n-(1,…,1) 的单模像。这一结果补上了 Ehrhart 体积猜想的等号情形，与 OpenAI 近期证明的不等式部分形成对应。论文称主要结果由生成式 AI 完成，涉及 GPT-5.6-sol、Fable 5 和 Danus 系统。

Current read

Ehrhart猜想等号情形被GPT-5.6-sol等AI证明了，数学证明也能这么玩。

6 sources34° AI heatLast updated 2026/8/2 06:54:11

Evidence

6 sources

Primary sourcearXiv: OpenAI

2026/8/2 06:54:11View source

Related source 1IT之家

2026/7/31 07:35:42View source

Related source 2OpenAI Blog

2026/8/1 00:00:00View source

Related source 3Gary Marcus

2026/8/1 14:59:48View source

Related source 4Aravind Srinivas

2026/8/1 21:29:34View source

Related source 5宝玉

2026/8/3 19:32:28View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story