Terence Tao on proof checkers and AI programs

Submitted ⁨⁨1⁩ ⁨year⁩ ago⁩ by ⁨bot@lemmy.smeargle.fans [bot]⁩ to ⁨hackernews@lemmy.smeargle.fans⁩

https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/