수학 벤치마크
구글, 무료 제미나이 2.0 플래시 씽킹 새 버전 공개… 수학·과학 벤치마크서 70% 이상 기록
구글딥마인드(Google DeepMind)의 데미스 하사비스(Demis Hassabis) CEO가 22일(현지 시간)에 자신의 개인 X에 제미나이 2.0 플래시 씽킹(Gemini 2.0 Flash Thinking) 모델의 최신 업데이트 소식을 공개했다. 수학·과학…
딥시크, 대규모 합성 데이터로 AI의 수학 증명 능력 대폭 강화
현대 수학의 증명이 점점 복잡해지면서 동료 평가 과정에서도 오류를 발견하기 어려워지고 있다. 이러한 문제를 해결하기 위해 린(Lean), 이자벨(Isabelle), 코크(Coq) 등의 형식 수학 언어가 개발됐지만,…
