#인공지능연구

AI 수학 논문서 새 도구 찾는 연구…“증명 검증과 아이디어 발굴은 별개”

AI가 작성한 수학 논문에서 재활용할 만한 아이디어를 찾는 연구가 공개됐다. 논문에 새로운 보조정리나 구성법이 등장하는지 살피는 작업과 그 증명이 완전하다고 인증하는 일은 구분했다. 잉 셰의 연구는 12일 arXiv에 공개됐다. 저자는 OpenAI가 10월 공개한 AI 작성 수학 원고…