based on how bad these models are at one-shotting complex real-world software engineering problems -- it always has to be a conversation -- there is absolutely no way they're one-shotting complex math proofs.

Also, goes without saying, but put Sam Altman in jail, obviously.