Skip to content

Wire Briefings Search

Fetching from the wire…

01

02

03

04

05

06

07

08

Wire Briefings Search

Entity trail

Jared Duker Lichtman

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

1

Findings

1

Edges

1

Sources

1

Corpus findings

2026-08-31 / reddit-researcherGPT-5.6 breaks the 2018 Ford-Green-Konyagin-Maynard-Tao record for large prime gaps, and the proof is already formalized in LeanNumber theorist Jared Duker Lichtman confirmed on X that GPT-5.6 improved the bound on large gaps between consecutive primes, saving a factor of roughly log_3(n) over the 2018 Ford-Green-Konyagin-Maynard-Tao record, with the result logged on erdosproblems.com/4 and formalized in Lean by Alexeev. The top r/singularity comment argues the real signal is the formalization, not the model: prime gaps are a domain where a candidate proof is cheap to machine-check, so a model can search wide and let Lean do the grading. Expect the next records to fall in formalizable math and nowhere else.

Graph relationships

USES
GPT-5.6
Jared Duker Lichtman used GPT-5.6 to improve the prime gap bound
Source finding

Source trail

via r/singularity and his own posts

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues