← 2026년 11월 3일 브리핑 · 12:00 업데이트로 추가
칭화대·저장대 'Algebraic World Model', ARC-AGI-3 게임 규칙을 Lean 4로 형식화해 비공개 레벨 6개가 "풀 수 없음"을 증명(보도)
발표 2026년 11월 3일
확인된 내용 (사실)
Pandaily 보도에 따르면 칭화대와 저장대 연구진의 Algebraic World Model(AWM)은 ARC-AGI-3 게임의 규칙을 스스로 배운 뒤 Lean 4로 형식화한다. 이 방식으로 비공개(sealed) 레벨 6개 모두가 클리어할 수 없는 구조임을 증명했다. 보도에 따르면 프런티어 모델들은 이 레벨들에서 실패했다.
팩트체크 필요 (주장)
프런티어 모델이 실패한 비공개 레벨 6개 전부를 클리어 불가능하다고 증명
의미 (해석)
월드 모델과 형식 증명을 결합해 벤치마크 과제 자체의 타당성을 검증한 사례다. ARC-AGI-3 평가의 신뢰성 논의로 이어질 수 있다.
신뢰도 보통 · 공식 출처 확인 전
출처
Tsinghua University 관련 다른 소식
-
칭화대·Zhipu 'HarnessPro': 에이전트가 자기 실행 기록을 보고 하네스를 고쳐 써…"작업당 비용 26.1% 절감"(보도)
칭화대·Zhipu AI 등 연구진이 'HarnessPro'를 내놓았다. 에이전트가 자기 실행 기록을 분석한 뒤 정답 데이터 없이 자신을 둘러싼 하네스(도구·프롬프트·실행 흐름)를 고쳐 쓰는 방식이다. 보도에 따르면 통과율은 2%p 올랐고 작업당...
-
칭화대·Infinigence AI·AgiBot, 실제 로봇 96대가 서로의 경험을 나눠 배우는 학습법 제시…처음 투입한 로봇도 성공률 97.5%(보도)
Pandaily와 量子位에 따르면 칭화대·Infinigence AI·AgiBot 공동 연구팀이 실제 로봇 96대가 서로의 작업 경험을 공유하며 학습하는 방식(Collective Experience Learning)을 내놨다. 사람 시연에 기대는...
-
칭화대, 의사의 탐촉자 조작을 학습한 588g 자율 간 초음파 로봇 개발…119명 대상 평가(보도)
인공지능신문에 따르면 칭화대 생체의공학부 연구진이 숙련된 의사의 초음파 탐촉자 조작 기술을 AI에 학습시켜, 사람 손 대신 간 초음파 영상을 얻는 자율 로봇을 만들었다. 탐촉자와 힘 센서를 포함한 몸에 붙이는 구동부의 무게는 588g이다....
-
칭화대 THUNLP·ModelBest·OpenBMB, 오픈소스 에이전트 운영체제 'PilotDeck 2.0' 공개…메모리 직접 확인·수정, 쉬운 하위 작업은 경량 모델로(보도)
Pandaily에 따르면 칭화대 THUNLP, ModelBest, OpenBMB가 오픈소스 에이전트 운영체제 'PilotDeck 2.0'을 공개했다. 프로젝트마다 별도의 WorkSpace를 두어 서로 섞이지 않게 하고, 에이전트 메모리를...