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