Reaction
A reportedly Lean-checked AI proof that few people understand
A post says the AI proof is Lean-checked and cites Aaronson saying almost nobody has understood it yet.
TLDR
A user says an AI proof is Lean-checked, but cites Aaronson saying almost nobody has actually understood it yet. The user also says complexity theorists rushed a 95-page paper on Unique Games to avoid being scooped by OpenAI, framing the episode as a gap between checking a proof and understanding it.
Combined views
—
1 Source, first seen ago
