OpenAI 수학 논문에서 반복되는 몇 가지 트릭

OpenAI의 대규모 수학 논문 발표 이후, 지난 며칠 동안 저는 다른 LLM 도구들을 활용하여 전체 데이터셋을 분석하고 반복되는 패턴을 찾고 있습니다. 이는 제가 전체 논문 세트를 포괄적으로 분석함으로써 내부 OpenAI 모델에 대해 무엇을 추론할 수 있을지 궁금했기 때문입니다. 지금까지 발견된 한 가지 점은 직접적인 내부 인용 없이 여러 논문들 사이에서 몇 가지 트릭(아마도 새롭거나 비표준적인 것)이 재사용되고 있다는 것입니다. 즉, 하나의 원고를 읽을 때는 다른 원고가 같은 아이디어를 사용하고 있다는 것을 바로 알기 어렵습니다. 아마 이것은 증명 과정에 필요한 기계들이 공통의 작업 공간을 공유하며 '에이전트 간 통신(inter-agent communication)'을 하기 때문에 발생하는 것 같습니다. 아래에서는 어떤 부분이 비교되어야 하는지를 나타내기 위해 '='를 느슨하게 사용하겠습니다. (수학적 내용은 LLM 요약은 생략하겠습니다...)

쌍 1: (a) $p_g=0$인 표면의 Bloch 추측 [9/24] (b) Chow에서의 Pixton 완전성에 대한 고차원 카운터예제 [9/24]
(a, Lemma 3.3) = (b, Lemma 5.3)
(a, Lemma 5.1) = (b, Lemma 5.5)
광범위하게는 (a, section 5.1-5.4) = (b, section 5.5-5.7)

쌍 2: (a) Fujita의 freeness 추측 [9/23] (b) 모든 차원에서 일반적인 이중점 간격 [9/24]
(a, proof of Prop 3.2) = (b, Lemma 5.2)
(a, Lemma 3.1 및 Eq. 5.5) = (b, Prop 4.1(i))
광범위하게는 (a, section 4-5) = (b, section 4.2-4.4)

쌍 3: (a) 일반화된 log canonical Q-pair에 대한 최소 모델 및 Mori fibre space [9/24] (b) Fano contraction을 위한 유계 klt 보완체 [9/25]
(a, Lemma 8.3) = (b, Prop 14.3)
광범위하게는 (a, Lemma 6.3 - section 8.3) = (b, Lemma 11.6 - Prop 14.5)

쌍 4: (a) 두 차원 O(4) 모델에 대한 급격한 질량 경계 [9/23] (b) 주기적인 스핀-1 Haldane 간격 [9/24]
(a, Lemma 2.1) = (b, Lemma 4.1)
(a, Prop 2.2) = (b, Prop 4.3)

이 내용은 Claude Code에서 발견했으며 (Fable 5.1이 Opus 5.5 및 GPT Sol 6.1 서브 에이전트를 호출함). /u/mbintz가 r/OpenAI에 제출했습니다. [링크] [댓글]