OPENAI推进了孪生素数猜想
来自openai的github看起来是对的存在无穷多对素数,它们之间的间隔不大于186
github.com (https://github.com/openai/PrimeGaps186)
https://cdn3.ldstatic.com/optimized/4X/7/9/c/79c0566a29433aebb76abd4f0797029dd35b54d7_2_690x344.png
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那篇论文了。 感谢分享,能看出是认真整理过的。 瞄准月球,即使你没有命中,你也会落在星星之间。 你的第一个视频可能很糙,但没关系, 先拉屎再屎上雕花 。 有没有星友在徐州的,一起出来聚聚啊 越看越觉得,普通人最缺的是行动闭环。 有点东西
页:
[1]