GPT-5.4 Pro의 에르되시 문제 풀이법, 60년 묵은 또 다른 난제에도 통했다
Original: UPDATE: The method from the proof generated by GPT-5.4 Pro for Erdos Problem 1196 was successfully applied to other problems including another 60 year old Erdos conjecture. View original →
수학사의 전환점
r/singularity에 451점으로 공유된 업데이트에 따르면, GPT-5.4 Pro가 에르되시 문제 1196을 풀 때 사용한 증명 기법이 다른 수학 난제들에도 적용 가능한 것으로 밝혀졌다. 그 중에는 60년 동안 미해결 상태였던 또 다른 에르되시 추측도 포함된다.
스탠퍼드 수학의 미래 심포지엄
이 성과는 스탠퍼드 대학에서 열린 Future of Mathematics Symposium에서 발표됐다. AI가 새로운 수학적 방법론 자체를 창출하고 있음을 보여준다.
의미
AI가 광범위하게 적용 가능한 새 수학적 도구를 만들어낸다는 것은 AI와 수학 연구의 관계가 근본적으로 변하고 있음을 시사한다.
Related Articles
모델 안전성 검토가 손으로 만든 테스트를 넘어 출시 전 위험률 예측으로 이동하고 있다. OpenAI는 약 130만 건의 비식별 대화를 활용했고, GPT-5 계열에서 중앙값 1.5배 오차를 보고했다.
필즈상 수상 수학자 Timothy Gowers가 ChatGPT 5.5 Pro로 미해결 수학 문제에 도전해 약 1시간 만에 박사급 증명을 이끌어냈다. 수학 연구의 위기가 임박했다고 경고했다.
일반 사용자에게 풀린 것은 Fable 5지만, 핵심은 같은 기반 모델의 Mythos급 성능을 어디까지 열고 어디서 막을지다. Anthropic은 $10/$50 토큰 가격, 30일 보안 로그 보존, 일부 고위험 질의의 Opus 4.8 전환까지 함께 내놨다.