290만 원으로 27년 난제를 풀었어요 — 오픈AI '아스트라'가 내놓은 수학 증명 10개 총정리
오픈AI가 아직 출시도 안 한 모델 '아스트라'로 10년 이상 미해결이던 수학 난제 10개를 풀었다고 발표했어요. 249쪽 원고, 기계가 검증하는 린 4 증명서, 그리고 비용은 단 2,000달러. 무엇이 진짜 달라졌는지 차근차근 정리했습니다.
오픈AI가 아직 출시도 안 한 모델 '아스트라'로 10년 이상 미해결이던 수학 난제 10개를 풀었다고 발표했어요. 249쪽 원고, 기계가 검증하는 린 4 증명서, 그리고 비용은 단 2,000달러. 무엇이 진짜 달라졌는지 차근차근 정리했습니다.
앤트로픽의 미공개 모델 클로드 미토스가 포스트양자 서명 HAWK의 새 공격법을 60시간 만에 찾아냈어요. 무엇을, 어떻게, 왜 안전한지까지 쉽게 풀었어요.
희망을 이야기하되 헛된 희망은 만들지 않기 위한 편입니다. Reh lab의 ASCL1, 레이 테라퓨틱스 광유전학, 엔도지나, 야마나카 인자 등 경쟁 기술과의 비교, 뇌·척수로의 확장 가능성, 그리고 '2028년은 출시가 아니라 임상 시작'이라는 냉정한 현실 6가지를 짚었어요. 마지막엔 환자와 보호자가 지금 당장 할 수 있는 일 10가지와 FAQ 14문답, 전체 출처를 담았습니다.