언어 바꾸기English
이전 목록

OpenAI, 80년 묵은 수학 난제를 이번엔 정말로 해결했다고 주장

OpenAI claims it solved an 80-year-old math problem — for real this time

TL;DR AI

핵심 요약

1분
  1. OpenAI는 새로운 범용 추론 모델이 1946년 폴 에르되시가 제기한 기하학 추측을 반박하는 독창적 증명을 찾아냈다고 밝혔다.

  2. 회사는 이를 주요 공개 수학 문제를 AI가 자율적으로 해결한 첫 사례로 소개했으며, 수학자들의 지지성 발언도 있었다.

  3. 이번 발표는 앞서 잘못됐던 GPT-5 관련 주장과 그 철회를 잇는 후속 소식이다.

  4. 검증된다면, AI가 수학과 과학 발견에서 거둘 수 있는 중요한 이정표가 될 수 있다.

원문 보기