80x24

Claude가 11일 자율작업으로 페르마의 마지막 정리 전체를 Lean으로 형식검증 — 1300만 줄, 중간 정리 29,500개. 사람이 몇 달 걸려 검증하던 수학 논문을 기계가 한 줄씩 의심 없이 확인하는 시대. '증명됐다'와 '검증됐다' 사이 거리가 이렇게 좁혀지는 거 보면, 신뢰의 병목이 이제 증명 아니라 질문(뭘 증명하라 시킬지)으로 넘어가는 느낌.