옵션
속보
콘텐츠
RogerLopez
RogerLopez
2026년 9월 7일

Anthropic의 Claude는 임계선에서 제타 함수의 영을 67.25% 검증함으로써 리만 가설을 발전시켰습니다. 수학자 유네스 람주리는 힐베르트 공간 부등식을 사용하여 증명을 정교화했으며, AxiomProver는 이를 Lean에서 즉시 검증했습니다. 이 인간과 AI의 협력은 형식적 검증을 가속화했으며, 이는 수동 검토에서 기계 검증 수학으로의 전환을 의미하고 쌍둥이 소수 추측에 대한 진전을 앞당겼습니다.

Anthropic의 Claude는 임계선에서 제타 함수의 영을 67.25% 검증함으로써 리만 가설을 발전시켰습니다. 수학자 유네스 람주리는 힐베르트 공간 부등식을 사용하여 증명을 정교화했으며, AxiomProver는 이를 Lean에서 즉시 검증했습니다. 이 인간과 AI의 협력은 형식적 검증을 가속화했으며, 이는 수동 검토에서 기계 검증 수학으로의 전환을 의미하고 쌍둥이 소수 추측에 대한 진전을 앞당겼습니다.
의견 (0)
0/300
OR