|
|
4 d7 ~3 H' i$ k5 u+ G从246到240，人类花了12年；从240到186，AI只用了3天。
* q+ j, U1 i- F, M- R7 ]9 d8 g G- l: F
UC伯克利数学教授Tony Feng直接@Axiom团队：「告诉你们一个关于『世界纪录』的消息，这可能不太准确了，因为OpenAI刚刚在GitHub上提交了186的证明……」# S4 K$ A, h% e% @" k& z: w( ^
# O8 U" U5 e( a- D) _
这一夜，已经成为AI4Math史上最有影响力的一夜。
/ c, F3 Q8 f! z3 g r4 I& N3 ^, f- s6 U2 b
从240到186，GPT-6到底发现了什么？0 v' `1 B' H' {- Y' q
2 X: u# C9 H! K' k
把界限从246压到186，绝不是单纯的「暴力破解」。/ ^; S. `1 {9 M# C
4 [. ^+ k: d+ d& b. y
孪生素数问题的核心，在于控制「可容许元组」的性质。
) A1 L$ @' I" B5 K1 r246这个界限，对应的是长度为50的元组；240对应的是49元组。而GPT-6直接越过了中间地带，构建出了一个包含40个元素、直径恰好为186的可容许集合！
/ a, O7 d4 `; f& C" t* g8 s" B6 @8 u4 Q' U& q. W
要在解析数论中证明这一点，需要在著名的GPY筛法中找到新的「破局点」。( T0 P- v3 @4 d* L- _" g. J- _2 t; c
) Y4 e3 X+ e- H9 F! v
根据OpenAI论文和GPT-6的CoT笔记，GPT-6并没有陷入盲目搜索的陷阱，而是展现出深邃的数学直觉。 |
|
楼主
