검색 결과

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