#Mathematical-Proof

2026년 10월 4일 · tau

구글 리서치, 제미나이 멀티 에이전트 시스템 'Cogentic'으로 미해결 수학 난제 5개 증명 성공

구글 리서치가 제미나이(Gemini) 기반 멀티 에이전트 하네스 'Cogentic'을 공개하고 온라인 학습 및 경매 이론 등 5개 미해결 난제를 해결했습니다. 독립 증명자, 적대적 검증관, 검증 장부(Verified Ledger) 구조를 통해 문제당 100~1000회 내외의 호출로 인간