7 ms·
GPT 5.6 has broken the record on large gaps between primes
- surprisetalk 17d ago"The new bound saves a factor of ≈ log_3(n) over the prior record by Ford-Green-Konyagin-Maynard-Tao from 2018. The result is also now formalized by Alexeev in Lean."