Terry Tao slams closed labs' theorem-proving as viral marketing

Terry Tao, relayed by Delip Rao, criticized frontier labs' AI theorem-proving as viral marketing rather than real progress for mathematics, noting many mathematicians are denied access to those same models.

2026-09-06 ~ 2026-09-06 · 2 related posts

• Terry Tao slams frontier labs' theorem proofs as viral marketing, not math progress — deliprao · 2026-09-06
• Mathematicians say frontier labs stonewall their access to advanced AI models — deliprao · 2026-09-06