Google's AlphaProof is capable of solving complex mathematics but it's greatest feature may actually be finding errors.

DeepMind’s AlphaEvolve helps solve a math puzzle with Terence Tao, showing how AI can now invent new ideas—and prove old ones ...

There’s a curious contradiction at the heart of today’s most capable AI models that purport to “reason”: They can solve routine math problems with accuracy, yet when faced with formulating deeper ...