GPT-5.6 Pro로 에르되시 문제 5개를 풀었다는 사례

Pro의 웹 앱 비 기간에 여러 개의 풀이를 얻었으며, 이 가운데 730번, 671번, 948번, 346번, 1139번 풀이가 공개됐다. 일부 결과는 검증에 더 많은 시간이 필요하다.

같은 실험자는 과거 2인 팀으로 728번을 풀었고, 이를 인공지능이 푼 첫 라고 밝혔다. Pro로는 1196번을 해결했으며, 그 풀이 방법을 바탕으로 수학자 Jared Lichtman, Terence Tao 등과 논문을 공동 집필했다.

이 나올 때마다 아직 풀리지 않은 문제들을 다시 시험하면 이전 모델이 못 풀었던 문제에서 추가 성과가 나온다는 경험도 전했다. 다만 는 생각보다 자주 해결되므로, 개별 성공 사례가 모두 큰 수학적 돌파구를 뜻하는 것은 아니다.

핵심 포인트

  • Pro로 얻은 풀이 중 5개가 공개됐다.
  • 공개된 문제 번호는 730, 671, 948, 346, 1139다.
  • 일부 풀이는 최종 검증에 시간이 더 필요하다.
  • 이전에는 Pro의 1196번 풀이 방법을 바탕으로 공동 논문이 작성됐다.
  • 새 모델이 나오면 과거에 실패한 문제를 다시 시험하는 방식이 쓰였다.
원문 보기