People have been doing computer assisted proofs in math for decades already. It'... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

marcosdumay on July 31, 2023 | parent | context | favorite | on: Why transformative artificial intelligence is hard...

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

JieJie on July 31, 2023 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact