Proofs can be definitively verified as correct or incorrect. This makes them an ideal testing ground for developing more reliable AI reasoning capabilities - and may change how we do math forever
asteriskmag.com/issues/09/au...
asteriskmag.com
Automating Math—Asterisk
Computers can already help verify proofs. One day soon, AI may be able to come up with new ones.