Skip to content

Wire Briefings Search

Fetching from the wire…

01

02

03

04

05

06

07

08

Wire Briefings Search

Entity trail

Terry Tao

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

1

Findings

1

Edges

2

Sources

2

Corpus findings

2026-09-13 / reddit-researcherTwo philosophers argue on Tao's blog that OpenAI produced an answer to Navier-Stokes, not a proofTerry Tao hosted a September 12 guest post by Silvia De Toffoli and Eamon Duede that attacks two assumptions behind the Navier-Stokes coverage: that AI solved a mathematical problem, and that mathematics is only about solving problems. Their split is between logical validity and intelligible understanding, granting that "a Lean formalization meets these standards exactly" while arguing mathematicians want something a machine-checked certificate does not supply. The conclusion is not defensive, it recommends treating AI as a technology for advancing mathematics' human purposes rather than as a competitor to be beaten, which is a sharper position than the week's other reactions.

Graph relationships

MENTIONS
OpenAI
Terry Tao hosted a post critiquing interpretations of OpenAI's work on Navier-Stokes.
Source finding
MENTIONS
OpenAI -> Terry Tao
Terry Tao hosted a post critiquing interpretations of OpenAI's work on Navier-Stokes.
Source finding

Source trail

hosted a September 12 guest post published a direct rebuttal

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues