검색 결과

Navier–Stokes 밀레니엄 문제에 관하여

On the Navier–Stokes Millennium Prize Problem

OpenAI가 내부 AI 시스템으로 Navier–Stokes 방정식에서 유한 시간 내 특이점이 발생할 수 있음을 증명했다고 발표. 논문과 Lean 형식 증명을 함께 공개했으며 외부 검증이 필요한 단계.

수학 분야의 AI 진전 공유

Sharing AI progress in mathematics

OpenAI가 내부 프런티어 모델이 산출한 수학 연구 결과와 다수의 Lean 형식 증명을 GitHub에 공개. 모델 추론 요약 10건과 사용 연산량·문제 시도 통계도 함께 제공해 연구 투명성 강화.

GPT-5.6이 프롬프트를 사용해 convex optimization의 30년 격차를 메움

GPT-5.6 used a prompt to close a 30-year gap in convex optimization

GPT-5.6이 프롬프트 기반 추론으로 convex optimization 분야의 30년 난제를 해결했다고 소개됨. 수학 문제 해결에서 LLM의 잠재력과 검증 필요성이 함께 부각됨.

연구자들이 미공개 수학 연구를 OpenAI에 맡겨도 되는지를 둘러싼 추가 의문

More questions about whether researchers can trust OpenAI with unpublished math

연구자들이 미공개 수학 연구를 OpenAI 시스템에 입력할 때 기밀성과 연구 아이디어 보호를 신뢰할 수 있는지 문제 제기. 데이터 처리와 지식재산권 보호 정책의 투명성이 핵심 쟁점.

Terrence Tao의 ChatGPT 대화, Jacobian Conjecture 반례 논의

Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample

Terrence Tao가 ChatGPT와 Jacobian Conjecture 반례를 둘러싼 대화를 나눔. 수학 연구와 LLM 활용의 접점을 보여주는 사례로 주목됨.

OpenAI 모델이 이산 기하학의 핵심 추측을 반박

An OpenAI model has disproved a central conjecture in discrete geometry

OpenAI 모델이 이산 기하학의 중심 추측 하나를 반례로 뒤집음. AI 모델이 수학적 발견과 검증에서 의미 있는 결과를 낼 수 있음을 보여줌.

수학 분야에서 나타난 AI의 목표 불일치

A misalignment of AI in mathematics

수학자들이 AI 기업의 문제 풀이 중심 경쟁이 개념적 이해와 연구 공동체의 목표를 훼손할 수 있다고 경고함. 성급한 결과 발표, 출처 표시, 표절, 인간 중심의 지식 전승 문제를 시급한 과제로 제시.

Tao: AI가 비재생 방식으로 채굴하는 수학의 미해결 문제

Tao: Open math problems being non-renewably mined by AI

Terence Tao가 AI의 무차별 문제 풀이로 통찰을 낳는 유망한 미해결 문제가 희소해질 수 있다고 경고. 연구 방향 비공개를 부추겨 개방형 과학 생태계와 장기적 수학 발전을 훼손할 가능성 지적.

인간 수학자들, 반례 생성 속도에서 밀리기 시작

Human mathematicians are being outcounterexampled

AI 시스템이 수학 명제에 대한 반례를 더 빠르게 찾아내며 인간 수학자보다 우위를 보이는 사례가 늘고 있음. 정리 검증과 탐색의 병목이 인간 직관에서 자동화 도구로 이동하는 조짐이 나타남.

Fermat's Last Theorem 형식화

Formalizing Fermat's Last Theorem

Anthropic이 Claude를 활용해 Fermat's Last Theorem 증명을 형식화한 과정을 소개. 수학 정리의 기계 검증 가능성을 보여주는 연구 사례다.

AI는 수학자를 앞서 생각하는 게 아니다. 더 잘 기억할 뿐이다

AI Isn't Outthinking Mathematicians. It's Out-Remembering Them

AI의 성능을 추론력보다 방대한 패턴 기억과 재현 능력으로 해석한 글. 수학적 창의성과 일반화 한계를 함께 점검함.

Terence Tao: 수학 2.0 [PDF

Terence Tao: Math 2.0 [pdf]

] Terence Tao가 AI의 수학 연구 활용과 ‘증명 풍요’ 시대의 변화를 제시. 문제 풀이 자동화에 그치지 않고 수학적 이해와 공동체를 강화하는 AI 활용을 제안.

‘Math 2.0’은 수학적 진보를 더 총체적으로 평가해야 한다

“Math 2.0” will need to value mathematical progress more holistically

Terence Tao가 AI의 문제 풀이 자동화로 최초 해답 중심의 ‘Math 1.0’ 평가 체계가 한계에 도달했다고 지적. ‘Math 2.0’에서는 해설·공동체 형성·새 연구 방향 개척까지 수학적 진보로 평가해야 한다고 제안.

OpenAI, 수학적 연구 결과 3건 철회

OpenAI withdraws three mathematical results

OpenAI가 기존에 발표한 수학적 연구 결과 3건을 철회함. 구체적인 철회 사유와 영향은 제공된 정보에서 확인되지 않음.

GPT-5.6 Sol Ultra가 Cycle Double Cover Conjecture의 증명을 생성

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

GPT-5.6 Sol Ultra가 Cycle Double Cover Conjecture에 대한 증명을 만들어냈다고 소개됨. 수학적 정리 증명에서 AI의 추론 능력과 검증 가능성이 다시 부각됨.

Simons Foundation, 수학자들의 AI 시대 대응을 위한 1,500만 달러 지원 사업 출범

Simons Foundation launches $15M effort to help mathematicians navigate AI era

Simons Foundation이 수학자들의 AI 시대 대응을 지원하기 위해 1,500만 달러 규모의 사업을 시작함. 수학 연구와 교육에서 AI 활용에 필요한 지원을 추진함.

Navier–Stokes 밀레니엄상 문제

The Navier–Stokes Millennium Prize Problem

OpenAI가 미공개 모델로 Navier–Stokes 존재성과 매끄러움 문제의 해법을 도출하고 Lean 검증을 수행했다고 발표. 유사 접근법을 먼저 연구하던 수학자들이 정보 유출 가능성과 연구 기여 인정 문제를 제기.

Navier-Stokes – Tristan Buckmaster [PDF

Navier-Stokes – Tristan Buckmaster [pdf]

] Tristan Buckmaster와 Levent Alpöge가 LLM과 Lean 검증을 활용해 강제력이 있는 Euler·Boussinesq 방정식 등의 유한시간 폭발 결과를 도출했다고 발표. 저자들은 hypo-dissipative Navier-Stokes 결과도 확보했다고 보지만 Lean 검증이 완료되지 않아 논문 공개를 보류.

이제 인간 수학자가 왜 필요한가

Why do we need human mathematicians anymore?

Po-Shen Loh가 AI 시대에도 수학을 비롯한 전문 분야를 인간 중심으로 유지해야 한다고 주장. 인류의 번영을 우선하는 원칙을 채택하면 새로운 인간 업무가 대규모로 생겨 AI 발전 속도에도 제약이 걸릴 수 있다고 전망.

바이브 코딩으로 Conway의 추측을 증명했다

I vibed a proof of Conway's conjecture

AI를 활용해 Conway의 추측에 대한 증명을 탐색하고 완성한 과정을 정리. 수학적 아이디어 검증과 증명 작성에서 AI 협업의 가능성과 한계를 다룸.

내가 Fields Medal 수상자들의 서한에 서명하지 않은 이유

Why I didn’t sign the Fields medallists’ letter

Timothy Gowers가 AI의 수학 문제 해결이 초래할 위기에는 동의하면서도, 개념적 이해를 문제 해결보다 우선시하는 서한의 관점에는 이견을 제시. 핵심 위험으로 결과의 양산보다 인간 수학자의 동기 약화와 수학 전통을 계승할 인력 감소를 지목.

AI 시대의 수학

Mathematics in the age of AI

AI 확산이 수학의 역할과 학습 방식에 미치는 영향을 다룬 논의. 자동화가 계산보다 개념 이해와 증명 역량의 가치를 더 부각시킴.

OpenAI의 Navier-Stokes 연구에 Lean 4 형식 증명 포함

OpenAI’s Navier-Stokes release included a Lean 4 formal proof

OpenAI가 Navier-Stokes 방정식 관련 연구와 함께 기계 검증 가능한 Lean 4 형식 증명을 공개. 기존에 막대한 수작업이 필요했던 수학 증명 형식화의 비용과 시간을 AI가 크게 낮출 가능성 제시.

데이터 사이언스의 수학

Mathematics of Data Science

데이터 사이언스를 지탱하는 수학적 기초를 정리한 논문. 통계, 최적화, 선형대수 같은 핵심 도구의 역할을 다룬다.

수학 이후

After Math

AI가 난제를 해결하더라도 형식적으로 인증된 답만으로는 인간이 이해하고 활용할 수 있는 수학적 증명이 완성되지 않는다는 논지. 수학은 문제 해결뿐 아니라 개념 형성, 이해와 지식 확장까지 포함하므로 AI의 성취가 수학의 종말을 뜻하지 않는다고 주장.

Maxwell 추측은 거짓이다 (GPT 5.6 풀이)

The Maxwell Conjecture Is False (GPT 5.6 Sol)

GPT 5.6 풀이를 계기로 Maxwell 추측이 거짓임을 다룬 arXiv 논문 소개. 수학적 추측의 반례 또는 증명 구조를 통해 기존 가설을 반박하는 내용임.

수학과 Artificial Intelligence 자문 그룹

The Advisory Group on Mathematics and Artificial Intelligence

수학과 AI의 접점에서 기회와 위험을 검토하는 자문 그룹을 소개. AI가 수학 연구와 교육에 미치는 영향을 논의.

왜 Erdős 문제들이 AI에 의해 풀리고 있는가

Why Erdős Problems Are Falling to AI

수학자 Erdős의 난제들이 AI 추론 능력 향상으로 해결되고 있음. 자동 증명 기술이 수학계에 영향.

20개의 Erdős 문제를 20개의 Codex 계정으로 병렬 해결하기

Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel

20개의 Codex 계정을 병렬로 돌려 20개의 Erdős 문제를 푼 사례. 다중 에이전트 방식과 병렬 추론의 활용 가능성을 보여줌.

수학이 곧 콘서바토리로 들어가나?

Is mathematics about to enter the conservatory?

Claude와 Codex 보조로 수학 정리가 증명된 사례를 계기로, 연구수학이 문화기관처럼 재편될 수 있다는 논의가 제기됨. AI가 증명 세부와 문서화를 맡는 시대에 인간 연구자의 역할과 지원 구조가 흔들린다는 문제의식이 핵심임.

OpenAI가 더 빠르다고 주장한 Fourier 변환의 수학 살펴보기

A look at the math that OpenAI claims computes faster Fourier transforms

OpenAI가 더 빠른 Fourier 변환을 계산한다고 주장한 기법의 수학적 원리를 분석함. 해당 접근의 계산 효율성과 주장 근거를 검토함.

애도할 것인가, 애도하지 않을 것인가?

To grieve, or not to grieve?

AI가 난도 높은 수학 문제를 해결하기 시작하면서 수학계가 부정·분노·협상·우울 등 상반된 반응을 보이는 현상을 분석. 인간의 수학적 이해와 AI 생성 증명의 역할을 함께 고찰.

Terence Tao: AI 시대의 수학 [pdf

Terence Tao: Mathematics in the Age of AI [pdf]

] Terence Tao가 AI 시대 수학의 변화와 연구·교육에 미칠 영향을 정리한 발표 자료. AI 도구가 수학 작업 흐름을 바꾸는 지점을 다룬다.

수학 대재앙

The Mathocalypse

AI 발전이 수학 연구와 증명 방식에 미칠 파급 효과를 고찰. 자동화된 추론이 수학자의 역할과 연구 생태계를 바꿀 가능성을 논의.

수학자들, AI가 빠르게 영향력을 넓히자 경고

Mathematicians issue warning as AI rapidly gains ground

AI의 급속한 확산이 수학 연구와 교육 환경에 미치는 영향에 대해 수학자들이 우려를 제기함. 검증, 해석, 연구 역량 저하 가능성이 쟁점으로 떠오름.

Artificial Intelligence and Mathematics에 관한 Leiden Declaration

Leiden Declaration on Artificial Intelligence and Mathematics

수학 분야에서 AI 활용과 한계를 다루는 선언문. AI를 연구 도구로 쓰는 원칙과 책임 있는 사용 기준을 제시함.

11개 정사각형 최적 배치에 대한 AI 보조 증명

AI-assisted proof of optimal packing for 11 squares

11개 정사각형의 최적 배치 문제에 대한 AI 보조 증명을 형식화한 프로젝트. 증명 과정과 검증 가능한 결과물을 GitHub에 공개.

수학이 중세적 비밀주의로 퇴보하는 것을 어떻게 막을 것인가

How do we prevent mathemathics from devolving into the Medieval Era of secrecy?

대규모 연산 자원을 보유한 조직이 LLM을 활용해 연구 중인 수학 문제를 선점할 수 있다는 우려 제기. AI 기반 증명의 시스템 프롬프트와 에이전트 구성 등 결과 도출 방법론 공개 방안을 논의.

Terry Tao가 수학에서 AI 옹호자가 되기까지

How Terry Tao became an evangelist for AI in math

수학계의 Terry Tao가 AI를 연구 도구로 적극 수용하게 된 과정을 조명. 수학 문제 해결과 탐구에서 AI의 활용 가능성이 확장되는 흐름을 보여줌.

AI가 수학에 던지는 큰 질문들

AI in mathematics is forcing big questions

AI가 수학 연구와 증명 검증 방식을 흔들며, 수학자의 역할과 검증 기준을 다시 묻게 함. 자동화 가능한 범위와 인간의 개입 지점이 쟁점으로 부상.

수학의 미래

The Future of Mathematics

AI가 기존 기법을 조합해 수학 문제를 빠르게 해결하면서 연구와 교육의 역할이 변화하고 있다고 진단. 수학자는 더 어려운 문제와 큰 개념을 탐구하고, 인간에게 중요한 연구 방향과 가치를 선택해야 한다고 제안.

OpenAI, 분할 원리, 그리고 수학

OpenAI, the Partition Principle, and Mathematics

OpenAI와 수학의 분할 원리(Partition Principle)를 둘러싼 논의를 분석. AI가 수학적 추론과 증명에 미치는 영향 조명.

OpenAI는 잘못된 Navier–Stokes 문제를 풀었나

Did OpenAI solve the wrong Navier-Stokes problem?

OpenAI의 증명은 인위적인 외력을 이용해 유체 흐름의 특이점을 구성하며 Clay Mathematics Institute의 공식 조건은 충족. 다만 외력이 없는 핵심 Navier–Stokes 문제로 확장할 수 없다는 수학계의 지적 제기.

OpenAI가 연구 경력을 좌우할 수학 문제에서 비열하게 경쟁했다

OpenAI fought dirty on career-making math problem

NYU 수학자 Tristan Buckmaster가 Navier–Stokes 문제 연구 정보가 OpenAI에 전달된 뒤 OpenAI가 막대한 연산 자원으로 같은 접근법을 추격했다고 주장. OpenAI 수학 연구 책임자 Sebastian Bubeck은 해당 주장을 허위이자 선동적이라고 반박.

수학자가 Lean 정리 증명기에 대해 알아야 할 것: 신뢰성과 AI

What mathematicians should know about the Lean Theorem Prover: reliability & AI

Lean 정리 증명기의 신뢰성을 뒷받침하는 구조와 수학적 증명 검증 방식을 설명. AI가 형식 증명의 작성과 검증에 미치는 영향도 분석.

학생들에게 무엇을 말해야 하는가

What should we tell our students?

수학계의 AI 발전으로 진로를 고민하는 학생들에게 불확실한 전망에 휩쓸리지 말고 수학 공부를 계속하라고 조언. LLM의 성과와 한계를 모두 인정하면서 인간 수학자의 검증·해석·연구가 여전히 필요하다고 주장.

Erdosproblems.com, AI 공세에 굴복하다

Erdosproblems.com Succumbs to the AI Onslaught

AI가 Erdos 문제 해결에 빠르게 기여하는 한편 설명 없는 해답을 양산하고 인간 수학자의 참여를 위축시키자 사이트 운영 정책 개편 추진. 인간의 수학적 탐구와 이해를 지원하는 커뮤니티를 우선하겠다는 방향 제시.

우리에게는 훨씬 더 많은 수학자가 필요하다

We're gonna need a lot more mathematicians

AI가 인간의 이해 속도를 넘어 새로운 수학적 아이디어와 중대한 기술 설계를 내놓을수록 이를 검증하고 이해할 수학자 공동체가 더 필요하다는 주장. 인간의 판단권을 유지하기 위해 전 세계적으로 수학 연구 인력을 확대해야 한다고 제안.

우리는 대체 왜 이 모든 일을 하는가?

우리는 대체 왜 이 모든 일을 하는가?

AI가 만든 결과물의 양을 늘리는 일이 인간의 이해보다 앞서는 연구 문화를 풍자함. 과학과 수학을 하는 목적을 되묻고, OpenAI의 수학 문서 대량 공개 사례도 언급함.

수학자들이 왜 우는지 나는 안다

수학자들이 왜 우는지 나는 안다

OpenAI가 오랫동안 미해결 상태였던 수학 문제들의 증명을 다수 공개해 수학계에 경탄과 상실감이 확산됨. 수학의 탐구 성과뿐 아니라 세대 간 대화와 지식 전승의 의미도 부각됨.

Simons Foundation, 수학자의 AI 시대 대응을 돕는 약 225억 원 규모 지원 사업 출범

Simons Foundation, 수학자의 AI 시대 대응을 돕는 약 225억원 규모 지원 사업 출범

Simons Foundation, Anthropic, OpenAI가 수학계의 AI 활용과 변화 대응을 위해 총 1,500만 달러 규모의 자금·자원을 지원함. 공개 제안 공모를 통해 지원금을 배분하고 AI 보조 연구 평가와 신규 도구 개발을 뒷받침할 예정.

OpenAI가 주장하는 더 빠른 푸리에 변환의 수학 살펴보기

OpenAI가 주장하는 더 빠른 푸리에 변환의 수학 살펴보기

OpenAI의 새 FFT 알고리즘은 점근적 계산 속도 개선을 제시하지만, 큰 상수 비용 때문에 실용적인 입력 크기에서는 기존 FFT보다 느릴 수 있다는 비판이 제기됨. 실제 성능 우위에 필요한 입력 규모가 현실적으로 불가능할 만큼 클 수 있다는 지적임.

Terence Tao: 수학 2.0 [PDF

Terence Tao: 수학 2.0 [PDF]

] Terence Tao는 전통적으로 드물었던 수학적 증명이 AI 투자와 도구 발전으로 풍부해지는 시대가 열리고 있다고 설명함. 수학의 객관적 검증 가능성, 디지털화 용이성, 고품질 데이터가 AI 기반 문제 풀이의 토대가 됨.

중학생, AI(Claude)와 함께 ‘자기 자신을 통과하지 못하는 입체’ 추측 증명

중학생이 AI(Claude)와 함께 '자기 자신을 통과하지 못하는 입체' 추측을 증명

경기도의 중학교 3학년 학생이 Claude와 컴퓨터 보조 증명을 통해 마름모십이이십면체가 루퍼트 입체가 아니라는 추측을 증명함. 해당 문제는 2021년 연구에서 미해결 추측으로 남아 있었음.

수학자가 Lean 정리 증명기에 대해 알아야 할 것: 신뢰성과 AI

수학자가 Lean 정리 증명기에 대해 알아야 할 것: 신뢰성과 AI

AI 기반 자동 형식화가 실용화됐지만 Lean 증명의 신뢰에는 커널 검증과 인간의 명제 충실성 감사가 모두 필요. 거짓 명제를 증명할 수 있게 한 건전성 버그 사례가 형식 증명 시스템의 검증 한계를 부각.

학생들에게 무엇을 말해줘야 할까?

학생들에게 무엇을 말해줘야 할까?

AI 발전만을 이유로 수학 진로를 포기하기보다 수학에 대한 열정과 전문성 개발을 기준으로 박사과정 진학을 결정해야 한다는 견해. AI가 인간의 수학 연구 능력을 넘어설지는 아직 불확실함.

OpenAI, 분할 원리, 그리고 수학

OpenAI, 분할 원리, 그리고 수학

OpenAI가 분할 원리(Partition Principle)가 선택 공리를 함의하지 않는다는 연구 결과를 발표함. 수학자 Asaf Karagila는 공개된 프리프린트만으로 연구 전략과 구성을 파악하기 어렵다며 수학적 소통의 품질을 비판.

OpenAI, 수학 논문 3편 철회

OpenAI, 수학 논문 3편 철회

부호 오류로 분할 아벨 8차원 다양체의 Weil 클래스에 관한 논증이 무효화됨. OpenAI가 해당 논증과 이에 의존한 K3 곡면 관련 원고 등 수학 논문 3편을 철회.

OpenAI, 수학 결과 3건 철회

OpenAI, 수학 결과 3건 철회

OpenAI 수학 GitHub 저장소에 Lean 형식화 6건과 수정 19건, 철회 3건이 반영됨. 철회 대상과 사유는 공개되지 않았으며 주요 결과의 약 42%가 형식화된 상태.

수학의 아포칼립스 - AI가 평생의 연구 문제를 풀어버린 뒤

수학의 아포칼립스 - AI가 평생의 연구 문제를 풀어버린 뒤

OpenAI의 수학 성과에 Dana Moshkovitz가 오랫동안 연구한 유일 게임 추측 증명이 포함됨. AI가 생성한 증명과 인간이 이를 이해하는 것 사이에는 여전히 간극이 존재.

Terence Tao, OpenAI의 수학 성과 공개에 응답

Terence Tao, OpenAI의 수학 성과 공개에 응답하다

Terence Tao가 AI로 미해결 문제의 답을 대량 생산하는 방식은 증명에 대한 이해, 후속 연구와 연구 공동체의 성장을 충분히 만들지 못한다고 지적. 전통적 수학 연구처럼 강연·워크숍·협업을 통해 성과를 정리하고 확산하는 과정의 필요성을 강조.

번역 과정에서 의미를 잃은 Navier-Stokes

번역 과정에서 의미를 잃은 Navier-Stokes

Lean 검증 통과는 형식 증명의 내부 타당성만 확인하며 원래 자연어 논증의 의미가 충실히 옮겨졌음을 보장하지 않음. 자동 형식화 과정에서 정의와 논증의 수학적 의미가 손실될 위험을 지적.

OpenAI, AI가 도출한 수학 연구 원고 722편과 증명 자료 공개

OpenAI, AI가 도출한 수학 연구 원고 722편과 증명 자료 공개

OpenAI가 미공개 내부 모델로 생성한 수학 연구 원고 722편을 GitHub에 공개. 약 4,000개 연구 문제에서 얻은 결과와 대안 증명·후속 논문을 372개 묶음으로 구성.

수학의 미래

수학의 미래

AI가 출판 가능한 수준의 수학적 결과 생성을 쉽게 만들면서 문제 해결과 수학적 이해가 분리되는 추세. AI 시대에도 더 어려운 문제에 도전하며 이해를 추구하는 방식이 핵심 과제로 부상.

우리에게는 훨씬 더 많은 수학자가 필요할 것이다

우리에게는 훨씬 더 많은 수학자가 필요할 것이다

AI가 만들어낸 발견을 인간이 이해하고 발전시키려면 수학적 역량을 갖춘 연구자 공동체를 대폭 확대해야 한다는 주장. 지속적인 지원과 AI 협업을 통해 인간의 이해를 유지할 필요.

수학과 인공지능 자문그룹

수학과 인공지능 자문그룹

AI 기업과 수학계의 소통 및 연구 결과의 책임 있는 공개를 지원하는 독립 자문그룹이 Princeton Institute for Advanced Study를 거점으로 출범함. OpenAI 내부 모델이 산출한 주요 수학 연구 결과의 공개 방식과 조율 절차를 자문할 예정.

이제 인간 수학자가 왜 필요한가?

이제 인간 수학자가 왜 필요한가?

AI가 연구 성과 대부분을 창출하더라도 인류의 번영을 목표로 연구 방향과 통제 지점을 결정할 인간 전문가 공동체가 필요함. AI 발전과 이를 활용한 해킹이 늘수록 인간의 감독 역할도 확대.

내가 필즈상 수상자들의 서한에 서명하지 않은 이유

내가 필즈상 수상자들의 서한에 서명하지 않은 이유

Fields Medal 수상자 25명이 AI의 빠른 문제 풀이가 수학의 토대를 해칠 수 있다고 경고. 동료 수상자는 위기 인식에는 동의하지만 원인 진단과 대응 방식에는 다른 견해를 제시.

수학의 시작

수학의 시작

AI가 수학 논문과 증명을 생성하면서 결과물만으로 연구자의 이해도와 전문성을 평가하기 어려워짐. 논문 중심의 평가 체계보다 좋은 수학을 생산하고 이해하는 능력에 초점을 맞출 필요성 제기.

수학의 종말

수학의 종말

AI가 수학적 산출물을 대량 생산해도 논문과 정리의 양을 보상하는 기존 제도가 유지되면 정확성·흥미·실질적 검토가 약화돼 수학 발전이 정체될 수 있다는 위험 시나리오.

수학 그 이후

수학 그 이후

AI가 난제의 답을 생성해도 인간이 이해하고 활용할 수 있는 증명이 없으면 진정한 해결로 보기 어려움. 수학의 목적은 정답 도출을 넘어 증명과 이해의 확장에 있음.

OpenAI의 Navier-Stokes 발표에 포함된 Lean 4 형식 증명

OpenAI의 Navier-Stokes 발표에 포함된 Lean 4 형식 증명

OpenAI가 Navier-Stokes 방정식 관련 문제의 사람이 읽는 증명과 Lean 4로 작성한 기계 검증 가능 형식 증명을 함께 공개. AI를 활용한 수학 연구에서 형식 증명을 통한 결과 검증이 확산되는 흐름.

수학에서의 AI 목표 불일치

수학에서의 AI 목표 불일치

필즈상 수상자 25명이 수학 문제 풀이 벤치마크를 중시하는 AI 기업의 목표가 수학 공동체의 이해와 통찰 증진이라는 목표와 어긋난다고 경고. 문제 해결은 수학 발전을 위한 수단이자 대리 지표일 뿐이라고 강조.

수학에서 AI와 수학계의 목표가 어긋나는 이유

수학에서 AI와 수학계의 목표가 어긋나는 이유

AI 기업의 수학 문제 풀이 벤치마크 경쟁이 개념적 이해와 새로운 통찰을 중시하는 수학계의 목표와 충돌함. 난제 해결 성과가 공동체의 지식으로 정착하려면 토론과 검증, 단순화 과정이 필요하다는 지적.

OpenAI의 수학 증명에 미공개 연구 대화가 학습됐다는 의혹 제기

OpenAI의 수학 증명에 미공개 연구 대화 학습 의혹 제기

수학자 Andreas Thom이 OpenAI의 비소픽 군 증명에 자신이 ChatGPT와 나눈 미공개 연구 대화가 학습 데이터로 사용됐을 가능성을 제기. 모델이 비주류였던 자신의 연구 기법을 능숙하게 활용한 점을 근거로 제시.

미공개 수학 연구를 OpenAI에 믿고 맡길 수 있는가, 커지는 의문

미공개 수학 연구를 OpenAI에 믿고 맡길 수 있는가, 추가 의문

Andreas Thom이 ChatGPT에서 논의한 미공개 수학 연구가 OpenAI의 비소픽 군 연구 성과에 활용됐을 가능성을 제기. OpenAI가 대화의 학습 데이터 편입 여부와 문제 풀이 중 접근 여부를 명확히 구분해 답하지 않았다고 비판.

OpenAI, 수학 난제 해결 경쟁에서 부당한 수단을 썼다는 의혹

OpenAI, 수학 난제 해결 경쟁에서 부당한 수단을 썼다는 의혹

NYU 교수 Tristan Buckmaster가 OpenAI가 비공개 연구 진척 정보를 전달받은 뒤 동일한 수학 난제 해결에 착수했다고 주장. OpenAI의 Navier–Stokes 문제 증명 공개를 둘러싸고 연구 윤리 논란 제기.

나비에–스토크스 밀레니엄 상금 문제

나비에–스토크스 밀레니엄 상금 문제

OpenAI가 미공개 모델로 나비에–스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법을 얻었다고 발표. Claude와 Codex를 활용해 연구해 온 수학자들과의 연구 선취 및 데이터 사용 논란 제기.

AI의 수학적 돌파구는 어떻게 논란을 촉발했나

AI의 수학적 돌파구는 어떻게 논란을 촉발했나

OpenAI가 약 1만 개 AI 에이전트를 88시간 가동해 Navier–Stokes 방정식에서 유체 속도가 유한 시간 내 무한대로 증가하는 특이점 해를 찾았다고 발표함. 결과의 물리적 실현 가능성과 수학적 검증을 둘러싼 논란 확산.

Navier–Stokes 해법 발표의 이면: 수학자가 공개한 OpenAI와의 협의 과정

나비에-스토크스 해법 발표의 이면: 수학자가 공개한 OpenAI와의 협의 과정

수학자 Tristan Buckmaster가 Levent Alpöge와 수행한 유체 방정식 연구 및 OpenAI 발표 전 협의 과정을 공개. 기존 수학적 접근법을 LLM으로 발전시켜 외력이 작용하는 Navier–Stokes 방정식의 해를 연구.

Caltech Mathathon — 연구 수준 수학에 전념하는 최초의 해커톤

Caltech Mathathon — 연구 수준의 수학에 전념하는 최초의 해커톤

전 세계 수학 인재로 구성된 100개 팀이 최첨단 AI를 활용해 미해결 추측과 새로운 수학 이론에 도전함. Caltech에서 10월 30일부터 11월 1일까지 40시간 동안 진행되며 200만 달러 이상의 AI 크레딧이 제공됨.

Tao: AI가 수학의 미해결 문제를 재생 불가능한 자원처럼 채굴하고 있음

Tao: AI가 수학의 미해결 문제를 재생 불가능한 자원처럼 채굴하고 있음

Terence Tao가 AI의 빠른 문제 풀이로 통찰력 있는 수학 난제가 소진될 가능성을 경고. 연구 가치가 높은 문제를 발굴하려면 기존 기법의 한계와 난이도 지형에 대한 이해가 필요하다고 지적.

Navier–Stokes 밀레니엄 상금 문제에 관하여

Navier–Stokes 밀레니엄 상금 문제에 관하여

OpenAI가 매끄러운 외력이 작용하는 3차원 Navier–Stokes 유체에서 유한 시간 특이점이 발생한다는 해석적 증명과 Lean 형식화를 공개함. 약 1만 개의 동시 에이전트를 투입했으며 밀레니엄 상금은 청구하지 않겠다고 밝힘.

Terence Tao: “AI만으로 수학 문제를 성급하게 푸는 것”의 위험

Terence Tao: “AI만으로 수학 문제를 성급하게 푸는 것”의 위험

순수수학은 정답뿐 아니라 풀이 과정에서 새 통찰과 이론을 만드는 데 가치가 있음. 과정이 드러나지 않는 AI 단독 해법은 이런 연구적 역할을 약화시킬 수 있음.

수학의 어두운 밤

수학의 어두운 밤

LLM이 오래된 수학 추측의 반례와 증명을 대량으로 만들어내며 인간의 수학적 발견 경험이 흔들릴 수 있다는 우려가 제기됨. AI 시대에 인간은 평가와 교육을 맡으면 된다는 위안이 연구, 고용, 감상의 의미를 충분히 대체하지 못한다는 문제를 다룸.

Terrence Tao의 Jacobian 추측 반례에 관한 ChatGPT 대화

Terrence Tao의 Jacobian 추측 반례에 관한 ChatGPT 대화

Terrence Tao가 Jacobian 추측의 반례를 둘러싼 ChatGPT 대화 내용을 공유. 생성형 AI가 수학적 탐구를 보조하는 사례로 소개됨.

인간 수학자, 반례 찾기에서 AI에 추월당하다

인간 수학자, 반례 찾기에서 AI에 추월당하다

ChatGPT와 Claude 계열 모델이 Erdős 추측, Grothendieck 질문, Jacobian Conjecture 등에서 반례를 찾고 일부는 Lean으로 검증함. OpenAI의 Sol은 Erdős 반례와 관련 전역 유체론 결과를 3주 만에 120만 줄 규모의 Lean 코드로 정리함.