Skip to content

Person

Terence Tao

Named in AI Lately's reporting below.

Public record only: name, role, employer, source, and date.

In the archive

  • Research

    Proof and Provenance: OpenAI's Millennium Moment

    OpenAI's ten-thousand-agent proof of the Navier-Stokes equations showed frontier capability, and Sébastien Bubeck's handling of Tristan Buckmaster and Levent Alpöge's rival work showed what happens to credit when automation arrives first.

  • Labor & Productivity

    Mathematicians Trail OpenAI's 721 Math Proofs

    OpenAI posed its model about 4,000 problems and published 721 manuscripts in weeks; Lean has formally checked 42 percent of them.

Keyboard

j k
Move through a list
Enter
Open the selected piece
/
Search, and browse the columns
g then r
Right Now
g then a
Articles
g then s
The Signal
g then o
Opinion
g then b
Analysis
g then p
People
?
This sheet
Esc
Close

AI Lately Pro

Be the one who already knew.

With Pro
You already know what ships next week and who just moved, with the source.
Without it
You hear about it days later, from a screenshot in someone's Slack.

$19 a month. Cancel any time.

See everything Pro opensAsk the editor

Secure checkout through Stripe. Member? Sign in.