Tomás Bjartur @bjarturtomas · Twitter · 2026-05-28 16:29 UTC Mathematician reacts to OpenAI's recent proof: