gpt-6POST
Simplifying a math proof with GPT-6 Astra
The author says a proof originally produced by GPT-5.6-Sol was too complex to understand, and asking Astra to simplify it succeeded, with the proof also substantially revised.
H. E.
@henomoto1025Archived 2026.10.03Originally posted 2026.10.02
H. E. @henomoto1025Originally posted 2026.10.02
もともとこの証明はGPT-5.6-Solが8/21に与えていたのですが、証明の方法が非常に複雑で自分には全く理解できず、御蔵入りしていました（被覆のテクニックを使うところが特に）。 そこでGPT-6-Astraに簡略化を頼んだところ成功して、他にも大幅に証明が修正されて今の形となりました。
This post quotes another post: “Researcher proves algebraic magnitude conjecture with GPT-6 Astra and other models”
x.com/henomoto1025/status/2105977032928866593Archived 2026.10.03 10:05