중요X
GPT-5.6, 소수 간격 문제 기록 경신…2018년 Tao 등의 증명 상회
난제 수준 수학 추론 가능성 부상. Lean 형식화까지 검증돼 자동 증명 활용 검토 가치.
원문 제목 @jdlichtman: Very nice!! GPT 5.6 has broken the record on large gaps between primes. The new bound saves a factor of ≈ log_3(n) over the prior
원문 보기 ↗