Development

A Fields medallist discloses using a chatbot to confirm calculations

development2026-07-22

Claim

Terence Tao digested the Fable-derived counterexample to the three-dimensional Jacobian conjecture and disclosed that he used a chatbot to confirm his calculations, after one observer warned that mathematicians coping about collaborating with AGI are not taking it seriously.

Reporting date: 2026-07-22 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to July 22, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

Reported in

Welcome to July 22, 2026

Actor

Anthropic

Evidence for

Supersedes

A formalization leader calls machine-scale mathematics inevitable

Referenced by

Cite or correct this record

Citation formatCitation text

A Fields medallist discloses using a chatbot to confirm calculations
Innermost Loop KB — secondary record
Reporting date: 2026-07-22
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-07-22-a-fields-medalist-uses-a-chatbot-to-check-his-work
Claim: Terence Tao digested the Fable-derived counterexample to the three-dimensional Jacobian conjecture and disclosed that he used a chatbot to confirm his calculations, after one observer warned that mathematicians coping about collaborating with AGI are not taking it seriously.
Attributed sources:
- Welcome to July 22, 2026 — https://theinnermostloop.substack.com/p/welcome-to-july-22-2026
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.