mathematics

구글 딥마인드의 AlphaProof Nexus는 대화로 답에 이른 것이 아니다. 검증할 수 없는 단계는 모두 거부하는 언어 Lean으로 답을 적었다. AI와 수학을 둘러싼 부풀려진 발표가 이어진 끝에, 바로 이 하나의 설계 결정이 결과를 믿을 만하게 만든다.