본문으로 건너뛰기
피드

GPT-5.4 Pro가 하이퍼그래프 램지 이론 미해결 문제를 풀었다 - Epoch 확인

ai-ml 약 3분
vote
0
댓글
북마크

GPT-5.4 Pro가 FrontierMath의 하이퍼그래프 램지 이론 미해결 문제를 풀었고, 문제 출제자가 검증하여 논문 출판 예정. Opus 4.6, Gemini 3.1 Pro도 후속 테스트에서 성공함

  • 1

    GPT-5.4 Pro가 하이퍼그래프 램지 이론의 H(n) 하한 개선 미해결 문제를 풀음

  • 2

    문제 출제자 Will Brian이 직접 검증, 논문 출판 예정

  • 3

    기존 하한 구성의 비효율성을 제거해 상한과 하한이 정확히 일치

  • 4

    후속 테스트에서 Opus 4.6(max), Gemini 3.1 Pro, GPT-5.4(xhigh)도 성공

  • 5

    GPT-5.2(xhigh), Opus 4.5(max), Kimi K2.5 Thinking은 실패

GPT-5.4 Pro가 램지 이론 미해결 문제를 풀어버림 - Epoch 확인

무슨 일이 있었나

  • Kevin Barreto와 Liam Price가 GPT-5.4 Pro를 사용해서 FrontierMath의 미해결 문제를 풀었고, Epoch이 이를 공식 확인함
  • 문제 출제자인 Will Brian이 직접 솔루션을 검증했고, 논문으로 출판될 예정임
  • 해당 문제는 하이퍼그래프 램지 이론에서 H(n) 수열의 하한을 개선하는 문제임. 무한 급수의 동시 수렴과 관련된 수학 분야임

Will Brian의 평가

  • "이전에 AI의 접근 방식이 가능할지 궁금했지만, 실제로 계산하기가 어려워 보였음. 이제 보니 완벽하게 작동한다는 거임"
  • 핵심 성과: 기존 하한 구성의 비효율성을 제거해서 상한과 하한이 정확히 일치하게 만듦. 램지 이론에서 이런 경우는 상당히 좋은 결과임
  • Brian은 AI의 아이디어에서 촉발된 후속 연구와 함께 논문을 작성할 계획이고, Barreto와 Price는 공저자로 참여할 수 있는 옵션이 있음

다른 모델들의 성적표

  • 풀은 모델들: Opus 4.6 (max), Gemini 3.1 Pro, GPT-5.4 (xhigh). 각각 4번씩 시도한 결과 Opus 4.6은 1회, Gemini 3.1 Pro와 GPT-5.4는 각 2회 성공
  • 못 푼 모델들: GPT-5.2 (xhigh), Opus 4.5 (max), Kimi K2.5 Thinking. 동일 조건에서 4번씩 시도했지만 전부 실패

중요

> 단순히 답을 맞힌 게 아니라 수학자가 검증한 새로운 증명을 AI가 생성한 사례임. 출판 가능한 수준의 수학적 발견을 AI가 해낸 건 주목할 만한 이정표임

  • 다만 후속 모델들이 자체적으로 완전한 증명(self-contained proof)을 작성할 수 있는지는 아직 확인하지 않았다는 점은 참고해야 함

AI가 단순히 기존 문제를 푸는 수준을 넘어 수학자가 검증한 새로운 증명을 생성해 출판 가능한 수학적 발견을 이룬 이정표적 사례

댓글

댓글

댓글을 불러오는 중...

ai-ml

오픈AI, 브로드컴과 만든 첫 자체 추론 칩 ‘할라페뇨’ 공개

오픈AI가 브로드컴과 함께 만든 첫 자체 추론 프로세서 ‘할라페뇨’를 공개했다. 아직 테스트 단계지만, 실시간 코딩 모델 같은 추론 워크로드에서 기존 최고 수준 대안보다 전력 대비 성능이 크게 좋다는 초기 결과를 내세웠다.

ai-ml

가트너 “네오클라우드, 2030년 AI 클라우드 시장 20% 먹는다”

생성형 AI 확산으로 GPU 기반 고성능 컴퓨팅 수요가 폭증하면서 AI 전용 클라우드 사업자인 네오클라우드가 커지고 있다는 분석이 나왔어. 가트너는 2030년 약 2,670억 달러 규모 AI 클라우드 시장에서 네오클라우드가 20%를 차지할 수 있다고 봤어. GPU 확보, 가격 경쟁력, 데이터 주권 대응이 핵심 포인트야.

ai-ml

스페이스X, 오픈소스 AI 스타트업에 초대형 컴퓨팅 파워 판다

리플렉션 AI가 스페이스X의 대형 데이터센터 인프라를 쓰기 위해 2029년까지 최대 63억달러 규모 계약을 맺었다는 내용이다. 월 1억5000만달러를 내고 엔비디아 GB300 기반 컴퓨팅 자원을 확보하는 구조이며, 스페이스X는 남는 AI 인프라를 외부 고객에게 파는 플랫폼 사업으로 확장하려는 흐름을 보인다. 오픈소스 AI 모델을 내세우는 리플렉션 AI가 정부·안보 시장에서 빠르게 커지고 있다는 점도 포인트다.

ai-ml

AI가 청소년의 ‘생각 훈련’을 건너뛰게 만든다는 경고

이 글은 생성형 AI가 청소년과 주니어에게 편리한 도구를 넘어 사고력 발달을 약화시킬 수 있다는 우려를 다뤄. 핵심은 AI 사용 자체가 문제라기보다, AI가 단일한 관계와 정보 통로가 되고 글쓰기·판단·고민의 과정을 대신해버릴 때 인지 훈련 기회가 사라진다는 점이야.

ai-ml

성남시, AI로 고독사 위험과 고령자 주차 문제를 같이 실증한다

성남시니어산업혁신센터가 AI 돌봄 자동화 플랫폼과 AI 스마트 주차관리 시스템의 실증기관으로 선정됐어. 각각 14억2500만 원, 30억 원 규모 사업이고, 고령자 돌봄과 교통약자 주차 편의라는 생활밀착형 문제를 AI로 풀어보겠다는 내용이야.