Math

Mathematical exploration and discovery at scale
https://arxiv.org/abs/2511.02864

Automated Lean Proofs for Every Type
https://www.galois.com/articles/automated-lean-proofs-for-every-type

Mathematical discovery in the age of artificial intelligence
https://www.nature.com/articles/s41567-025-03042-0

Aristotle: IMO-level Automated Theorem Proving
https://arxiv.org/abs/2510.01346

https://www.linkedin.com/posts/moritz-frenzel-75a11289_genaide-phd-generativeai-activity-7383655669326966784-qW3U

https://mathstodon.xyz/@tao/115306424727150237

LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs
https://arxiv.org/abs/2506.08321

The Math Is Haunted
https://overreacted.io/the-math-is-haunted/

The strong Prime Number Theorem
https://github.com/math-inc/strongpnt