Read news on real math proofs with our app.
Read more in the app
Can AI actually solve real math proofs? Researchers put it to the test
