290만 원으로 27년 난제를 풀었어요 — 오픈AI '아스트라'가 내놓은 수학 증명 10개 총정리
오픈AI가 아직 출시도 안 한 모델 '아스트라'로 10년 이상 미해결이던 수학 난제 10개를 풀었다고 발표했어요. 249쪽 원고, 기계가 검증하는 린 4 증명서, 그리고 비용은 단 2,000달러. 무엇이 진짜 달라졌는지 차근차근 정리했습니다.
오픈AI가 아직 출시도 안 한 모델 '아스트라'로 10년 이상 미해결이던 수학 난제 10개를 풀었다고 발표했어요. 249쪽 원고, 기계가 검증하는 린 4 증명서, 그리고 비용은 단 2,000달러. 무엇이 진짜 달라졌는지 차근차근 정리했습니다.