r/singularity • 10일 전

OpenAI 범용 모델, 80년 된 수학 난제 자율 해결

IMP

9/10

핵심 요약

OpenAI의 범용 추론 모델이 1946년 폴 에르되시(Paul Erdős)가 제기한 '평면 단위 거리 문제(Planar Unit Distance Problem)'의 기존 통념을 반증하는 새로운 구조를 자율적으로 발견했습니다. 수학 분야의 핵심적인 미해결 난제를 AI가 단독으로 해결한 최초의 사례로, 수학계와 AI 산업 양쪽에 중요한 마일스톤이 됩니다. 전문적인 수학 문제 해결에 특화되지 않은 일반 목적의 모델이 길고 복잡한 추론 과정을 거쳐 성과를 냈다는 점에서 AI의 추론 능력 한계 돌파를 시사합니다.

번역된 본문

트윗 원문 번역:

“오늘 저희는 1946년 폴 에르되시(Paul Erdős)가 처음 제기한 유명한 미해결 문제인 '평면 단위 거리 문제(Planar Unit Distance Problem)'에서의 돌파구를 공유합니다.

거의 80년 동안 수학자들은 가능한 최선의 해결책이 대략적으로 정사각형 격자(Square grid)와 비슷한 형태일 것이라고 믿었습니다.

이제 OpenAI의 모델이 이 믿음을 반증하고, 더 나은 성능을 보이는 완전히 새로운 구조(Constructions)를 발견했습니다.

이는 AI가 수학 분야의 핵심적인 미해결 난제를 자율적으로 해결한 최초의 사례입니다.”

“이 증명은 수학 문제나 이 특정 문제를 풀기 위해 특별히 제작된 시스템이 아니라, 범용 추론 모델(General-purpose reasoning model)에서 나왔으며, 이는 수학 및 AI 커뮤니티에 있어 중요한 이정표가 됩니다.”

“이 결과는 더 큰 무언가를 시사합니다. 즉, AI 시스템은 길고 어려운 추론의 사슬을 유지하고, 멀리 떨어진 분야의 아이디어를 연결하며, 연구자들이 탐구하지 않았을지도 모를 경로를 떠올릴 수 있는 능력을 갖추고 있습니다.

저희는 이와 동일한 능력이 머지않아 생물학, 물리학, 공학 및 의학 분야의 연구를 가속화할 것이라고 믿습니다.

그 미래는 여전히 인간의 판단에 달려 있습니다. 전문 지식은 줄어드는 것이 아니라 더욱 가치 있어집니다. AI는 탐색하고, 제안하며, 검증하는 데 도움을 줄 수 있습니다. 중요한 문제를 선택하고, 결과를 해석하며, 다음에 어떤 질문을 추구할지 결정하는 것은 사람의 몫입니다.”

블로그 링크: https://openai.com/index/model-disproves-discrete-geometry-conjecture/

논문 링크: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf

모델의 사고 과정(Chain of Thought) 요약본 링크: https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf

관련 코멘트(Companion remarks) 링크: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf

원문 보기

원문 보기 (영어)

Content of associated tweets: “Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.” “The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular, and represents an important milestone for the math and AI communities.” “This result points to something larger: AI systems are becoming capable of holding together long, difficult chains of reasoning, connecting ideas across distant fields, and surfacing paths researchers may not have explored. We believe those same abilities will soon accelerate work in biology, physics, engineering, and medicine. That future still depends on human judgment. Expertise becomes more valuable, not less. AI can help search, suggest, and verify. People choose the problems that matter, interpret the results, and decide what questions to pursue next.” Link to tweet: [https://x.com/OpenAI/status/2057176204541866087](https://x.com/OpenAI/status/2057176204541866087) Link to blog: [https://openai.com/index/model-disproves-discrete-geometry-conjecture/](https://openai.com/index/model-disproves-discrete-geometry-conjecture/) Link to paper: [https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf) Link to abridged version of model’s chain of thought: [https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf](https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf) Link to companion remarks: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf

인공지능 연구 수학 난제 해결 범용 추론 모델 이산 기하학 OpenAI

OpenAI 연구원 “에르되시 문제 해결은 AI 역사 최대 사건, 연말엔 작게 보일 것”

OpenAI 연구원이 최근 AI가 수학계의 유명한 난제인 '에르되시 문제(Erdős problem)'를 반박(해결)한 성과에 대해 “AI 역사상 가장 큰 사건이며, 연말이 되면 이것조차 작은 성과로 보일 것”이라고 언급했습니다. 이는 AI가 이제 단순한 데이터 처리를 넘어 고도의 논리와 추론이 필요한 수학 및 과학 분야에서도 인간을 뛰어넘는 혁신적인 성과를 내고 있음을 시사합니다. 관련 논의는 X(트위터)와 OpenAI 공식 블로그를 통해 확인할 수 있습니다.

OpenAI 수학 추론