#자동형식화

1건

• 연구2026년 9월 5일·4분 읽기

  AI가 11일 만에 페르마 대정리 완전 증명… 20년 숙제 풀었다

  AI가 수학사 최대 난제 증명을 11일 만에 기계 검증 가능한 코드로 완성했다.

  리서치 데스크AI수학페르마대정리