결론먼저 말하면 아직까진 그냥 부분부분 검증용이지 감흥 코드는 아님. 지금 수준으로는 오픈AI 코덱스나 Claude code 돌려서 수십 페이지 증명 쭉 뽑아내는건 가능한데, 그게 왜 아름다운지 설명 못 하면 그냥 노가다 확장판이라 봐야됨.
근데 다다음 세대 가면 확 달라질듯. 오픈AI 내부 모델이 Erdos 나머지 세 문제에 '인간 향기 나는 증명' 내놨다는 얘기 들리는데 이거 실화면 큰일남. 단순 풀이 넘어서 왜 심플하고 우아한지 직접 친절하게 설명해주면 사실상 수학계 공식 브로커급 됨.
결국 증명 숫자 많은거보다 퀄리티 차별화가 승부수. 5.4 프로도 아직은 고급노가다지만 패러다임 넘어가면 수학지식이 단순 도구 제작에서 아예 새 연구 대상으로 변할듯. 속도가 느리다고 실험 제동걸면 이런 터닝포인트 놓치는거니까 지금 당장 더 밀어주는게 맞다고 봄