검색 결과
"mathematics" · 149개 기사
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 활용의 접점을 보여주는 사례로 주목됨.
Terence Tao가 설명하는 6가지 핵심 수학 개념 [video
Terence Tao explains 6 essential mathematical concepts [video]
] Terence Tao가 6가지 필수 수학 개념을 설명하는 영상. 수학 기초 개념을 짧게 정리한 교육 콘텐츠.
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의 무차별 문제 풀이로 통찰을 낳는 유망한 미해결 문제가 희소해질 수 있다고 경고. 연구 방향 비공개를 부추겨 개방형 과학 생태계와 장기적 수학 발전을 훼손할 가능성 지적.
Ten advances in mathematics and theoretical computer science
Ten advances in mathematics and theoretical computer science
인간 수학자들, 반례 생성 속도에서 밀리기 시작
Human mathematicians are being outcounterexampled
AI 시스템이 수학 명제에 대한 반례를 더 빠르게 찾아내며 인간 수학자보다 우위를 보이는 사례가 늘고 있음. 정리 검증과 탐색의 병목이 인간 직관에서 자동화 도구로 이동하는 조짐이 나타남.
수학자들이 왜 우는지 알겠다
I know why the mathematicians weep
수학자들이 좌절하는 이유를 다룬 글. 제목 외에 구체적인 논지는 확인할 수 없음.
삼체 문제의 주기 해 궤도 지도
An atlas of periodic solutions to the three-body problem
삼체 문제에서 발견된 다양한 주기 궤도를 시각적으로 정리한 온라인 아틀라스. 궤도 형태와 초기 조건을 탐색할 수 있도록 구성.
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의 성능을 추론력보다 방대한 패턴 기억과 재현 능력으로 해석한 글. 수학적 창의성과 일반화 한계를 함께 점검함.
수학이 증명 이상이라면, 나머지 기여도 더 제대로 인정해야 한다
If math is more than proof, we need to better celebrate the rest of it
Grant Sanderson가 수학의 진전을 증명만으로 평가하지 말고 문제 제기, 직관, 설명, 아이디어 연결 같은 기여도 인정해야 한다고 주장. AI가 증명 생성에 관여하는 시대일수록 이러한 비증명 활동의 가치와 보상 체계를 재정립할 필요성을 제기.
Terence Tao: 수학 2.0 [PDF
Terence Tao: Math 2.0 [pdf]
] Terence Tao가 AI의 수학 연구 활용과 ‘증명 풍요’ 시대의 변화를 제시. 문제 풀이 자동화에 그치지 않고 수학적 이해와 공동체를 강화하는 AI 활용을 제안.
Jacobian conjecture 반례에 대한 해설
A digestion of the Jacobian conjecture counterexample
Jacobian conjecture 반례 주장과 그 의미를 해설하는 글. 핵심 논점과 수학적 배경을 정리해 이해를 돕는 내용.
‘Math 2.0’은 수학적 진보를 더 총체적으로 평가해야 한다
“Math 2.0” will need to value mathematical progress more holistically
Terence Tao가 AI의 문제 풀이 자동화로 최초 해답 중심의 ‘Math 1.0’ 평가 체계가 한계에 도달했다고 지적. ‘Math 2.0’에서는 해설·공동체 형성·새 연구 방향 개척까지 수학적 진보로 평가해야 한다고 제안.
Linear algebra 제대로 배우기
Linear algebra done right
선형대수학 교재와 학습 자료를 제공하는 사이트. 개념을 체계적으로 설명하는 입문용 수학 자료다.
theorem economy의 몰락
The fall of the theorem economy
정리와 증명을 중심으로 굴러가던 지식 생산 구조가 흔들리고 있다는 문제의식을 다룸. 수학과 연구 생태계에서 계산·실험 중심 방식의 비중 확대를 시사함.
OpenAI, 수학적 연구 결과 3건 철회
OpenAI withdraws three mathematical results
OpenAI가 기존에 발표한 수학적 연구 결과 3건을 철회함. 구체적인 철회 사유와 영향은 제공된 정보에서 확인되지 않음.
von Neumann의 전설 (1973)
The Legend of von Neumann (1973) [pdf]
수학자 Paul R. Halmos가 John von Neumann의 생애와 비범한 지적 능력, 학문적 업적을 기록한 1973년 전기적 논고. 수학·양자물리학·논리학·기상학·컴퓨팅·게임이론에 걸친 공헌을 조명.
모든 것은 로그함수다
Everything is logarithms
여러 현상과 데이터 패턴을 로그 스케일로 설명하는 수학적 관점을 정리. 큰 범위의 값과 비율 변화를 다루는 데 로그가 유용하다는 점을 강조.
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의 추론 능력과 검증 가능성이 다시 부각됨.
수학자들도 숫자 곱셈의 가장 빠른 방법을 아직 모른다
Mathematicians still don't know the fastest way to multiply numbers
숫자 곱셈의 최적 알고리즘은 여전히 미해결 문제로 남아 있음. 이론적 개선은 있었지만 실제로 가장 빠른 방법은 아직 확정되지 않음.
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 검증을 수행했다고 발표. 유사 접근법을 먼저 연구하던 수학자들이 정보 유출 가능성과 연구 기여 인정 문제를 제기.
Caltech Mathathon – 연구 수준 수학에 전념한 최초의 해커톤
Caltech Mathathon – first hackathon ever devoted to research level mathematics
Caltech의 Mathathon 소개. 연구 수준 수학 문제를 해커톤 형식으로 다루는 첫 행사로 설명됨.
평범한 수학자를 위한 나라는 없다
No country for mediocre mathematicians
수학 분야에서 상위권 역량과 경쟁력이 점점 더 중요해지는 환경을 비판적으로 조명함. 중간 수준 인재의 입지가 좁아지는 구조를 지적함.
Navier-Stokes – Tristan Buckmaster [PDF
Navier-Stokes – Tristan Buckmaster [pdf]
] Tristan Buckmaster와 Levent Alpöge가 LLM과 Lean 검증을 활용해 강제력이 있는 Euler·Boussinesq 방정식 등의 유한시간 폭발 결과를 도출했다고 발표. 저자들은 hypo-dissipative Navier-Stokes 결과도 확보했다고 보지만 Lean 검증이 완료되지 않아 논문 공개를 보류.
Turns는 Radians보다 낫다 (2022)
Turns are Better than Radians (2022)
각도 표현에서 turns 단위의 직관성과 계산 편의성을 강조. 프로그래밍과 그래픽스에서 radians보다 읽기 쉽고 오류를 줄일 수 있음.
이제 인간 수학자가 왜 필요한가
Why do we need human mathematicians anymore?
Po-Shen Loh가 AI 시대에도 수학을 비롯한 전문 분야를 인간 중심으로 유지해야 한다고 주장. 인류의 번영을 우선하는 원칙을 채택하면 새로운 인간 업무가 대규모로 생겨 AI 발전 속도에도 제약이 걸릴 수 있다고 전망.
번역 과정에서 길을 잃은 Navier–Stokes
Navier–Stokes Lost in Translation
Navier–Stokes 방정식의 표현과 해석 과정에서 발생하는 정보 손실을 다룬 논문. 수학적 변환이 물리적 의미에 미치는 영향을 분석.
바이브 코딩으로 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의 수학 문제 해결이 초래할 위기에는 동의하면서도, 개념적 이해를 문제 해결보다 우선시하는 서한의 관점에는 이견을 제시. 핵심 위험으로 결과의 양산보다 인간 수학자의 동기 약화와 수학 전통을 계승할 인력 감소를 지목.
Palomar: Lean 검증 수학 레지스트리
Palomar: A registry of Lean verified mathematics
Lean으로 검증된 수학 정리와 결과를 모아 관리하는 레지스트리를 소개. 형식 검증 수학의 재사용성과 검색성을 높이는 시도.
모든 64-bit 정수의 17%만 두 32-bit 정수의 곱이다
Only 17% of all 64-bit Integers are products of two 32-bit integers
64-bit 정수 전체 중 두 32-bit 정수의 곱으로 표현 가능한 값은 약 17%에 불과하다는 수학적 결과가 소개됨. 정수 곱셈의 분포가 직관보다 훨씬 제한적임을 보여줌.
92세 수학자와 10대 견습생
The 92-Year-Old Mathematician and the Teenage Apprentice
주요 발견의 시기가 끝났다고 생각했던 92세 수학자 Joan Birman이 수학을 배우고 싶다는 이웃의 10대 소녀를 지도하며 새로운 지적 동반 관계를 형성. 세대를 뛰어넘는 수학 교육과 멘토십을 조명.
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가 크게 낮출 가능성 제시.
Paul Dirac이 말하는 수학과 물리학의 관계 (1939)
The Relation Between Mathematics and Physics by Paul Dirac (1939)
Paul Dirac이 물리학 발전에서 수학이 수행하는 역할과 두 학문의 상호작용을 고찰. 상대성이론·양자이론·우주론을 중심으로 수학적 사고가 물리 법칙의 발견을 이끄는 과정을 설명.
데이터 사이언스의 수학
Mathematics of Data Science
데이터 사이언스를 지탱하는 수학적 기초를 정리한 논문. 통계, 최적화, 선형대수 같은 핵심 도구의 역할을 다룬다.
Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach
Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach
Principia Mathematica는 현대적이고 통찰력 있다
Principia Mathematica is modern and insightful
Principia Mathematica를 현대적 관점에서 재평가한 글. 수학 기초와 논리 체계에 대해 오늘날에도 유효한 통찰을 제공한다.
수학 이후
After Math
AI가 난제를 해결하더라도 형식적으로 인증된 답만으로는 인간이 이해하고 활용할 수 있는 수학적 증명이 완성되지 않는다는 논지. 수학은 문제 해결뿐 아니라 개념 형성, 이해와 지식 확장까지 포함하므로 AI의 성취가 수학의 종말을 뜻하지 않는다고 주장.
우리는 왜 이 모든 일을 하고 있는가?
Why are we even doing all this?
제공된 기사 정보만으로는 구체적인 주제와 핵심 내용을 확인할 수 없음.
선형대수를 생각하라 (2023)
Think Linear Algebra (2023)
선형대수의 핵심 개념을 직관적으로 다시 설명하는 입문 자료. 벡터, 행렬, 기저 같은 개념을 문제 해결 관점에서 풀어냄.
Cleo (수학자)
Cleo (Mathematician)
Cleo는 Mathematics Stack Exchange에서 복잡한 적분 문제에 설명 없이 정확한 답을 남긴 익명의 인물. 실제 신원과 풀이 방법은 공개되지 않음.
Jean-Pierre Serre, 100세를 맞다
Jean-Pierre Serre turns 100
프랑스 수학자 Jean-Pierre Serre가 100세를 맞음. 대수기하학·대수적 위상수학·수론 발전에 기여한 Fields Medal 및 Abel Prize 수상자.
수학을 위한 하나의 시작
A Beginning for Mathematics
수학을 이해하고 탐구하기 위한 출발점을 다룬 글. 구체적인 내용은 제공된 메타데이터만으로 확인 불가.
13세 학생의 reading과 mathematics 점수가 다시 하락
Scores decline again for 13-year-old students in reading and mathematics
13세 학생의 reading과 mathematics 성적이 재차 하락한 것으로 나타남. 기초 학력 회복이 여전히 진행되지 않고 있다는 신호.
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가 수학 연구와 교육에 미치는 영향을 논의.
Navier-Stokes 문제 관련 발표
Navier-Stokes Announcement
Clay Mathematics Institute가 C. Fukushima와 J. Westerweel의 연구로 Navier-Stokes 밀레니엄 문제가 해결된 것으로 보인다고 발표. 공식 인정과 상금 수여는 규정에 따른 검증 절차를 거쳐 결정될 예정.
Alexander Grothendieck가 20세기 수학을 혁신하다
Alexander Grothendieck Revolutionized 20th-Century Mathematics
대수기하학과 현대 수학의 방향을 바꾼 Alexander Grothendieck의 영향력을 조명. 추상화와 새로운 개념 틀로 20세기 수학 전반에 큰 전환점을 남김.
Gödel의 불완전성 정리는 무엇을 의미하나
What Do Gödel's Incompleteness Theorems Mean?
Gödel의 불완전성 정리를 직관적으로 설명하는 해설 기사. 수학 체계의 한계와 증명 불가능 명제를 다룸.
수학자는 무엇을 해야 하나? (2010)
What's a mathematician to do? (2010)
수학자의 연구 선택과 커리어 방향을 묻는 MathOverflow 질문. 수학자의 역할과 일의 우선순위에 대한 다양한 시각을 모음.
RSA-896
RSA-896
RSA-896 정수분해 문제를 다룬 기술 기록. 큰 반소수의 인수분해 과정과 계산에 사용된 접근법을 정리.
왜 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의 급속한 확산이 수학 연구와 교육 환경에 미치는 영향에 대해 수학자들이 우려를 제기함. 검증, 해석, 연구 역량 저하 가능성이 쟁점으로 떠오름.
생물학은 양자적이지 않아도 그 수학은 양자와 닮았을 수 있다
Biology might not be quantum, but its math is quantumlike
생명체의 복잡한 고전적 네트워크가 실제 양자 효과 없이도 양자계와 같은 수학적 행동을 보일 수 있다는 연구 소개. 생물학과 양자역학의 연결고리를 물리 현상보다 집단적 상호작용의 수학에서 탐색.
수학의 어두운 밤
The Dark Night of Mathematics
수학이 겪는 정체와 불확실성을 다룬 에세이. 학문적 발전의 둔화와 방향성 상실을 성찰함.
Artificial Intelligence and Mathematics에 관한 Leiden Declaration
Leiden Declaration on Artificial Intelligence and Mathematics
수학 분야에서 AI 활용과 한계를 다루는 선언문. AI를 연구 도구로 쓰는 원칙과 책임 있는 사용 기준을 제시함.
미분기하학 입문, 그림으로 읽는 안내서
A pictorial introduction to differential geometry (2017)
미분기하학의 핵심 개념을 그림 중심으로 설명하는 입문 자료. 곡면, 곡률, 접공간 같은 기본 개념을 시각적으로 소개한다.
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 기반 증명의 시스템 프롬프트와 에이전트 구성 등 결과 도출 방법론 공개 방안을 논의.
인터랙티브 도형이 포함된 몰입형 Linear Algebra 책
Immersive Linear Algebra Book with Interactive Figures (2015)
인터랙티브 그림으로 선형대수를 설명하는 온라인 교재 소개. 개념 시각화와 탐색형 학습에 초점을 맞춤.
Geometric Algebra에 대한 반론 (2024)
The case against geometric algebra (2024)
Geometric Algebra의 범용성 주장에 대해 실제 사용 맥락에서의 복잡도와 학습 비용을 들어 비판적으로 검토. 수학적 표현의 우아함과 실용성은 별개라는 관점을 강조함.
Singular Value Decomposition의 초기 역사 (1993) [pdf
The early History of the Singular Value Decomposition (1993) [pdf]
] Singular Value Decomposition의 형성과 초기 연구 흐름을 정리한 역사 글. 수치해석과 선형대수의 발전 맥락을 다룸.
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가 수학 연구와 증명 검증 방식을 흔들며, 수학자의 역할과 검증 기준을 다시 묻게 함. 자동화 가능한 범위와 인간의 개입 지점이 쟁점으로 부상.
과학과 공학을 위한 함수해석학 입문
An introduction to functional analysis for science and engineering
과학·공학 문제를 풀기 위한 함수해석학의 기초를 소개함. 선형공간과 연산자 이론을 중심으로 수학적 기반을 정리하는 내용.
수학의 미래
The Future of Mathematics
AI가 기존 기법을 조합해 수학 문제를 빠르게 해결하면서 연구와 교육의 역할이 변화하고 있다고 진단. 수학자는 더 어려운 문제와 큰 개념을 탐구하고, 인간에게 중요한 연구 방향과 가치를 선택해야 한다고 제안.
OpenAI, 분할 원리, 그리고 수학
OpenAI, the Partition Principle, and Mathematics
OpenAI와 수학의 분할 원리(Partition Principle)를 둘러싼 논의를 분석. AI가 수학적 추론과 증명에 미치는 영향 조명.
수학적 종이접기
Mathematical Origami
Platonic solids와 Archimedean solids를 비롯한 다양한 다면체를 종이접기로 제작하는 방법을 제공. 전개도와 단계별 접기 지침을 통해 기하학 개념을 시각적으로 학습 가능.
RSA-260 인수분해 완료
RSA-260 Factorized
RSA-260이 인수분해됐다는 소식. 공개키 암호 관련 난제의 또 다른 진전으로 해석될 수 있음.
Riemann zeta 함수는 소수 분포와 무슨 관련이 있나?
What does the Riemann zeta function have to do with the distribution of primes?
리만 제타 함수가 소수의 분포를 설명하는 핵심 도구라는 점을 해설하는 글. 제타 함수와 소수 사이의 수학적 연결을 직관적으로 풀어냄.
복소수 시각적으로 이해하기
A Visual Intro to Complex Numbers
복소수의 개념과 특성을 시각 자료로 설명하는 입문 콘텐츠.
르네상스의 도박 분쟁이 확률론을 낳았다
A Renaissance gambling dispute spawned probability theory
르네상스 시대 도박 분쟁이 확률론의 탄생으로 이어졌다는 역사적 배경을 다룬 기사. 수학 이론의 기원이 실제 분쟁과 계산 문제에서 출발했음을 설명.
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은 해당 주장을 허위이자 선동적이라고 반박.
NoiseLang: N=5는 Dirac delta와 같다
NoiseLang: Where N = 5 is a Dirac delta
N=5를 Dirac delta에 비유한 NoiseLang 소개. 실험적 언어 설계와 수학적 유머를 섞은 기술 글.
Applied Category Theory 강의 (2018)
Applied Category Theory Course (2018)
응용 범주론을 체계적으로 소개하는 강의 자료. 수학적 기초와 개념 전개를 한 흐름으로 정리한 교육용 콘텐츠.
수학자가 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 문제 해결에 빠르게 기여하는 한편 설명 없는 해답을 양산하고 인간 수학자의 참여를 위축시키자 사이트 운영 정책 개편 추진. 인간의 수학적 탐구와 이해를 지원하는 커뮤니티를 우선하겠다는 방향 제시.
Gödel의 증명은 어떻게 작동하는가 (2020)
How Gödel's Proof Works (2020)
괴델의 불완전성 정리와 증명 구조를 대중적으로 풀어 설명한 글. 논리학의 핵심 아이디어를 단계적으로 정리함.
우리에게는 훨씬 더 많은 수학자가 필요하다
We're gonna need a lot more mathematicians
AI가 인간의 이해 속도를 넘어 새로운 수학적 아이디어와 중대한 기술 설계를 내놓을수록 이를 검증하고 이해할 수학자 공동체가 더 필요하다는 주장. 인간의 판단권을 유지하기 위해 전 세계적으로 수학 연구 인력을 확대해야 한다고 제안.
Zenzizenzizenzic
Zenzizenzizenzic
거듭제곱을 가리키던 희귀한 역사적 수학 용어를 다룬 항목. 현대 수학에서는 거의 쓰이지 않는 옛 표현임.
우리는 대체 왜 이 모든 일을 하는가?
우리는 대체 왜 이 모든 일을 하는가?
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는 공개된 프리프린트만으로 연구 전략과 구성을 파악하기 어렵다며 수학적 소통의 품질을 비판.
Cleo(수학자)
Cleo(수학자)
Mathematics Stack Exchange에서 풀이 없이 복잡한 적분의 정답만 게시해 화제가 된 Cleo의 정체가 수학자 Vladimir Reshetnikov로 확인. 2013년부터 2015년까지 총 39개의 답변을 게시한 계정.
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 시대에도 더 어려운 문제에 도전하며 이해를 추구하는 방식이 핵심 과제로 부상.
「Quo Vadis, Mathematics?」— 수학이여, 어디로 가는가
「Quo Vadis, Mathematics?」—“수학이여, 어디로 가는가?”
「Quo Vadis, Mathematics?」를 통해 수학의 현재와 향후 발전 방향을 고찰함.
John von Neumann의 전설(1973) [PDF
폰 노이만의 전설(1973) [PDF]
] John von Neumann이 집합론·양자역학·게임 이론·컴퓨터 과학에 남긴 광범위한 업적을 조명. 1940년 무렵 순수수학에서 응용수학으로 연구 중심을 옮긴 과정도 소개.
Show GN: Algorithm Addict - 이산수학·알고리즘을 단원별 문제로 학습하는 Android 퀴즈 앱
Show GN: Algorithm Addict - 이산수학·알고리즘을 단원별 문제로 푸는 안드로이드 퀴즈 앱
이산수학과 알고리즘을 18개 단원, 800개 이상의 문제로 학습하는 Android 앱. 명제 논리·그래프·트리·BFS·DFS·최소 신장 트리 등을 객관식과 단답형으로 제공.
우리에게는 훨씬 더 많은 수학자가 필요할 것이다
우리에게는 훨씬 더 많은 수학자가 필요할 것이다
AI가 만들어낸 발견을 인간이 이해하고 발전시키려면 수학적 역량을 갖춘 연구자 공동체를 대폭 확대해야 한다는 주장. 지속적인 지원과 AI 협업을 통해 인간의 이해를 유지할 필요.
수학과 인공지능 자문그룹
수학과 인공지능 자문그룹
AI 기업과 수학계의 소통 및 연구 결과의 책임 있는 공개를 지원하는 독립 자문그룹이 Princeton Institute for Advanced Study를 거점으로 출범함. OpenAI 내부 모델이 산출한 주요 수학 연구 결과의 공개 방식과 조율 절차를 자문할 예정.
이제 인간 수학자가 왜 필요한가?
이제 인간 수학자가 왜 필요한가?
AI가 연구 성과 대부분을 창출하더라도 인류의 번영을 목표로 연구 방향과 통제 지점을 결정할 인간 전문가 공동체가 필요함. AI 발전과 이를 활용한 해킹이 늘수록 인간의 감독 역할도 확대.
수학이 증명 이상이라면, 증명 이외의 기여도 더 높이 평가해야 한다
수학이 증명 이상이라면, 증명 이외의 기여도 더 높이 평가해야 한다
수학의 목표를 인간 이해의 확장으로 본다면 새로운 증명뿐 아니라 아이디어의 발상 과정을 밝히는 설명도 학문적 기여로 인정해야 한다는 주장. 정의와 구성을 제시하는 데 그치지 않고 동기를 설명하는 연구 문화를 제안.
Jean-Pierre Serre, 100세를 맞다
Jean-Pierre Serre, 100세를 맞다
Jean-Pierre Serre가 100세를 맞음. 대수적 위상수학·대수기하학·대수적 정수론의 현대적 발전에 핵심적인 공헌을 남긴 프랑스 수학자.
내가 필즈상 수상자들의 서한에 서명하지 않은 이유
내가 필즈상 수상자들의 서한에 서명하지 않은 이유
Fields Medal 수상자 25명이 AI의 빠른 문제 풀이가 수학의 토대를 해칠 수 있다고 경고. 동료 수상자는 위기 인식에는 동의하지만 원인 진단과 대응 방식에는 다른 견해를 제시.
수학의 시작
수학의 시작
AI가 수학 논문과 증명을 생성하면서 결과물만으로 연구자의 이해도와 전문성을 평가하기 어려워짐. 논문 중심의 평가 체계보다 좋은 수학을 생산하고 이해하는 능력에 초점을 맞출 필요성 제기.
수학의 종말
수학의 종말
AI가 수학적 산출물을 대량 생산해도 논문과 정리의 양을 보상하는 기존 제도가 유지되면 정확성·흥미·실질적 검토가 약화돼 수학 발전이 정체될 수 있다는 위험 시나리오.
수학 그 이후
수학 그 이후
AI가 난제의 답을 생성해도 인간이 이해하고 활용할 수 있는 증명이 없으면 진정한 해결로 보기 어려움. 수학의 목적은 정답 도출을 넘어 증명과 이해의 확장에 있음.
Navier-Stokes 문제 관련 발표
Navier-Stokes 관련 발표
Clay Mathematics Institute가 Navier-Stokes 문제가 해결됐을 가능성을 언급하며 수학계의 검증이 진행 중. 해당 밀레니엄 문제는 3차원 공간에서 해의 존재성과 매끄러움을 증명하는 과제.
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와 나눈 미공개 연구 대화가 학습 데이터로 사용됐을 가능성을 제기. 모델이 비주류였던 자신의 연구 기법을 능숙하게 활용한 점을 근거로 제시.
모든 어른은 한때 어린이였지만, 이를 기억하는 어른은 드물다
모든 어른은 한때 어린이였지만, 그것을 기억하는 어른은 드물다
수학자 Terence Tao가 AI의 문제 해결이 인간이 탐구 과정에서 얻는 배움과 통찰까지 대체하지는 못한다고 강조. 정답을 즉시 제시하기보다 호기심을 바탕으로 스스로 발견하는 과정의 가치를 설명.
미공개 수학 연구를 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 단독 해법은 이런 연구적 역할을 약화시킬 수 있음.
Terence Tao가 설명하는 수학의 6가지 필수 개념 [영상
테렌스 타오가 설명하는 수학의 6가지 필수 개념 [영상]
] Terence Tao가 수학의 핵심 축을 수, 대수, 기하학, 확률, 해석학, 동역학으로 정리. 양, 구조, 공간, 불확실성, 오차, 시간 변화라는 관점으로 수학의 범위를 설명.
1910년의 『프린키피아 마테마티카』가 현대적으로 읽히는 이유
1910년의 『프린키피아 마테마티카』가 현대적으로 읽히는 이유
Principia Mathematica가 참조 투명성, 타입, 자유 변수와 바인딩 변수, 치환, 스코프 같은 현대 프로그래밍 언어의 핵심 개념을 이미 다뤘다고 설명함. 명제 함수와 겉보기 변수 개념이 람다 항, 바인딩 변수, 알파 동등성, 캡처 회피 치환과 대응된다는 점을 짚음.
수학의 어두운 밤
수학의 어두운 밤
LLM이 오래된 수학 추측의 반례와 증명을 대량으로 만들어내며 인간의 수학적 발견 경험이 흔들릴 수 있다는 우려가 제기됨. AI 시대에 인간은 평가와 교육을 맡으면 된다는 위안이 연구, 고용, 감상의 의미를 충분히 대체하지 못한다는 문제를 다룸.
Hannah Fry, 2026년 수학 대중화 공로로 Leelavati Prize 수상
Hannah Fry, 2026년 수학 대중화 공로로 Leelavati Prize 수상
Cambridge의 Hannah Fry가 수학 대중화 기여를 인정받아 2026년 Leelavati Prize를 수상. International Congress of Mathematicians와 International Mathematical Union이 4년마다 수여하는 상.
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 코드로 정리함.
GPT-5.6이 프롬프트로 볼록 최적화의 30년 공백을 메움
GPT-5.6이 프롬프트로 볼록 최적화의 30년 공백을 메움
제공된 본문은 GPT-5.6이나 볼록 최적화가 아니라 유한 단순군 분류 정리를 다룸. 유한 단순군을 18개 무한 계열과 26개 산재군으로 나누는 군론의 핵심 결과를 설명함.
πFS - 데이터를 하드 드라이브 대신 π에 저장하는 파일 시스템
πFS - 데이터를 하드 드라이브 대신 π에 저장한다는 파일 시스템
πFS는 파일을 디스크가 아니라 π에 저장한다는 발상을 구현한 실험적 파일 시스템임. π가 가능한 모든 파일을 포함한다는 수학적 가정에 기반한 개념 증명 성격의 프로젝트임.
범주론 그림으로 보는 순서
범주론 그림으로 보는 순서
범주론적 관점에서 이항 관계와 순서 구조의 개념을 시각적으로 설명합니다. 반사성, 추이성, 반대칭성 등의 법칙을 통해 선형 순서와 부분 순서의 차이를 명확하게 이해할 수 있도록 돕습니다.