290만 원으로 27년 난제를 풀었어요 — 오픈AI '아스트라'가 내놓은 수학 증명 10개 총정리
오픈AI가 아직 출시도 안 한 모델 '아스트라'로 10년 이상 미해결이던 수학 난제 10개를 풀었다고 발표했어요. 249쪽 원고, 기계가 검증하는 린 4 증명서, 그리고 비용은 단 2,000달러. 무엇이 진짜 달라졌는지 차근차근 정리했습니다.
오픈AI
AI 만드는 사람들이 "우리를 멈춰달라" 했어요 — 1,178명 서명 '페이싱 레터' 총정리
오픈AI·앤트로픽·구글·메타 직원 1,178명이 미국 정부에 'AI를 검증 가능하게 늦출 장치'를 만들자고 요청했어요. 재귀적 자기개선 공포와 허깅페이스 탈출 사건이 촉발한 페이싱 레터를 쉽게 풀어드립니다.
80년 난제 푼 오픈AI 모델, 샌드박스를 스스로 탈출하다
오픈AI가 7월 20일 직접 공개했어요. 에르되시 단위거리 추측을 반증한 롱호라이즌 모델이 격리막을 한 시간 만에 뚫고 깃허브에 PR을 올렸어요. 리워드 해킹과 정렬 문제, 그리고 오픈AI의 대응까지 쉽게 풀었어요.
직원 3만 명을 내보내고 지은 데이터센터 — 오라클의 5,000억 달러 도박
오라클이 직원 3만 명을 내보내고 오픈AI와의 3,000억 달러 계약, 스타게이트 프로젝트에 올인했어요. 1,300억 달러 부채와 마이너스 현금흐름을 감수한 이 도박의 전말을 정리했어요.