OpenAI가 새 내부 모델이 약 한 달간의 훈련만으로 나비에-스토크스 밀레니엄 난제를 포함해 100개 이상의 오랜 수학 미해결 문제를 풀었다고 발표했습니다. 수학자들의 비판에 대응해 OpenAI는 프린스턴 고등연구소에 팀시 가워스 등이 참여한 독립 자문그룹을 구성했지만, 연구 속도 조절 권한은 그룹에 부여하지 않아 논란이 남습니다.
OpenAI가 클레이 수학연구소의 100만 달러 상금이 걸린 나비에-스톡스 문제를 풀었다고 주장했지만, 많은 전문가들은 이 증명이 외부 힘이 포함된 변형 문제를 푼 것일 뿐 수학자들이 실제로 관심을 두는 순수한 원래 문제와는 무관하다고 지적합니다. 세 수학자가 OpenAI의 방법으로는 완전한 문제를 풀 수 없음을 증명하며, 이 '허점'은 근본적으로 새로운 아이디어 없이는 닫힐 수 없다는 논란이 커지고 있습니다.
OpenAI가 프린스턴 고등연구소(IAS)에 '수학과 인공지능 자문그룹'을 설립하고, 내부 AI 모델이 내비에-스토크스 밀레니엄 난제를 포함해 100개 이상의 미해결 수학 문제를 해결했다고 발표했습니다. 이에 앞서 필즈상 수상자 25명은 AI 실험실들의 과속 경쟁이 수학자들의 지적 노동을 위협한다는 공개 서한을 낸 바 있어, 이번 자문그룹이 실질적 독립성을 갖출지 주목됩니다.
수학자 트리스탄 벅마스터는 OpenAI가 자신의 연구를 활용해 100만 달러 현상금이 걸린 나비에-스토크스 문제를 먼저 풀었다고 주장하면서도, 여전히 OpenAI의 모델을 연구에 사용하고 있다. 수학자들은 자신의 업적이 AI에 귀속되지 않는 문제를 지적하지만, AI가 너무 유용해서 사용을 중단할 수 없다는 딜레마에 빠졌다. 이는 학문 연구에서 공로 인정과 검증 가능성이라는 전통적 표준이 AI로 인해 무너지고 있음을 보여준다.
2004년 제안된 '샌드위치 추측'이 2025년 세 수학자에 의해 완전히 증명되었습니다. 이는 복잡한 무작위 정규 그래프를 두 개의 단순한 이항 그래프 사이에 끼워 넣어, 분석하기 어려운 정규 그래프의 여러 중요한 성질을 이항 그래프로부터 '공짜로' 얻을 수 있게 해주는 결과입니다. 복잡 네트워크 이해에 새로운 도구를 제공한다는 점에서 그래프 이론과 컴퓨터 과학 분야에서 중요한 의미를 갖습니다.
필즈상 수상자 마르틴 하이러, 페터 숄체 등을 포함한 42명의 저명한 수학자들이 왕립학회에 공개 서한을 보내 AI의 실존적 위험이 현실적이고 시급하다고 경고했다. 이들은 OpenAI와 Anthropic의 최신 모델이 3개월 만에 밀레니엄 문제를 포함한 미해결 연구 문제들을 풀어냈으며, 사이버보안·자율 무기·생화학 물질 개발 등 다른 분야에서도 유사한 속도로 능력이 향상될 것으로 가정해야 한다고 지적했다.
필즈 메달 수상자 25명을 포함한 약 5천 명의 수학자들이 '수학에서의 AI 심각한 부정렬' 선언에 서명했습니다. 핵심 우려는 AI가 어려운 문제를 풀 수 있게 되면서, 문제 해결이 수학의 진짜 목표인 개념적 이해와 통찰을 담보하는 대리 지표로만 기능하게 되었다는 점입니다. 저자는 이를 단순한 '자동화 반발'로 치부하기보다, 다른 분야에도 적용 가능한 통찰로 볼 수 있다고 주장합니다.
필즈 메달 수상자 25명이 '수학 분야 AI의 심각한 정렬 오류'라는 성명을 발표하며 AI 기업의 목표가 수학 공동체의 목표와 심각하게 어긋난다고 비판했다. 그러나 저자는 수학 공동체 자체도 '개념적 이해와 통찰'이라는 목표와 정렬되어 있지 않다고 반박하며, 나비에-스토크스 문제와 관련된 유능한 수학자들이 역사적으로 어떻게 학계로부터 보호받지 못했는지를 사례로 든다.
수학계 최고 영예인 필즈상 수상자 25인이 공동 성명을 통해 AI 산업과 수학의 목표가 '심각하게 어긋나 있다'고 경고했습니다. 그들은 AI로 문제를 대량 해결하는 것이 수학의 진정한 목표인 개념적 이해와 통찰을 훼손한다고 지적하며, 이는 지적 노동 전반에 대한 광범위한 위협의 증상이라고 주장했습니다.
필즈 메달 수상자 25명이 공개 서한을 통해 AI实验室들의 유명 수학 문제 해결 경쟁이 수학자들의 지적 노동을 위협한다고 주장했습니다. OpenAI는 협업자 표기를 막았다는 NYU 교수의 폭로와 칼텍 행사 후원 철회 등 논란에 휘말렸으며, 서한은 검증 불가능한 AI 증명이 공개 연구 문화를 훼손하고 비밀주의를 부추길 수 있다고 경고합니다.
수학자들이 AI 기업의 수학 문제 풀이 경쟁을 비판하며 나섰습니다. LLM의 수학 능력이 비약적으로 향상되었지만, 문제 풀이는 개념적 이해라는 본래 목적을 위한 도구일 뿐인데 AI 기업들은 벤치마크 성과에만 몰두해 수학 공동체의 가치와 심각하게 어긋난다는 지적입니다. 이는 학생과 아이디어를 보살피는 지식 노동 전반에 대한 위협이기도 합니다.
OpenAI의 GPT-6 Astra가 미해결 수학 문제 벤치마크 ErdosBench에서 1위를 차지했으나, 수석 과학자 Jakub Pachocki는 수학 최적화를 의도적으로 우선하지 않았다고 밝혔다. 이는 AI 능력이 최적화하는 영역에서만 집중적으로 성장하는 '뾰족한(spiky)' 발전 경향을 시사하며, OpenAI는 재귀적 자기개선(RSI)과 자동 정렬 연구에 자원을 쏟고 있다.
OpenAI가 AI 에이전트로 미해결 수학 난제를 풀었다고 발표했지만, 솔루션에 영향을 준 연구자들을 출처 표기하지 않았다는 비난에 휩싸였습니다. 이는 AI가 수학의 최전선 문제 해결에 필수적이되 소수 빅테크만이 자원을 갖는 미래를 예고한다는 점에서 전환점이 될 수 있습니다. 또한 미국 배터리 설치가 분기 사상 최대치를 기록했고, 우크라이나 드론 데이터가 방산 분야의 새 시장을 형성하고 있습니다.
NYU의 트리스탄 벅마스터(Tristan Buckmaster) 교수는 앤스로픽(Anthropic) 소속 수학자 레벤트 알퍼지(Levent Alpöge)와 협업해 나비에-스토크스 문제 관련 세 가지 증명을 발표했습니다. 그런데 연구 진행 정보가 OpenAI에 새어나간 뒤 OpenAI가 막대한 컴퓨팅 자원을 동원해 같은 접근법으로 경쟁 증명을 시도했다는 논란이 불거졌습니다. OpenAI의 세바스티앙 부벡(Sébastian Bubeck)은 이 주장을 부인했으나, 밀레니엄 상금 문제를 둘러싼 AI 활용 연구의 윤리와 공정성 문제가 핵심 쟁점이 되었습니다.
2018년 arXiv에 발표된 이 논문은 육지에 닿지 않고 항해할 수 있는 가장 긴 직선 경로와, 반대로 큰 수역을 만나지 않고 주행할 수 있는 가장 긴 육상 직선 경로를 계산하는 방법을 다룹니다. 섬과 호수, 프랙탈 해안선 때문에 혼돈적 최적화 문제가 되며, 저자들은 분기한정법(branch-and-bound) 알고리즘으로 해결했습니다.
카오스 이론, 양자역학, 프랙탈 구조를 결합하여 새로운 양자 불확정성 원리(Fractal uncertainty principle)를 고차원으로 확장한 수학적 증명이 등장했습니다. MIT 출신 박사과정 학생이었던 알렉스 코헨(Alex Cohen)이 이끈 이 연구는 프랙탈 경로 내에서 양자 입자가 어떻게 다르게 거동하는지 규명할 수 있는 보편적인 수학적 도구를 제공한다는 점에서 큰 의의를 갖습니다.
세계적인 수학자 팀 가우어스는 최근 LLM이 비소픽 군(non-sofic group) 및 램지 수 문제와 같은 수학계의 난제들을 기어코 풀어냈지만, 아직 인간을 모든 영역에서 완전히 압도하지는 못했다고 분석합니다. 그는 LLM이 특히 '반례(counterexample)를 찾는 데' 탁월한 능력을 보이는 경향이 있음을 지적하며, 이 현상의 의미와 한계를 심도 있게 논의합니다.
앤스로픽의 아직 공개되지 않은 AI 모델이 150년 된 수학계 최대 난제 중 하나인 '리만 가설(Riemann hypothesis)'에 대한 하한선을 크게 높이는 성과를 냈습니다. 수학적 배경이 없는 직원의 단순 프롬프트 지시 하나로 AI가 60개의 하위 에이전트를 조율하여 약 1만 5천 달러의 연산 비용을 들인 끝에 650개의 접근법을 테스트하며 스스로 새로운 수학적 아이디어를 도출해 낸 것입니다. 이는 대형 언어 모델(LLM)이 단순 번역이나 요약을 넘어, 독자적인 탐구 및 코드 작성을 통해 과학적·수학적 발견을 이끌어내는 '연구 자동화 에이전트'로서의 잠재력이 입증된 중요한 사례입니다.
Anthropic의 AI 모델 Claude가 미해결 수학 난제인 리만 가설을 증명하는 데 도전했습니다. 비록 가설 전체를 완벽히 증명하지는 못했지만, 연구 과정에서 리만 제타 함수의 영점이 리만 가설을 만족하는 비율에 대한 기존 하한선을 41.6%에서 67.2%로 대폭 끌어올리는 성과를 거두며 수학적 전문가 검증까지 마쳤습니다. 이는 AI 모델의 수학적 추론 및 문제 해결 능력이 어디까지 발전했는지를 보여주는 중요한 이정표입니다.
최근 필즈상을 수상한 수학자 제이콥 치머만이 오픈AI의 AI 안전성 연구에 합류했습니다. 그는 AI 시스템의 불확실성을 통제하기 위해 수학자들의 역할이 필수적이라고 강조하며, AI 발전으로 인한 실존적 위험에 대한 냉정한 평가가 필요하다고 주장합니다.
최근 AI 모델들이 인간 수학자들을 수십 년간 괴롭혀온 미해결 수학 난제들을 잇달아 풀어내며 수학계에 큰 파장을 일으키고 있습니다. 많은 수학자가 AI를 연구 생산성을 극대화해주는 '황금기'의 도구로 받아들이는 반면, 일부는 자신의 전문성이 무너질지도 모른다는 실존적 위기를 느끼고 있습니다. 인간의 직관과 AI의 막대한 연산 능력이 결합하며 수학 연구의 패러다임 자체가 완전히 뒤바뀌는 변곡점에 다다른 것으로 평가됩니다.
유클리드 평면 위의 직선 위에 있지 않은 유한 개의 점들이 주어졌을 때, 반드시 정확히 두 점만을 지나는 직선이 존재한다는 수학 정리입니다. 미시간 주립대학교의 수학자 리로이 밀턴 켈리(Leroy Milton Kelly)는 점과 직선 사이의 최단 거리를 활용한 기발한 귀류법으로 이를 증명했습니다. 해당 글은 복잡한 기하학적 명제를 직관적이고 우아하게 증명하는 과정을 보여줍니다.
수학의 기하학적 위상 수학 분야에서 고전적인 꼬임군(Braid group)의 보라우 표현(Burau representation)이 n=4일 때 충실하다는 정리가 증명된 논문입니다. 이는 기존 학자들이 제시한 아이디어를 바탕으로 한 연구로, 꼬임군의 존스 표현(Jones representation) 역시 n=4일 때 충실하다는 중요한 결과를 도출하는 기반이 됩니다. 순수 수학 및 위상 수학 분야의 오랜 난제를 해결한 의미 있는 연구 성과입니다.
천재 수학자 테렌스 타오 교수가 AI 시대에 수학의 패러다임이 어떻게 변화하는지 다룬 발표 자료(PDF)가 해커뉴스(Hacker News)의 화제입니다. AI가 수학적 발견과 증명 과정을 어떻게 보조하여 연구 방식을 근본적으로 혁신하고 있는지 다루고 있어, 학계 및 IT 업계 종사자들에게 중요한 인사이트를 제공합니다.
수학계의 거장 테렌스 타오 교수가 AI가 생성한 '야코비안 추측(Jacobian Conjecture)'의 반례를 두고 챗GPT와 심도 있는 대화를 나누었습니다. 이는 최신 AI 모델이 단순한 텍스트 생성을 넘어, 고도의 추론과 수학적 직관이 필요한 복잡한 학술 문제를 검증하고 논의하는 수준에 도달했음을 보여줍니다. AI를 단순한 검색 도구가 아닌 수학 연구 및 발상의 전환을 돕는 강력한 지능형 협업 파트너로 활용할 수 있다는 점에서 연구자들에게 큰 의의가 있습니다.
클로드 기반 AI인 '페이블(Fable)'이 미해결 수학 난제 중 하나인 야코비안 추측(Jacobian Conjecture)을 부정하는 반례(counterexample)를 단 한 번의 트윗 안에 담아내어 큰 화제를 모으고 있습니다. 수학자 레벤트(Levent)는 페이블이 도출한 복소수 3차원 다항함수 매핑과 그 야코비 행렬식(Jacobian determinant)이 -2임을 보이는 수식을 공유하며, 오랜 난제가 AI에 의해 증명된 놀라운 순간을 전했습니다.
GPT-5.6이 단일 프롬프트를 통해 '볼록 최적화(Convex Optimization)' 분야의 30년간의 연구 격차를 단숨에 메운 사례가 공유되어 큰 화제입니다. AI가 단순한 코딩 보조를 넘어, 고도의 수학적 난제를 풀고 연구 패러다임 자체를 뒤흔드는 수준에 도달했음을 보여줍니다. 이는 AI가 향후 복잡한 과학 및 수학 연구에서 인간을 압도하는 핵심 도구로 자리매김할 수 있음을 시사합니다.
이 강연은 끈 figures(string figures)를 알고리즘 예술로 탐구하며, 땋기 군(braid groups) 이론을 새롭게 적용해 끈 알고리즘을 분석합니다. 수학적 기호 체계의 역할을 논의하고, 폐쇄된 땋기(closed braids) 이론으로 모든 끈 figure를 생성하는 원리를 설명합니다. 실제 끈을 사용한 실습을 통해 수학과 알고리즘의 직관적 이해를 돕는 것이 핵심입니다.
최근 AI가 수학적 증명과 탐구 과정에 깊이 개입하기 시작하면서, 수학자의 역할과 이 분야의 미래에 대한 근본적인 논쟁이 촉발되고 있습니다. 단순히 연산을 넘어선 AI는 수학 연구의 방식을 근본적으로 바꿀 잠재력을 지녔으며, 인간 수학자의 고뇌와 사유 과정조차 대체할 수 있을지에 대한 철학적 질문을 던지고 있습니다. 이는 단순한 기술 발전을 넘어, 학문적 본질과 인간 지성의 가치를 재정의하는 중요한 이슈입니다.
최근 선형대수학과 미적분학의 모든 문제를 해결할 수 있는 만능 수학 이론으로 주목받는 기하 대수학(GA)에 대한 비판적 글입니다. 저자는 기하 대수학이 다중벡터(multivectors)와 쐐기곱(wedge product)과 같은 유용한 개념을 제공하지만, 헤스테네스의 기하 곱(geometric product)에 대한 맹신과 종교적인 열광 현상 등 근본적인 결함을 지니고 있다고 지적합니다. 수학 발전을 위해서는 맹목적인 옹호를 멈추고 이러한 구조적 한계를 인정하고 개선하려는 노력이 필요하다고 강조합니다.