Ill-Posed

bluesky — Elf M. Sternberg — 16 Sep 2026

In a list of absolutely remarkable things, what stands out to me is this: Zhang's proof was so carefully and beautifully…

#mathematical-exposition #ai-mathematics #proof-theory

Read the source →

In a list of absolutely remarkable things, what stands out to me is this: Zhang's proof was so carefully and beautifully written that it could be read, understood, vetted, reproduced and published in five weeks. Most modern proofs take a year or more.

Compare that to the recent AI press.

0 comments