Conway의 추측을 바이브로 증명해 봤습니다
한 개발자가 Claude, ChatGPT, Codex와 Lean을 엮은 다중 에이전트 워크플로로 50년 된 Conway의 정제 추측에 도전했습니다. 여러 허위 증명과 검증 실패를 거친 끝에 Lean 형식화 결과를 얻었지만, 수학자의 독립 검증 전이라는 조건부 성과이며 AI 수학 연구의 검증 문제를 함께 보여줍니다.
AI · 최신기사
AI 모델과 서비스, 활용 도구와 이용 조건을 다룹니다.
AI 모델과 서비스, 활용 도구와 이용 조건을 다룹니다.
한 개발자가 Claude, ChatGPT, Codex와 Lean을 엮은 다중 에이전트 워크플로로 50년 된 Conway의 정제 추측에 도전했습니다. 여러 허위 증명과 검증 실패를 거친 끝에 Lean 형식화 결과를 얻었지만, 수학자의 독립 검증 전이라는 조건부 성과이며 AI 수학 연구의 검증 문제를 함께 보여줍니다.