Read news on mathematical proofs with our app.
Read more in the app
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples