Hacker News Reader

People have been doing computer assisted proofs in math for decades already. It's not even called AI anymore.

“As soon as it works, no one calls it AI anymore.” —John McCarthy