OPENAI推进了孪生素数猜想

星***

来自openai的github看起来是对的
存在无穷多对素数,它们之间的间隔不大于186
github.com (https://github.com/openai/PrimeGaps186)

GitHub - openai/PrimeGaps186: Conditional Lean formalization and numerical... (https://github.com/openai/PrimeGaps186)
Conditional Lean formalization and numerical certificate for prime gaps at most 186.
吓哭了
睡醒了补充一点个人的想法
个人认为这一次的186其实是很接近于fable把黎曼猜想推到了67左右的那个贡献。
因为这个186用的是和8月31号发的一篇论文里面的方法很接近的一个方法。8月31号的人类论文把这个原本的246推到了240。
但是OpenAI那篇帖子，看的翻译不知道对不对，说是和240用的大方法是差不多的。但是呢，它是和240那篇没什么关系，在那之前独立做的。但是我又去查了一下，240那篇它的作者在2023年的时候就有过类似的思想了。所以说这个得看它有没有训练到240那篇论文了。

LanSh***

感谢分享，能看出是认真整理过的。