중요X
OpenAI(오픈AI) 난제 #109(정수 곱셈), 아홉 번째 개선으로 κ=2⁻¹¹·⁰⁶⁶ 돌파
AI 지원 수학 난제 풀이의 누적 개선 사례. 연구 보조 도구로서의 실효성 가늠해볼 만함.
요약
X 이용자 @SJ_Swapnil_Jain은 OpenAI의 정수 곱셈 문제(#109)에 대한 아홉 번째 업데이트를 공개했다. 연구팀은 κ 값을 기존 2⁻¹⁸²에서 2⁻¹¹·⁰⁶⁶ 수준으로 크게 개선하며 2⁻¹² 구간을 넘어섰다고 밝혔다. 현재 산출된 정확한 증거 값(witness)은 4.6637 × 10⁻⁴로, 이전 측정치인 1.2613 × 10⁻⁴ 대비 약 3.7배 향상된 결과다. 이는 OpenAI가 초기 발표한 결과와 비교하면 2¹⁷⁰배 개선된 성능 수치이다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 @SJ_Swapnil_Jain: Ninth update to OpenAI problem #109 (integer multiplication): we are now past 2^-12. κ = 2⁻¹¹·⁰⁶⁶ (tightened from κ = 2⁻¹⁸²) The e
원문 보기 ↗