오픈AI의 AI 솔버가 수십 년간 풀리지 않았던 수학 난제를 해결하며 기하학적 추측을 반박했다
수학계에 획기적인 성과가 탄생했습니다. 오픈AI(OpenAI)는 최근 자사의 최신 내부 추론 모델이 독창적인 수학적 증명을 성공적으로 도출해냈으며, 이를 통해 저명한 수학자 폴 에르되시가 1946년에 처음 제안한 ‘단위 거리 추측’을 공식적으로 반증했다고 발표했습니다. 이번 성과는 인공지능이 정교한 장쇄 추론을 통해 순수 수학 분야의 미해결 문제를 독자적으로 해결한 최초의 사례입니다.

단순 검색을 넘어: 독립적인 전문가 검증
특히 주목할 점은 불과 7개월 전, OpenAI가 여러 에르되스 문제를 해결했다고 주장했을 때 "문헌에서 기존 답안을 검색했을 뿐"이며 진정한 독창성이 부족하다는 학계의 비판을 받았다는 사실이다. 이러한 경험을 교훈 삼아, 회사는 토마스 블룸을 비롯한 국제적으로 저명한 수학자들로 구성된 패널을 적극적으로 초청해 독립적인 검증을 요청했다. 그 결과, 이 증명의 엄밀성은 다수의 전문가들로부터 명백한 지지를 얻었다.
역사적으로 AI의 수학 분야 성과는 대부분 인류에게 이미 알려진 정리를 재증명하는 데 국한되어 있었다. 그러나 이 추론 모델은 거의 80년 동안 유지되어 온 수학적 이해에 근본적인 도전을 제기했다. 수학자들은 일반적으로 이 추측의 최적 해가 격자 모양의 배열과 유사할 것이라고 가정해 왔다. OpenAI의 모델은 이러한 경로에서 벗어나, 더 뛰어난 성능을 보여주는 새로운 구성 방법을 독자적으로 발견해냈다.
환각 현상 극복: 최첨단 과학에 대한 시사점
기술적 관점에서 볼 때, 이러한 성격의 미해결 수학 문제를 해결하는 것은 AI의 논리적 일관성에 엄격한 요구를 부과한다. 수학적 증명은 수많은 복잡한 연역적 단계를 수반하며, 단 하나의 오류만으로도 전체 연쇄가 무효화될 수 있다. 이번 성공은 해당 모델이 기존 대규모 언어 모델에 만연한 '환각' 문제를 상당 부분 극복했음을 시사한다.
일부 학자들은 이 증명이 포괄적인 동료 검토를 위해 더 많은 시간이 필요하다고 지적하지만, 그 잠재적인 파급 효과는 이미 상당한 주목을 받고 있다. 단위 거리 추측은 조합 기하학과 그래프 이론과 깊이 연관되어 있다. 이 획기적인 성과는 생물학의 단백질 접힘, 재료 과학의 결정 구조 분석, 의약품 분자의 설계 및 최적화 등 다양한 분야의 향후 연구에 직접적인 영향을 미칠 것으로 예상된다.
관련 기사
신형 로웨 i6, 65만 9천 위안 가격으로 출시… 스냅드래곤 8155 및 두바오 대형 모델 탑재
SAIC Roewe는 오늘 Roewe D7의 디자인 언어를 전면적으로 반영한 소형 세단인 신형 Roewe i6를 출시했다. 전면부를 가로지르는 독특한 대형 수직 그릴과 수평형 헤일로 라이트 바는 강력한 기술적 감각과 시각적 폭감을 선사한다. 후면부에는 위로 솟은 덕테일 스포일러가 전면 폭을 가득 채우는 테일라이트와 조화를 이루어 차량 전체에 더욱 젊은 느낌
자산, 건물, 그리고 건강을 어떻게 보호할 수 있을까요?
예측할 수 없는 세상에서 ‘보호’는 단순한 선택지가 아닌 전략적 필수 요소가 되었습니다. 재정을 지키든, 건물을 보강하든, 아니면 개인의 건강에 신경 쓰든, 장기적인 안정은 선제적인 계획에 달려 있습니다. 진정한 안전은 다층적으로 구축되며, 재정 관리, 구조적 복원력, 그리고 정보에 입각한 건강 관리가 서로 조화를 이루어야 비로소 실현됩니다.가장 소중한 것
AI 브라우저 ‘코멧(Comet)’, 아이패드에서 완벽한 멀티태스킹 지원 기능으로 출시
퍼플렉시티(Perplexity)의 AI 브라우저 ‘코멧(Comet)’이 iPadOS와 완벽하게 호환되는 iPad 버전을 정식 출시했습니다. 이번 업데이트를 통해 멀티 윈도우 브라우징과 멀티태스킹 지원 기능이 추가되었으며, OpenAI 및 Anthropic과 같은 주요 AI 모델과의 긴밀한 연동을 통해 더욱 지능적인 웹 경험을 제공합니다.코멧 브라우저는 사용
관련 특별 주제 추천
의견 (0)
0/500
수학계에 획기적인 성과가 탄생했습니다. 오픈AI(OpenAI)는 최근 자사의 최신 내부 추론 모델이 독창적인 수학적 증명을 성공적으로 도출해냈으며, 이를 통해 저명한 수학자 폴 에르되시가 1946년에 처음 제안한 ‘단위 거리 추측’을 공식적으로 반증했다고 발표했습니다. 이번 성과는 인공지능이 정교한 장쇄 추론을 통해 순수 수학 분야의 미해결 문제를 독자적으로 해결한 최초의 사례입니다.

단순 검색을 넘어: 독립적인 전문가 검증
특히 주목할 점은 불과 7개월 전, OpenAI가 여러 에르되스 문제를 해결했다고 주장했을 때 "문헌에서 기존 답안을 검색했을 뿐"이며 진정한 독창성이 부족하다는 학계의 비판을 받았다는 사실이다. 이러한 경험을 교훈 삼아, 회사는 토마스 블룸을 비롯한 국제적으로 저명한 수학자들로 구성된 패널을 적극적으로 초청해 독립적인 검증을 요청했다. 그 결과, 이 증명의 엄밀성은 다수의 전문가들로부터 명백한 지지를 얻었다.
역사적으로 AI의 수학 분야 성과는 대부분 인류에게 이미 알려진 정리를 재증명하는 데 국한되어 있었다. 그러나 이 추론 모델은 거의 80년 동안 유지되어 온 수학적 이해에 근본적인 도전을 제기했다. 수학자들은 일반적으로 이 추측의 최적 해가 격자 모양의 배열과 유사할 것이라고 가정해 왔다. OpenAI의 모델은 이러한 경로에서 벗어나, 더 뛰어난 성능을 보여주는 새로운 구성 방법을 독자적으로 발견해냈다.
환각 현상 극복: 최첨단 과학에 대한 시사점
기술적 관점에서 볼 때, 이러한 성격의 미해결 수학 문제를 해결하는 것은 AI의 논리적 일관성에 엄격한 요구를 부과한다. 수학적 증명은 수많은 복잡한 연역적 단계를 수반하며, 단 하나의 오류만으로도 전체 연쇄가 무효화될 수 있다. 이번 성공은 해당 모델이 기존 대규모 언어 모델에 만연한 '환각' 문제를 상당 부분 극복했음을 시사한다.
일부 학자들은 이 증명이 포괄적인 동료 검토를 위해 더 많은 시간이 필요하다고 지적하지만, 그 잠재적인 파급 효과는 이미 상당한 주목을 받고 있다. 단위 거리 추측은 조합 기하학과 그래프 이론과 깊이 연관되어 있다. 이 획기적인 성과는 생물학의 단백질 접힘, 재료 과학의 결정 구조 분석, 의약품 분자의 설계 및 최적화 등 다양한 분야의 향후 연구에 직접적인 영향을 미칠 것으로 예상된다.
신형 로웨 i6, 65만 9천 위안 가격으로 출시… 스냅드래곤 8155 및 두바오 대형 모델 탑재
SAIC Roewe는 오늘 Roewe D7의 디자인 언어를 전면적으로 반영한 소형 세단인 신형 Roewe i6를 출시했다. 전면부를 가로지르는 독특한 대형 수직 그릴과 수평형 헤일로 라이트 바는 강력한 기술적 감각과 시각적 폭감을 선사한다. 후면부에는 위로 솟은 덕테일 스포일러가 전면 폭을 가득 채우는 테일라이트와 조화를 이루어 차량 전체에 더욱 젊은 느낌
자산, 건물, 그리고 건강을 어떻게 보호할 수 있을까요?
예측할 수 없는 세상에서 ‘보호’는 단순한 선택지가 아닌 전략적 필수 요소가 되었습니다. 재정을 지키든, 건물을 보강하든, 아니면 개인의 건강에 신경 쓰든, 장기적인 안정은 선제적인 계획에 달려 있습니다. 진정한 안전은 다층적으로 구축되며, 재정 관리, 구조적 복원력, 그리고 정보에 입각한 건강 관리가 서로 조화를 이루어야 비로소 실현됩니다.가장 소중한 것
AI 브라우저 ‘코멧(Comet)’, 아이패드에서 완벽한 멀티태스킹 지원 기능으로 출시
퍼플렉시티(Perplexity)의 AI 브라우저 ‘코멧(Comet)’이 iPadOS와 완벽하게 호환되는 iPad 버전을 정식 출시했습니다. 이번 업데이트를 통해 멀티 윈도우 브라우징과 멀티태스킹 지원 기능이 추가되었으며, OpenAI 및 Anthropic과 같은 주요 AI 모델과의 긴밀한 연동을 통해 더욱 지능적인 웹 경험을 제공합니다.코멧 브라우저는 사용





집






