#aiproofs — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #aiproofs, aggregated by home.social.
-
Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video] — https://www.youtube.com/watch?v=5ZIIGLiQWNM
#HackerNews #TerenceTao #MachineAssistedProofs #Mathematics #Video #AIProofs