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

Nicolò Bernardini, Edoardo Ciccarelli, Nicola Baresi, Roberto Armellin (2023)SUCCESSIVE CONVEX PROGRAMMING FOR HIGH-ORDER GUIDANCE AND NAVIGATION OF SATELLITES, In: Proceedings of the 2023 AAS/AIAA ...