2026-07-23 / Signal #2
Terence Tao uses ChatGPT for symbolic verification in constructing/relating a potential Jacobian Conjecture counterexample (polynomial maps with constant nonzero Jacobian).
“The greatest mathematician alive just let ChatGPT verify the algebra for a potential disproof of one of math's oldest open problems.”
8.5Weirdness
Why It Matters
Concrete artifact of a living legend using LLM as co-pilot for heavy algebraic lifting in pure math. AI changing discovery, builder utility (researchers), and human identity ("what counts as mathematical insight?"); intelligible weird story, not generic hype.
Evidence
Source evidence is in the linked daily scan.
Signal Read
Novelty: 9Receipts: 9Story voltage: 8Heat: 8
Source Trail
Daily scan: 2026-07-23