이 수학계의 대표적인 난제인 ‘밀레니엄 문제’ 중 하나를 해결했다는 주장이 나왔다. 오픈 AI는 내부 차세대 모델을 통해 밀레니엄 문제 중 하나인...'))
인공지능(AI)이 수학계의 대표적인 난제인 ‘밀레니엄 문제’ 중 하나를 해결했다는 주장이 나왔다.
오픈 AI는 내부 차세대 모델을 통해 밀레니엄 문제 중 하나인 나비에-스토크스 방정식의 해를 구했다고 9일 밝혔다.
나비에-스토크스 방정식은 액체와 기체 등 유체의 움직임을 설명하는 미분 방정식으로 뉴턴의 운동 제2 법칙을 유체에 적용한 것으로 기상 예측과 항공기 설계, 혈류 역학 등에 사용된다.
현재는 근사치를 구해 사용하고 있으나 수학적으로는 3차원 공간에서 이 방정식의 ‘매끄러운’ 해가 항상 존재하는지는 증명되지 않았다.
오픈 AI는 유체가 소용돌이치며 압축되다가 유한한 시간 안에 속도가 무한대로 도달하는 반례를 유도해 방정식의 해가 항상 매끄럽게 유지되지 않는다는 점을 증명했다고 밝혔다.
[관련 기사]
- 공시가 5위 이태원 대저택 경매…최저입찰가 233억원
2026-05-18
- 이명희 신세계 회장 한남동 자택, 11년 연속 공시가 1위
2025-12-17
- [스카이 View] 약사 갑질과 일양약품 복종
2025-03-19
- DL이앤씨, 석 달 만에 또 수장 교체 ‘초강수’
2024-08-15
- [기업경영 기상도 ⑯DL이앤씨] 매출·수주 증가에도… 영업익 ‘곤두박질’
2024-02-26
- DL그룹 이해욱 회장 연말 임직원 사회공헌 활동 독려
2023-12-28
[관련 기사]
- SPC 논란 속 3세 승진… 재계 전반으로 번진 ‘세대 교체 흐름’
2025-11-27
- SPC, 파리크라상 물적분할 추진… 지주사 전환·승계 작업 암시
2025-11-25
- [SPC의 두 얼굴] ① 쿠폰 수수료 말만 분담… 파리바게뜨, 실제 부담은?
2024-08-08
- 허영인 회장, Again 포켓몬 빵 돌풍… 맛과 행복 위해 Only 빵빵빵
2022-03-22
- 마약·배임 품고 300억 재력 나누고 ‘허영인의 가족사랑’
2019-07-24
- 쉑쉑버거 SPC 허희수, 집행유예 실형 면해
2018-09-21
[관련 기사]
- 최태원 이혼 소송 파기환송… 노태우 비자금 인정 안 했다
2025-10-16
- 최태원 회장 “차별화된 AI 경쟁력 만들어야”
2025-08-21
- SK그룹 “경영의 본질로 돌아가 신뢰 회복”
2025-06-15
- 최태원 “곧 다가올 AI 대확장 기회”
2024-11-03
[관련 기사]
- 백종원, 요새 뭐하나 했더니… ‘상주곶감축제’ 빼꼼
2026-01-28
- 백종원 “국감 불출석, 글로벌 협약 일정 때문”… 해외서 K-푸드 행보
2025-10-29
- 쿠팡·무신사·홈플러스 등 국감 줄소환… 플랫폼 수수료·노동 문제 ‘도마 위’
2025-10-12
- 더본코리아, 상장 후 최저가 추락… 실적 악화·이미지 타격에 삼중고
2025-08-25
- 더본코리아, 가맹점주 ‘월세 카드 결제 서비스’ 도입
2025-07-29
[관련 기사]
오픈 AI의 주장이 사실이라면 시뮬레이션 프로그램이 제대로 작동하지 않거나 현실과 다른 결과를 내는 현상을 피하는 ‘수학적 우회로’를 만들어 더 안전한 비행기 설계나 정확한 태풍 경로 예측이 가능해진다.
이에 더해 인간이 수십 년 동안 해결하지 못했던 문제를 AI가 해결하면서 더 많은 문제들을 해결할 수 있을 것으로 기대된다.
다만 이번 증명은 유체에 일정한 외력을 계속 가해주는 조건 하에서 이뤄졌기 때문에 외부 영향이 완전히 없는 자연 상태에서의 증명은 아니기 때문에 나비에-스토크스 방정식을 완전히 해결한 것은 아니다.
또한 기계 검증은 통과했으나 증명 과정이 방대하기 때문에 인간 수학자들이 이를 읽고 검증하는 데에는 시간이 걸릴 전망이다.
이번 증명이 ‘새치기’ 증명이라는 주장도 나온다. 트리스탄 벅마스터 뉴욕대 교수와 레벤트 알푀게 앤트로픽 연구팀이 이미 LLM을 활용해 유사한 방식으로 증명을 끝내가던 시점에서 오픈 AI가 막대한 자본과 리소스를 쏟아부어 강탈했다는 것이다.
최근 AI 문제점 중 하나로 꼽히는 토큰 비용 문제도 지적된다. 미국 외신 ‘뉴사이언티스트’에 따르면 오픈 AI는 나비에-스토크스 방정식을 증명하는 데에 약 1300억 개의 토큰을 소비한 것으로 알려졌다.
오픈 AI가 이번 증명을 위해 사용한 컴퓨팅 비용은 1500만 달러(약 201억 원)에서 3000만 달러(약 400억 원)에 달하는 비용을 사용한 것으로 알려졌다.
이에 따라 실생활에서 AI가 결과를 내더라도 비용만큼의 성과를 낼 수 있을지에 대한 논란이 계속될 전망이다.
후원하기
이 기사에 대해 어떻게 생각하시나요?
추천해요
좋아요
감동이에요
화나요
슬퍼요
추천해요0
좋아요0
감동이에요0
화나요0
슬퍼요0
기사제보 
