요약 새로운 종류의 수학적 진전이 나타나고 있다: AI 시스템이 전문가들이 심각하게 받아들이는 증명 아이디어를 생성하기 시작했으며, 최종 승인이 아직 보류된 경우에도 마찬가지다. 테스트 타임 추론이 게임을...
