|
|
besthread 发表于 2026-9-4 17:438 `, X8 p. s' ]& y( y- _
陶哲轩守了十二年的纪录,一周内被破三次,奇点真的来了。
# X' R5 M; e( `1 `& {) S, K9 S) P6 J6 ~1 N
刚刚:张益唐孪生素数猜想被GPT-6破新纪录! 北 ... & E7 u) m3 i" z3 M- z4 A4 c+ N
从246到240,人类花了12年;从240到186,AI只用了3天。
; A d/ u+ U( k9 X6 y
9 M2 J4 m& l, Y6 UUC伯克利数学教授Tony Feng直接@Axiom团队:「告诉你们一个关于『世界纪录』的消息,这可能不太准确了,因为OpenAI刚刚在GitHub上提交了186的证明……」
# C" F3 n- c: {6 _. t
4 U- R1 E% \: r8 S: f这一夜,已经成为AI4Math史上最有影响力的一夜。
; p4 `$ G+ B+ {1 S! ^6 x
1 Q) z4 R5 e3 C6 o: ^: z从240到186,GPT-6到底发现了什么?
+ e+ W7 P7 P. W% k8 T+ T# v \) _0 @1 S4 q& E% p% R3 I
把界限从246压到186,绝不是单纯的「暴力破解」。6 ?! a6 x$ s& ~9 A! ^( B7 K$ ~
5 T- G3 U, U) }" L孪生素数问题的核心,在于控制「可容许元组」的性质。9 _1 \1 c! P' n) e8 B
246这个界限,对应的是长度为50的元组;240对应的是49元组。而GPT-6直接越过了中间地带,构建出了一个包含40个元素、直径恰好为186的可容许集合!# M8 c2 |. `5 f8 C# z) V7 L
6 E r3 C! m! {$ E% O要在解析数论中证明这一点,需要在著名的GPY筛法中找到新的「破局点」。
3 X( @; V- b; G+ E5 W% b* Q6 x5 J# h7 ^
根据OpenAI论文和GPT-6的CoT笔记,GPT-6并没有陷入盲目搜索的陷阱,而是展现出深邃的数学直觉。 |
|