"A senior colleague of mine found one of his favourite problems among those solved and attempted to read the accompanying paper. He told me it was so unintelligible that, had he received it as an editor at a mathematics journal, “it would have gone straight into the bin”.
—Melissa Lee, Monash University
4 Boosts
0 Likes
@mattesilver @highergeometer the mathematicians at OpenAI don’t even understand the ai generated proofs.
The point of a proof is to understand why a result is true.
A proof that no one understands is not a contribution to mathematics.
@highergeometer
But the news went out, and that's all that counts