참고X
OpenAI(오픈AI) 수학 문제 #109: 정수 곱셈 벤치마크 개선 수치 공개
수학적 엄밀성 검증이 지속되고 있음. 최신 개선 수치를 통해 모델의 논리적 한계점 파악 가능.
요약
OpenAI problem #109(정수 곱셈 문제)에 대한 다섯 번째 업데이트가 발표되었으며, 현재 κ 값은 2⁻¹⁶을 넘어섰다. 이는 기존의 2⁻¹⁸²에서 대폭 강화된 수치로, 정확한 증거 값(witness)은 1.548 × 10⁻⁵이다. 이번 결과는 이전 수치인 1.197 × 10⁻⁵ 대비 약 1.3배, 초기 OpenAI 연구 결과보다는 2¹⁶⁶배 향상된 성능을 기록했다. 연구진은 자체 구축한 인터체인지 네트워크를 기반으로 이 성과를 달성했다. 또한, 해당 어셈블리 및 모멘트 증명은 Lean 커널에서 검증을 완료했다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 @SJ_Swapnil_Jain: Fifth update to OpenAI problem #109 (integer multiplication): we are now past 2^-16. κ > 2⁻¹⁶ (tightened from κ = 2⁻¹⁸²) The exact
원문 보기 ↗