82.5% 성공률 낸 정리 증명 AI h1, 6개 전체에선 68.75%
h1은 세 시스템이 공통으로 해결한 에르되시 문제 5개에서 AlphaProof Nexus보다 높은 성공률과 낮은 성공 조건부 비용을 기록했다. 여섯 번째 문제를 포함한 전체 비교에서는 성공률이 68.75%로 낮아졌다.
h1은 세 시스템이 공통으로 해결한 에르되시 문제 5개에서 AlphaProof Nexus보다 높은 성공률과 낮은 성공 조건부 비용을 기록했다. 여섯 번째 문제를 포함한 전체 비교에서는 성공률이 68.75%로 낮아졌다.
집계 범위에는 승용차뿐 아니라 상용 트럭·항공·우주 분야도 포함됐다. 투자사는 지난 10년간 초기 자율화 기업 582곳을 추적했다.
앤트로픽 페이지에 미토스 5.5가 표시됐지만 발표 목록과 이용 안내는 미토스 5.1을 최신 모델로 소개한다.
AI 관련 기업 7곳의 장부 밖 지출·보증 약정이 4조1100억달러(약 5487조원)로 추산됐다. 구매 계약과 아직 시작하지 않은 임대 계약 등이 포함돼 이미 발생한 부채와는 구분된다.
일부 이용자의 코덱스 사용량 화면에 ‘gpt-6.2-astra’가 표시됐다. 한 화면에서는 해당 항목이 약 19.8%를 차지했지만, 오픈AI의 공개 API 모델 목록에는 이 이름이 없다.
오픈AI는 미국 중간선거 뒤 의회 AI 논의에 참여할 계획이다. 9월 정책 글에서는 AI 능력에 비례한 연방 안전 기준을 의제로 제시했다.
메타의 3분기 광고 매출은 전년 동기보다 26% 늘었고 알파벳의 검색·기타 매출은 12% 증가했다. 집계 범위가 달라 성장률만으로 AI의 매출 효과를 비교하기는 어렵다.
2분기 공시에서 전력요금 통과분은 같은 액수의 비용과 함께 기록됐다. 6월 말 고객 임대 용량 590MW 가운데 실제 청구가 시작된 양은 395MW였다.
에이전트는 요청을 별도 작업 공간에서 처리해 원래 대화에 풀리퀘스트(PR)를 보낼 수 있다. 딥시크는 공개 코드를 정식 제품이 아닌 연구용 프로토타입으로 분류했다.
일론 머스크는 우주 궤도 컴퓨팅의 월간 신규 배치량이 2028년 말 지상을 넘어설 수 있다고 말했다. 숀 매과이어는 스페이스X의 2028 회계연도 매출을 7310억달러로 추정했다.