IMO 2025 35/42 달성, Generative-Verifier RL 기반 수학 증명 프레임워크 MaxProof
Maxproof
Sudoku-Extreme 정답률 2.6%에서 99%로 향상시킨 Attractor 기반 추론 구조
Más allá de la fuerza bruta: El razonamiento de la IA como un punto de equilibrio
Gemma 4 등 Open Weights 모델 통한 Enterprise AI 인프라 효율화 및 데이터 주권 확보
Growing void between enterprise and frontier AI puts open weights models in the spotlight