Development

Tao says the definition of a mathematician will broaden

development2025-12-31

Claim

Terry Tao conceded the definition of a mathematician will broaden as proofs become a joint human-machine output.

Reporting date: 2025-12-31 (not necessarily the event date)

Sources

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

Welcome to New Year's Eve 2025 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

Reported in

Welcome to New Year's Eve 2025

Actor

Terence Tao

Evidence for

Supersedes

Tao compares AI-driven proof to a magic trick explained

Referenced by

Cite or correct this record

Citation formatCitation text

Tao says the definition of a mathematician will broaden
Innermost Loop KB — secondary record
Reporting date: 2025-12-31
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2025-12-31-tao-definition-will-broaden
Claim: Terry Tao conceded the definition of a mathematician will broaden as proofs become a joint human-machine output.
Attributed sources:
- Welcome to New Year's Eve 2025 — https://theinnermostloop.substack.com/p/welcome-to-new-years-eve-2025
This citation does not imply independent verification of linked-source claims.

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