Nivat 추측, DeepMind Formal Conjectures 프로젝트 제안... 프런티어 모델의 접근법 종합 능력 주목

원문에 따르면 AI는 기존 시스템의 한계를 깨뜨리는 역할을 하고 있다. 프런티어 모델은 서로 다른 수학적 접근법을 종합하는 데 능숙하며, 표기 변환, 부분 결과 비교, 수천 가지 조합 시도 등을 통해 연결고리를 찾을 수 있다. 이러한 맥락에서 Nivat 추측이 Google DeepMind의 Formal Conjectures 프로젝트에 포함되도록 제안되었다. 이는 해당 문제를 자동 추론의 목표로 삼고 더 많은 사람들이 이 질문에 주목하게 만드는 계기가 되었다.