Mastodon Feed: Post

Mastodon Feed

Boosted by dysfun@treehouse.systems ("gaytabase"):
tao@mathstodon.xyz ("Terence Tao") wrote:

I decided to convert one of the points in my ICM 2026 slides https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf into a meme format.

An AI-generated proof celebrating a fifth place in a ranking against a Lean-verified proof, a professionally written preprint, a published paper, and a textbook chapter.