메뉴
BL
The Decoder • 3일 전

OpenAI 내부 모델, 한 달 훈련 만에 100개 넘는 수학 난제 해결

IMP
9/10
핵심 요약

OpenAI가 새 내부 모델이 약 한 달간의 훈련만으로 나비에-스토크스 밀레니엄 난제를 포함해 100개 이상의 오랜 수학 미해결 문제를 풀었다고 발표했습니다. 수학자들의 비판에 대응해 OpenAI는 프린스턴 고등연구소에 팀시 가워스 등이 참여한 독립 자문그룹을 구성했지만, 연구 속도 조절 권한은 그룹에 부여하지 않아 논란이 남습니다.

번역된 본문

수학자들의 비판이 거세지자 OpenAI가 이 분야 최고 연구자들로 구성된 독립 자문그룹을 설립하고 있습니다. 다만 그에 앞서, 새로운 내부 모델이 단 한 달의 훈련 만에 100개가 넘는 오랜 수학 난제를 해결했다는 사실을 모두에게 알렸습니다.

OpenAI에 따르면 새 내부 모델은 나비에-스토크스 밀레니엄 난제에 더해 수학의 대부분 영역에서 100개 이상의 오랜 미해결 문제를 풀었습니다. 회사는 새로운 수학 자문그룹 발표와 함께 이러한 주장을 공개했습니다. OpenAI에 따르면 훈련은 8월 28일에야 시작되어 전체 과정이 약 한 달에 불과했습니다. 회사 소속 수학자들조차 이 속도에 "놀랐"으며, 내부 논의는 학계에 충분한 예고를 주고 준비할 시간을 확보하는 방안으로 옮겨갔습니다.

해결된 문제 중에는 두 번째 밀레니엄 난제인 호지 추측도 포함된 것으로 알려졌습니다. 하지만 모델이 실제로 어떤 문제를 어떻게 풀었는지, 그 결과가 수학과 과학에 어떤 의미를 갖는지는 여전히 미지수입니다. 공개된 나비에-스토크스 해법은 이미 과학계 일부에서 뜨거운 논쟁을 촉발했습니다.

이 모든 것은 방향 전환처럼 보입니다. 수석 과학자 야쿠프 파초츠키는 최근 팀이 의도적으로 수학에 최적화하지 않고 재귀적 자기 개선에 집중해왔다고 말했습니다. 회의론자들은 유명 수학 문제 해결에 대한 홍보가 투자자들을 붙잡고 새 투자자를 유치하기 위한 전략으로 읽을 수도 있습니다. 특히 OpenAI는 앤스로픽 연구자들이 부분적으로 포함된 다른 팀이 이미 나비에-스토크스 문제를 풀었다는 소문을 듣고서야 밀레니엄 난제에 도전했다고 인정한 바 있습니다.

문제를 푸는 것은 이해하는 것과 다르다

OpenAI의 발표는 수학자들의 비판에 대한 직접적인 대응입니다. 공개 서한 "수학에서 AI의 심각한 정렬 부실(A Severe Misalignment of AI in Mathematics)"에서 수학자들은 AI 성능을 풀 수 있는 미해결 문제의 수로 측정하는 것을 경고했습니다. 그들은 해답을 쏟아내는 것이 수학의 본질인 개념적 이해를 훼손하고, 궁극적으로 인간 지성을 위협한다고 주장합니다.

OpenAI는 현재 수학자들과 협력하고 있으며, 이들은 프린스턴 고등연구소(Institute for Advanced Study)에 기반을 둔 '수학 및 인공지능 자문그룹'을 구성했습니다. 이 그룹은 회사와 수학계, 그리고 일반 대중을 연결하는 역할을 합니다. 회사는 수학의 획기적 발전이 광범위한 실용적 활용으로 이어질 수 있어 책임 있는 개발이 학계를 넘어선 중요한 문제이기 때문에 이런 지도가 필요하다고 주장합니다. OpenAI는 이 협력을 "첫걸음"이라 부르며, "AI가 수학적 이해를 어떻게 지원할 수 있을지, 이러한 능력의 혜택을 어떻게 더 넓은 공동체에 전달할 수 있을지에 대한 어려운 질문"이 많이 남아 있다고 밝혔습니다.

OpenAI는 연구 속도에 대한 통제권을 유지

OpenAI에 따르면 이 그룹은 독립적으로 운영됩니다. 그룹 구성원은 요청 없이도 자문을 제공할 수 있고, 회사가 수학에 미치는 영향에 대해 공개적으로 발언할 수 있으며, 자신들의 권고를 발행할 수 있습니다. OpenAI는 그들에게 보수를 지급하지 않으며, 그룹 참여자 선정도 스스로 결정할 수 있습니다.

하지만 이 그룹은 OpenAI가 얼마나 빨리 움직이는지 통제할 수 없습니다. "중요하게도, 이 그룹은 우리의 수학 관련 내부 연구 진행 속도에 대한 자문을 담당하지 않습니다.

원문 보기
원문 보기 (영어)
OpenAI says its internal model solved over 100 long-standing math problems after just a month of training Matthias Bastian View the LinkedIn Profile of Matthias Bastian Sep 22, 2026 OpenAI Key Points OpenAI says a new internal model solved more than 100 long-standing math problems after just a month of training. Mathematicians warn that AI-generated solutions could undermine conceptual understanding. In response, OpenAI is backing an independent advisory group at the Institute for Advanced Study. The group includes Fields Medalist Timothy Gowers and will advise on how OpenAI shares results with researchers and the public. But OpenAI has excluded the pace of its research from the group's advisory role. Ask about this article… Search Facing growing criticism from mathematicians, OpenAI is setting up an independent advisory group of leading researchers in the field. But not before letting everyone know that a new internal model knocked out more than 100 long-standing math problems after just a month of training. OpenAI says a new internal model has solved more than 100 long-standing problems across most areas of mathematics, on top of the Navier-Stokes Millennium Problem . The company dropped the claim while announcing a new math advisory group. According to OpenAI , training only kicked off on August 28, putting the entire run at about a month. Even the company's own mathematicians were "surprised" by how fast things moved, and internal conversations have shifted to how to give the academic community enough warning to prepare. Among the solved problems is reportedly a second Millennium Prize Problem, the Hodge conjecture . Ad Which problems the model actually solved, how it solved them, and what the results mean for math and science remain open questions. The published Navier-Stokes solution has already sparked heated debate in parts of the scientific community. Ad The whole thing seems like a pivot. Chief Scientist Jakub Pachocki recently said the team had deliberately chosen not to optimize for math and was focused on recursive self-improvement instead. Skeptics might read the publicity around solving famous math problems as a ploy to keep investors on board and attract new ones, especially since OpenAI admitted it only took on the Millennium Prize Problem after hearing rumors that another team, partly made up of Anthropic researchers, had already cracked it . Solving problems isn't the same as understanding them OpenAI's announcement is a direct response to criticism from mathematicians. In the open letter "A Severe Misalignment of AI in Mathematics," they warn against measuring AI performance by how many open problems it can solve. Churning out solutions, they argue, undermines conceptual understanding, which is the whole point of mathematics, and ultimately threatens human intellect. Ad OpenAI says it's now working with mathematicians who have formed the Advisory Group on Mathematics and Artificial Intelligence , based at the Institute for Advanced Study . The group is meant to connect the company with the math community and the broader public. The company argues it needs this kind of guidance because math breakthroughs can have far-reaching practical uses, which makes responsible development a concern well beyond the field itself. OpenAI calls the collaboration a "first step," with plenty of " difficult questions ahead about how AI can support mathematical understanding and how the benefits of these capabilities can reach the wider community." Ad OpenAI keeps control over the pace of research OpenAI says the group will operate independently. Members can offer advice without being asked, speak publicly about the company's influence on mathematics, and publish their recommendations. OpenAI doesn't pay them, and they can decide who joins the group. Ad But the group is not allowed to control on how fast OpenAI moves. "Importantly, the group will not be responsible for advising us on how to pace our internal progress on mathematics," the company writes. The group gets a say in how results are shared, not whether or how fast they're produced. Gowers joins the group but won't sign the letter One of the group's founding members is Timothy Gowers, the prominent mathematician and Fields Medalist. He didn't sign the open letter from the 25 Fields Medalists and laid out his reasoning on his blog . Gowers agrees with much of the letter and thinks mathematics is in trouble. Where he parts ways is on what math is actually for. The letter treats conceptual understanding as the main goal, with problem-solving just a means to get there. Gowers sees a spectrum: "At one end of the spectrum you have mathematicians who are primarily motivated by the wish to solve problems, who see conceptual understanding as a very important means to that end. At the other you have mathematicians who are primarily motivated by the wish to attain conceptual understanding, who see problem-solving as a very important means to that end." His own research project on automated theorem proving at Cambridge lost its reason for existing once large language models (LLMs) got good enough, Gower says. "To put it another way, we have had to swallow the bitter lesson (which of course we were always aware was a distinct possibility, even if the speed at which it happened has taken us by surprise)." The real risk is that nobody will want to become a mathematician What worries Gowers most is that the social structures holding mathematical knowledge together could collapse, he says. People who might once have pursued a Ph.D. and become "custodians of the mathematical tradition" may simply decide it's not worth it anymore. "Speaking for myself, my main motivation for becoming a mathematician was the dream that I would solve unsolved problems — the more famous the better." Take away that dream, and it's not clear what fills the gap. There's also the funding question. Policymakers could look at AI-powered math and decide human mathematicians are redundant. "We urgently need to come up with good ways of explaining the value of having a large pool of human mathematical experts, even if it is no longer part of their role to find new proofs of theorems," Gowers writes. He also didn't sign the letter because he couldn't figure out what it was asking for that wasn't already happening. LLMs that can tackle major math problems will be publicly available within months, he expects. "So I felt that there was nothing to be gained from criticizing AI companies for generating too many solutions too quickly." AI News Without the Hype – Curated by Humans Subscribe to THE DECODER for ad-free reading, a weekly AI newsletter, our exclusive "AI Radar" frontier report six times a year, full archive access, and access to our comment section. Subscribe now Source: OpenAI
관련 소식