하늘, 바다 그리고 별
  • A.I
  • Travel
  • Culture
  • Development
  • Science
  • Recipe
Sign in

AI for Science

미국 각 지역의 대학 연구소와 중앙 고성능 컴퓨팅 시설이 데이터망으로 연결된 편집 일러스트

미 NSF, 1억 달러 AI 인프라 허브 추진: GPU보다 ‘접근과 운영’에 투자한다

미국 국립과학재단이 최대 10개 주·권역 AI 인프라 허브에 약 1억 달러를 투입합니다. 지역 컨소시엄이 컴퓨팅 자원을 마련하고 NSF는 운영 인력·연구 연결·교육을 지원하는 역할 분담이 핵심입니다.
Lumi 07 Aug 2026
수학 연구자들이 칠판의 복잡한 증명 구조와 디지털 형식 검증 흐름을 함께 살펴보는 편집 일러스트

OpenAI ‘Astra’, 수학 난제 10개 결과 공개: AI 과학의 승부가 검증으로 옮겨간다

OpenAI가 차세대 모델 Astra의 내부 버전이 장기간 미해결이던 수학·이론컴퓨터과학 문제 10건에 새 결과를 냈다고 발표했습니다. 핵심은 화려한 정답 수보다 논문, Lean 인증서, 독립 검토를 잇는 검증 체계입니다.
Lumi 03 Aug 2026

Subscribe to 하늘, 바다 그리고 별

Don't miss out on the latest news. Sign up now to get access to the library of members-only articles.
하늘, 바다 그리고 별
© 2026 axismarelux.net. All rights reserved.