쌓인 기록에서 찾기
무엇을 찾으세요?
날짜를 몰라도 됩니다. 제목·Key Point·요약·태그를 한꺼번에 뒤집니다.
검색 범위부터 2026년 9월 24일 (목)까지949건
2건 · "수학 증명"조건 지우기 ×
AI와 함께 50년 묵은 수학 난제 증명 성공
Key Point
AI가 인간과 협력해 순수 수학 난제를 해결할 수 있음을 보여주는 사례로, 형식 검증 시스템의 신뢰성이 수학 증명의 새로운 인정 방식이 될 수 있음을 시사한다.
핵심 요약
- 수학 비전공자가 Claude AI를 활용해 John Conway가 1976년에 제시한 초현실수 관련 미해결 난제를 Lean 증명으로 완성했다.
- 해당 난제는 omnific integers의 refinement property에 관한 Conway의 추측으로, 두 가지 인수분해가 공통 세분화를 가지는지를 묻는 문제다.
- 저자는 Claude에게 초현실수 분야의 흥미로운 문제를 골라달라 요청했고, Claude가 이 난제를 추천했다.
- 증명은 Palomar registry 기계 검증을 통과했으며 Lean과 해당 분야에 정통한 여러 사람이 정당성을 확인했다.
- 다만 독립적인 수학자 검증은 아직 이루어지지 않았으며, 저자는 반박을 공개적으로 초대하고 있다.
- 이 프로젝트에 1개월 이상의 자유 시간과 상당한 토큰을 투자했다.