gpt-6POST
Researcher asks whether GPT-6 Astra max reasoning has math errors
A researcher says they checked or formalized dozens of arguments this month and found no critical math mistakes in GPT-6 Astra max reasoning output.
Lénaïc Chizat
@LenaicChizatArchived 29 days agoOriginally posted 2026.10.05
Lénaïc Chizat @LenaicChizatOriginally posted 2026.10.05
Relatedly, I’m curious if anybody has found any critical math mistake in the output of GPT-6 Astra max reasoning? I have checked or formalized dozens of arguments this month and not found any. I wonder if formalization will be needed when reliability will be >99.99%.
This post quotes another post: x.com/scottnarmstrong/status/2106855895493685385
x.com/lenaicchizat/status/2106920528489624043Archived 2026.10.06 10:05