#formal-reasoning와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
Numina과 Kimi 팀이 테스트 시간 RL 탐색을 적용해 miniF2F 벤치마크에서 SOTA를 달성한 Kimina-Prover를 공개했다.