“I think we might lose public key cryptography.” ~Matthew Green
The above is from Matthew Green, yesterday, who is a cryptographer at Johns Hopkins. OpenAI released over 700 mathematical proofs as a github repository yesterday. They’ve since withdrawn 3 of them.
The reaction from mathematicians has been frustration and some anger and sadness, and there’s much debate about the role of AI in math. I’d encourage you to read the first few messages on this Hacker News thread for context.
You can’t argue with outcomes, and the repository they released includes LEAN proofs that provide a very high degree of
Click here to continue reading this article.
