No More Heroes - Terence Tao Talks to Numberphile About AI
Numberphile · 19:45 · Watch on YouTube
Mathematician Terence Tao argues OpenAI's mass release of hundreds of proofs has ended the romantic era of proof scarcity and pushed mathematics into an industrial era of proof abundance without understanding.