GPT-5.4 Pro의 에르되시 문제 풀이법, 60년 묵은 또 다른 난제에도 통했다
GPT-5.4 Pro가 에르되시 문제 1196을 풀기 위해 생성한 증명 방법이 60년 된 또 다른 에르되시 추측을 포함한 여러 문제에 성공적으로 적용됐다.
원문: 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. 원문 보기 →
수학사의 전환점
r/singularity에 451점으로 공유된 업데이트에 따르면, GPT-5.4 Pro가 에르되시 문제 1196을 풀 때 사용한 증명 기법이 다른 수학 난제들에도 적용 가능한 것으로 밝혀졌다. 그 중에는 60년 동안 미해결 상태였던 또 다른 에르되시 추측도 포함된다.
스탠퍼드 수학의 미래 심포지엄
이 성과는 스탠퍼드 대학에서 열린 Future of Mathematics Symposium에서 발표됐다. AI가 새로운 수학적 방법론 자체를 창출하고 있음을 보여준다.
의미
AI가 광범위하게 적용 가능한 새 수학적 도구를 만들어낸다는 것은 AI와 수학 연구의 관계가 근본적으로 변하고 있음을 시사한다.
관련 기사
필즈상 수학자 "GPT-5.5 Pro, 박사급 수학 증명 해냈다"
필즈상 수상 수학자 Timothy Gowers가 ChatGPT 5.5 Pro로 미해결 수학 문제에 도전해 약 1시간 만에 박사급 증명을 이끌어냈다. 수학 연구의 위기가 임박했다고 경고했다.
OpenAI, 프런티어 모델에 제로 데이터 보존 옵션 도입
OpenAI가 8월 20일부터 GPT-5.6 등 프런티어 모델 API에 제로 데이터 보존 옵션을 제공한다. 세션 종료 후 사용자 입출력이 서버에 남지 않아, 의료·금융 등 규제 산업 기업 고객의 AI 채택 장벽을 낮추려는 조치다.
OpenAI, ChatGPT에서 GPT-4o 및 구형 모델 단계적 종료
OpenAI는 2026년 1월 29일 공지를 통해 2월 13일부터 ChatGPT에서 GPT-4o와 구형 모델 선택을 종료한다고 밝혔다. GPT-4o는 GPT-5로, GPT-4.5는 GPT-5 thinking으로, o4-mini는 o5-mini로 대체된다.