Weijie Su

Archived text

Announcing that GPT-6 Astra has pushed the prime gap to 186, with Lean formalization!

I was 9 when I first heard the twin prime conjecture. Its elegance and Yitang Zhang’s legendary story have always stuck with me. A truly surreal night, being the first to see our model make progress, pushing 246 all the way down to 186, on a problem I’ve revered since I was a kid.

For me, it felt like witnessing a new era of intelligence being born, made possible by everyone at @OpenAI!

Media: https://pbs.twimg.com/media/HRUQ98AaoAAOx6_.png?name=orig

views 152034 · likes 2089 · reposts 245 · replies 57 (at fetch time)

Archived 2026-09-29 via fxtwitter (unofficial).

Announcing that GPT-6 Astra has pushed the prime gap to 186, with Lean formalization!

I was 9 when I first heard the twin prime conjecture. Its elegance and Yitang Zhang’s legendary story have always stuck with me. A truly surreal night, being the first to see our model make progress, pushing 246 all the way down to 186, on a problem I’ve revered since I was a kid.

For me, it felt like witnessing a new era of intelligence being born, made possible by everyone at @OpenAI!

Media: https://pbs.twimg.com/media/HRUQ98AaoAAOx6_.png?name=orig

views 152034 · likes 2089 · reposts 245 · replies 57 (at fetch time)

Archived 2026-09-29 via fxtwitter (unofficial).