Development

Tao compares AI-driven proof to a magic trick explained

development2025-12-17

Claim

Terence Tao compared the era of AI-driven proofs to a magic trick whose awe dissipates, or turns into technical respect, once the method is known.

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

Sources

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

Welcome to December 17, 2025 (theinnermostloop.substack.com)

Four days after being the human in the loop, he describes the loop as industrial process.

Knowledge graphopen in browser →

Reported in

Welcome to December 17, 2025

Actor

Terence Tao

Evidence for

Discovery becomes industrial process

Supersedes

Terence Tao solves Erdős #1026 with machine assistance

Referenced by

Cite or correct this record

Citation formatCitation text

Tao compares AI-driven proof to a magic trick explained
Innermost Loop KB — secondary record
Reporting date: 2025-12-17
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2025-12-17-tao-magic-dissipates
Claim: Terence Tao compared the era of AI-driven proofs to a magic trick whose awe dissipates, or turns into technical respect, once the method is known.
Attributed sources:
- Welcome to December 17, 2025 — https://theinnermostloop.substack.com/p/welcome-to-december-17-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.