This is what openai needs to be spending their compute on. Screw the stolen math proofs. Help me sleep better