Proof by #intimidation
#AI could soon spew out hundreds of #mathematical proofs that look “right” but contain hidden #flaws, or proofs so complex we can’t verify them
- How will we know if they’re right?
A model might be giving convincing — but #incorrect — answers
“I think #o4-mini has mastered proof by intimidation!; it says everything with so much confidence.”




