Anthropic의 Claude, 리만 가설의 미해결 문제에서 41.6%에서 67.2%로 하한을 개선하다

Learning more about Claude's mathematical capabilities

Anthropic 연구진이 공개하지 않은 연구용 Claude가 리만 가설의 미해결 문제에 도전하는 과정에서, 리만 제타 함수의 영점 중 리만 가설을 만족하는 비율의 하한을 기존 41.6%에서 67.2%로 크게 끌어올렸습니다. 이 결과는 Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh의 최근 연구와 Bombieri의 2000년 논문을 결합하여 얻은 것입니다. Claude는 31백만 개의 출력 토큰을 사용하여 두 세션에 걸쳐 이 결과를 발견했으며, 60개의 하위 에이전트를 조정하고 수천 번의 수치 검증을 수행했습니다. Anthropic의 수학자들이 검증했고, Lean으로 형식화된 증명도 공개되었습니다.