50-Year Programmer Fires Back at Terence Tao Over AI Proofs

A veteran developer with 50 years of coding experience sharply rebuked Terence Tao's criticism that AI-generated proofs are inelegant, arguing that elegance and readability are mathematicians' own responsibility, not the tool's fault.

2026-10-25 ~ 2026-10-25 · 2 related posts

Full story(2 episodes)→

1 near-duplicate retellings: esrtweet