메뉴
BL
TechCrunch AI 10일 전

오픈AI, 80년된 수학 난제 최초로 해결

IMP
8/10
핵심 요약

오픈AI가 수학계의 거장 폴 에르되시가 1946년에 제기한 지오메트리 미해결 추측을 기각하는 완전히 새로운 증명을 AI 모델이 자율적으로 생성했다고 발표했습니다. 과거 기존 문헌의 해답을 '새로운 풀이'로 오해했던 전철을 밟지 않기 위해, 이번에는 에르되시 문제 웹사이트 관리자인 토마스 블룸 등 저명한 수학자들의 검증과 지지 성명을 동반했습니다. 이번 증명은 수학 전용 시스템이 아닌 범용 추론(reasoning) 모델에서 도출된 점이 핵심이며, 장기적이고 복잡한 논리적 사고가 가능해진 AI의 발전이 향후 물리학, 공학, 의학 등 타 분야에도 지대한 영향을 미칠 것임을 시사합니다.

번역된 본문

오픈AI(OpenAI)는 자사의 새로운 추론 모델이 1946년 폴 에르되시(Paul Erdős)가 처음 제기한 기하학의 유명한 미해결 추측을 반증하는 독창적인 수학적 증명을 이끼어냈다고 주장했습니다.

이러한 소식이 낯익게 들린다면, 이것이 오픈AI가 이런 대담한 주장을 펼친 것이 처음이 아니기 때문일 것입니다. 7개월 전, 이 AI 거대 기업의 전 부사장 케빈 웨일(Kevil Weil)은 X(옛 트위터)에 다음과 같이 게시했습니다. "GPT-5가 이전에 풀리지 않았던 에르되시 문제 10개(!)의 해답을 찾았고, 다른 11개 문제에서도 진전을 이루었습니다."

결과적으로 GPT-5는 실제로 그 문제들을 풀지 못했으며, 기존 문헌에 이미 존재하는 해결책들을 찾아냈을 뿐이었습니다. 얀 르쿤(Yann LeCun)과 구글 딥마인드(Google DeepMind) CEO 데미스 허사비스(Demis Hassabis) 같은 경쟁자들의 조롱이 이어졌고, 웨일은 서둘러 자신의 성급했던 게시물을 삭제했습니다.

오늘 적어도 오픈AI는 같은 실수를 두 번 반복하지 않은 것으로 보입니다. 이번 발표와 함께 오픈AI는 얀 르쿤과 멜라니 우드(Melanie Wood), 그리고 에르되시 문제 웹사이트를 운영하며 이전에 웨일의 게시물을 '과장된 왜곡'이라고 불렀던 토마스 블룸(Thomas Bloom)과 같은 수학자들의 지지 성명을 함께 공개했습니다.

오픈AI는 X에 다음과 같이 게시했습니다. "거의 80년 동안 수학자들은 가능한 최적의 해결책이 대략 정사각형 격자와 비슷할 것이라고 믿었습니다. 이제 오픈AI 모델이 이 믿음을 반증하고, 더 나은 성능을 보이는 완전히 새로운 구조군(constructions)을 발견했습니다."

회사 측은 이번 성과가 "AI가 수학 분야의 핵심적인 공개 문제를 자율적으로 해결한 최초의 사례"라고 밝혔습니다.

오픈AI에 따르면, 이 증명은 수학 문제 또는 이 특정 문제를 해결하기 위해 특별히 설계된 시스템이 아니라 새로운 범용 추론 모델에서 도출되었습니다. 오픈AI는 이것이 의미 있는 이유는, AI 시스템이 이제 길고 어려운 추론의 사슬을 유지하고 연구자들이 이전에는 탐구하지 않았던 분야 간의 아이디어를 연결하는 능력이 더욱 향상되었음을 의미하기 때문이라고 말했습니다. 이는 생물학, 물리학, 공학 및 의학에도 중요한 시사점을 던집니다.

블룸은 성명에서 다음과 같이 말했습니다. "AI는 우리가 수세기에 걸쳐 구축한 수학이라는 대성당을 더욱 충만하게 탐험하도록 돕고 있습니다. 무엇이 보이지 않는 놀라운 경이로움들이 무대 뒤에서 기다리고 있을까요?"

주제: AI, ChatGPT, 에르되시 문제(erdos problems), OpenAI, 추론 모델(reasoning models)

기사 내 링크를 통해 구매하시면 소정의 수수료를 받을 수 있습니다. 이는 당사의 편집 독립성에 영향을 미치지 않습니다.

리베카 벨란(Rebecca Bellan) 수석 기자 리베카 벨란은 TechCrunch의 수석 기자로, 인공지능을 형성하는 비즈니스, 정책 및 신흥 트렌드를 다루고 있습니다. 그녀의 글은 Forbes, Bloomberg, The Atlantic, The Daily Beast 및 기타 출판물에도 실렸습니다.

[인기 기사 목록]

  • 우리가 알고 있는 구글 검색은 끝났습니다 (새라 페레즈)
  • 일론 머스크, 샘 알트만 및 오픈AI를 상대로 한 소송에서 패소 (팀 페른홀즈)
  • 아마존의 지원 중단으로 사용자들이 구형 킨들 탈옥으로 눈을 돌리다 (로렌 포리스탈)
  • 오픈AI, 개인 금융을 위한 챗GPT 출시... 은행 계좌 연결 기능 제공 예정 (이반 메타)
  • 中국 방문 후, 미국 공군 1호기 탑승객들에게 선물, 핀, 버너 폰 버리라고 지시 (로렌조 프란체스키-비키에라이)
  • 오픈AI, 애플을 상대로 법적 조치 취할 준비 중인 것으로 보도 (코니 로이조스)
  • 인스타그램의 새로운 '인스턴트(Instants)' 기능 끄는 방법 및 실수로 공유된 사진 철회하기 (아이샤 말릭)
원문 보기
원문 보기 (영어)
OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946. If this sounds familiar to you, it’s because this isn’t the first time OpenAI has made such a bold claim. Seven months ago , the AI giant’s former VP Kevil Weil posted on X: "GPT-5 found solutions to 10 (!) previously unsolved Erdős problems and made progress on 11 others." It turns out, GPT-5 didn’t actually solve those problems; it just found existing solutions that already existed in the literature. Taunts from rivals like Yann LeCun and Google DeepMind CEO Demis Hassabis followed, and Weil promptly took down his premature post. Today, at least, it seems OpenAI didn’t make the same mistake twice. Alongside the announcement, OpenAI published companion remarks in support of the disproof from mathematicians like Noga Alon, Melanie Wood, and Thomas Bloom, who maintains the Erdos Problems website , and previously called Weil’s post “a dramatic misrepresentation.” “For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids,” OpenAI posted on X . “An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.” The company said this marks "the first time AI has autonomously solved a prominent open problem central to a field of mathematics." The proof, per OpenAI, came from a new general-purpose reasoning model, not a system specifically designed to solve math problems or even this problem in particular. OpenAI says this is significant because it means AI systems are now more capable of holding together long, difficult chains of reasoning and connecting ideas across fields in ways researchers may not have previously explored. That has implications for biology, physics, engineering, and medicine. “AI is helping us to more fully explore the cathedral of mathematics we have built over the centuries,” Bloom said in a statement. “What other unseen wonders are waiting in the wings?” Topics AI , ChatGPT , erdos problems , OpenAI , reasoning models When you purchase through links in our articles, we may earn a small commission . This doesn’t affect our editorial independence. Rebecca Bellan Senior Reporter Rebecca Bellan is a senior reporter at TechCrunch where she covers the business, policy, and emerging trends shaping artificial intelligence. Her work has also appeared in Forbes, Bloomberg, The Atlantic, The Daily Beast, and other publications. You can contact or verify outreach from Rebecca by emailing rebecca.bellan@techcrunch.com or via encrypted message at rebeccabellan.491 on Signal. View Bio May 27 Athens, Greece StrictlyVC Athens is up next. Hear unfiltered insights straight from Europe’s tech leaders and connect with the people shaping what’s ahead. Lock in your spot before it’s gone. REGISTER NOW Most Popular Google Search as you know it is over Sarah Perez Elon Musk has lost his lawsuit against Sam Altman and OpenAI Tim Fernholz Users turn to jailbreaking their older Kindles as Amazon ends support Lauren Forristal OpenAI launches ChatGPT for personal finance, will let you connect bank accounts Ivan Mehta US orders travelers on Air Force One to throw away gifts, pins, and burner phones after China trip Lorenzo Franceschi-Bicchierai OpenAI is reportedly preparing legal action against Apple; it wouldn't be the first partner to feel burned Connie Loizos How to turn off Instagram's new Instants feature and retract photos you accidentally shared Aisha Malik