Mathematicians Fear LLMs While Theorists Stay Skeptical

Mathematicians worry about losing jobs as LLMs churn out proofs, while theoretical computer scientists remain unimpressed, saying current models only handle trivial proofs and cannot tackle interesting theoretical questions.

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