Rebabel — AI 데일리 글로벌 뉴스

AI 일보

Claude, 페르마의 마지막 정리 최초의 완전한 형식화 증명 완료 | AI 일보 2026-09-06

Claude, 페르마의 마지막 정리 최초의 완전한 형식화 증명 완료: Anthropic은 Claude가 11일 만에 세기의 난제인 '페르마의 마지막 정리'에 대한 최초의 엔드투엔드 기계 검증 가능 형식화 증명을 완료했다고 발표했습니다. 해당 프로젝트는 컬럼비아 대학교 조교수이자 칭화대 야오반(Yao Class) 출신인 펑톈이(Peng Tianyi)가 주도했
AI 일보

NVIDIA, 129억 3,000만 달러에 AI 오픈소스 커뮤니티 Hugging Face 전격… | AI 일보 2026-09-04

NVIDIA, 129억 3,000만 달러에 AI 오픈소스 커뮤니티 Hugging Face 전격 인수 발표: NVIDIA가 오픈소스 AI 모델 및 데이터셋 플랫폼인 Hugging Face와 인수 계약을 공식 체결했다고 발표했다. 거래 금액은 129억 3,000만 달러로, 자사가 소프트웨어 및 개발자 생태계를 실질적으로 지배하는 역대 최대 규모의 M&A 기록을
AI 일보

Anthropic, 모델 하드웨어 표준 MHS 발표하며 물리적 AI 상호작용 개시 | AI 일보 2026-08-29

Anthropic, 모델 하드웨어 표준 MHS 발표하며 물리적 AI 상호작용 개시: Anthropic이 물리 디바이스를 위한 개방형 드라이버 규격인 '모델 하드웨어 표준(Model Hardware Standard, MHS)' 리서치 프리뷰를 공식 발표했다. 이 표준은 '물리 세계의 MCP'로 불리며, 통일된 디바이스 설명 파일과 표준 드라이버 인터페이스를