언어 바꾸기English
이전 목록

80년 넘게 전문가들을 좌절시켜 온 수학 문제가 있었다. AI가 모두를 뛰어넘었다

A math problem had been resisting experts for more than 80 years. An AI has outperformed them all

TL;DR AI

핵심 요약

1분
  1. OpenAI의 내부 추론 모델이 에르되시의 평면 단위거리 문제에서 새로운 하한 돌파를 이끌었다.

  2. 이번 결과는 하한을 약 n^(1+o(1))에서 n^(1+δ)로 끌어올리며 80년 넘게 이어진 교착을 깼다.

  3. 프린스턴의 수학자들이 증명을 검증해 받아들였고, AI 보조 발견의 신뢰도를 높였다.

  4. 이 성과는 범용 AI가 벤치마크를 푸는 수준을 넘어, 진짜로 새로운 수학을 만들어낼 수 있음을 시사한다.

원문 보기