에르되시 미해결 문제가 5일 만에 6개 풀림. 푼 사람은 수학 교수가 아니라 GPT-5.6 돌린 연구자 한 명임.

1. 13개 시도해서 6개 성공
   성공률 46%. 본인이 수학 배경은 있는데, 쓴 워크플로 자체는 깊은 수학 지식이 필요 없었다고 밝힘

2. 비결은 계약서처럼 쓴 프롬프트
   질문을 던진 게 아니라 증명이 뭘 확립해야 하는지, 어떤 약한 결과는 인정 안 되는지, 알려진 함정이 뭔지 계약서처럼 다 못박고 시작함

3. 모델이 자기 증명을 스스로 공격함
   시도, 실패, 진단, 새 접근, 초안, 적대적 검증, 수리 — 이 루프를 빈틈을 못 찾을 때까지 돌림

커뮤니티 검증은 아직 진행 중임. 근데 이게 굳어지면 수학 실력의 정의에 "좋은 계약서 쓰는 능력"이 들어가는 거고, 이건 수학만의 얘기가 아님.