ODYSSEY는 검증 가능하고 국소적 진리를 보존하는 파운데이션 모델을 'foundry'라는 빌딩블록의 합성으로 구성하는 범주론(categorical) 프레임워크다. 각 foundry는 국소 컨텍스트 커버, 제한 사상, 접합 규칙, 장애 정책, 논증 컴포넌트를 갖춘 조직화된 지식 층(sheaf)이며, 증거/논증·운영 의사결정·기관/금융·과학 챌린지 등 제네릭 foundry에서 구체 foundry를 만든다. Universal Foundry Learning은 좌·우 Kan 확장의 합성으로 foundry 구축을 형식화하고, 타입 쿼리 언어 FSQL과 TICKET 인증으로 외부 모델을 지속 상태에 안전하게 편입한다. 전체 구현·테스트가 완료됐으며 ICML 2026에서 2.5시간 튜토리얼로 발표될 예정으로, 환각 없는 검증 가능 AI를 수학적 구조로 접근하는 드문 시도다.
- •국소 진리 보존 파운데이션 모델을 foundry(지식 sheaf) 합성으로 구성하는 범주론 프레임워크 ODYSSEY 제안
- •좌 Kan 확장으로 국소 아티팩트를 후보 foundry로 말고, 우 Kan 확장으로 제한·접합·장애 조건을 강제하는 UFL 형식화
- •타입 쿼리 언어 FSQL과 TICKET 인증으로 외부·기성 모델을 지속 상태에 안전하게 편입
- •다양한 구체 foundry에서 완전 구현·테스트 완료, Toulmin 논증 검증·잔여 장애 원장 등 지원
- •ICML 2026에서 2.5시간 튜토리얼로 발표 예정 (저자: Sridhar Mahadevan)
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Odyssey: Constructing Verifiable Local Truth-Preserving Foundation Models
- 1.ODYSSEY, 검증 가능한 국소 진실 보존 파운데이션 모델을 구축하는 범주론 프레임워크 제안
- 2.'파운드리'를 빌딩블록으로 삼아 국소 맥락·표현·제한맵·접합규칙·논증 요소를 조직화한 지식 층층
- 3.Universal Foundry Learning은 좌·우 Kan 확장의 합성으로 파운드리 구성을 형식화
- 4.Foundry SQL과 TICKET 인증으로 외부 모델을 지속 상태에 편입, ICML 2026 튜토리얼 발표 예정
왜 중요한가?
파운데이션 모델의 진실 보존과 검증 가능성을 층(sheaf)·Kan 확장 같은 범주론 기계로 형식화해, 논증·근거 추적·잔여 장애 원장을 하나의 수학적 틀에서 다룬다. 이질적 출처의 인과 주장 추출과 도메인 구축을 동일 기계로 지원한다는 점에서 이론적으로 야심적이다.
본문 미리보기
arXiv:2606.27593v1 Announce Type: new Abstract: We introduce a categorical framework called ODYSSEY for constructing verifiable, local truth-preserving foundation models as compositions of foundries: building-block architectural components that specify a cover of local contexts, local representation families, restriction maps, gluing rules, obstruction policies, update obligations, and human-facing views. A foundry is an organized sheaf of knowledge that carries within it an argumentation compo
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 13:08AI 초안
