Terence Tao: AI Excels at Problem-Solving but Lacks Evidence for New Theories

Mathematician Terence Tao stated that while AI excels at solving problems, there is no evidence it can construct new mathematical theories. He also warned of "proof indigestion" as AI-generated proofs increase.

2026-08-04 ~ 2026-08-04 · 2 related posts

• Terence Tao's Lecture: AI Excels at Problem-Solving but Lacks Evidence of Building New Theories — GaryMarcus · 2026-08-04
• Terence Tao: AI Excels at Problem Solving, but Evidence for Building New Theories is Lacking — GaryMarcus · 2026-08-04