본문 바로가기

NEWS

뉴스

AI, 개발, IT 업계의 최신 소식을 전합니다.

태그 필터:Lean
"Lean" 태그 뉴스
전체 1건
08.27
AI
OpenAI 'Astra'가 난제 10건 형식검증 증명, 그리고 자체 추론칩 'Jalapeño' — 무슨 의미인가
OpenAI가 미공개 모델 Astra로 10년+ 미해결 난제 10건을 기계 검증 가능한 Lean 증명으로 풀었다고 보도됐다. 며칠 뒤엔 첫 자체 추론칩 Jalapeño까지. 검증 가능성과 수직통합이 개발자에게 갖는 의미를 냉정하게 짚는다.