Simo Ryu(@cloneofsimo):wow apparently there is now stronger result on large prime gap by GPT 5.6, improving beyond the previous best result of Ford-Green-Konyagin-Maynard-Tao [2014] by factor of log3 X / (log4 X)^2. I recall tao mentioning that it would require genuinely new idea to break his result, and that seems to be the case here. + its been verified in lean unconditionally?

Simo Ryu

@cloneofsimo

I like cats, math and codes cloneofsimo@gmail.com

Joined May 2022

1K Following 17.7K Followers

Simo Ryu@cloneofsimo

2026.08.30 10:40

wow apparently there is now stronger result on large prime gap by GPT 5.6, improving beyond the previous best result of Ford-Green-Konyagin-Maynard-Tao [2014] by factor of log3 X / (log4 X)^2. I recall tao mentioning that it would require genuinely new idea to break his result, and that seems to be the case here. + its been verified in lean unconditionally?