Claude, 제타 하한을 67%로
Anthropic은 미공개 연구용 Claude가 리만 제타 영점 관련 하한을 41.6%에서 67.2%로 높였다고 밝혔다.
수학 뉴스와 분석
수학 관련 제품 동향과 산업 분석 4건을 모았습니다.
OpenAI, Astra로 증명 10건 공개
OpenAI는 Astra의 첫 공개 신호로 수학과 이론 컴퓨터과학의 10개 결과, 249쪽 논문, Lean 증명서와 추론 기록을 공개했다.
GPT-5.6, 그래프 이론 증명 제시
GPT-5.6, 그래프 이론 증명 제시. 확인된 사실과 그 뒤의 산업적 신호를 간결하게 정리한다.
DeepSeek, 수학 증명 모델 Prover-V2 공개
DeepSeek이 Lean 4 형식 검증 시스템 내에서 수학 정리를 자동 증명하는 특화 모델 Prover-V2를 출시했으며, miniF2F 벤치마크에서 최신 최고 수준에 근접한 성과를 달성했다.