GPT-6 Astra pushes the prime gap to 186 with Lean formalization
weijie444 · x · 2026-09-04
Developer weijie444 announced that his result was featured in the official GPT-6 Astra announcement: the model pushed the prime gap from 246 down to 186, with a Lean formalization.
- The author says he first heard of the twin prime conjecture at age 9 and long drew inspiration from Yitang Zhang's story; witnessing the model make progress on a problem he has revered felt surreal
- The result appears in OpenAI's official launch materials, a landmark AI-for-math case
Related event: GPT-6-Astra Proves Prime Gaps ≤186 in Lean as Records Fall in Days(22 posts)→
More from Research
- GPT-6 Astra and Claude Fable 5.1 write $10,000 research papers — experts reject all — sayashk · 2026-10-21
- giffmana on tokenizer semantic drift: encoders aren't all tokenizers — giffmana · 2026-10-21
- Librarian Agents: RL-trained agents build file systems, lifting RAG accuracy 44%→77% — simonguozirui · 2026-10-21
- OpenAI researcher: molecular discovery must jointly optimize performance and manufacturability — shyamalanadkat · 2026-10-21
- First Passage Attention: path extrema enable perfect long-range retrieval with 25% cache — Yuxuan Liu · 2026-10-21
- Flattening weakest neuron activations barely hurts loss but devastates memorized text recall — ParshinShojaee · 2026-10-21