Brady Haran
Terence Tao talks about AI and mathematical proofs
Numberphile released No More Heroes, a conversation in which Terence Tao discusses a large batch of AI-generated proofs and its implications for mathematics.
numberphile.comWatch the Terence Tao interview#interview#mathematics
Compiled from a public source and linked above. Happenings link out to where they were published.
No notes yet