수소와 헬륨 두 칸에서 시작해 층마다 칸 수가 늘어나 여섯 번째 층에서 라돈까지 32칸이 되고, 그 아래 층들은 거꾸로 칸 수가 줄어 171번과 172번 두 칸으로 끝나는 쌍원뿔 모양의 주기 행렬. 118번까지는 실선 칸, 119번부터는 점선 칸으로 그려져 있다.

Algebraic Origin of the 86 ↔ 86 Capacity Symmetry in the Relativistic Dirac-Fock Vacuum: Index-Theoretic Derivation, Corrected Field Arithmetic, and Numerology Guards

벨라루스와 프랑스의 두 연구자가 Zenodo에 올린 프리프린트다. 주기율표의 원소 수가 86+86=172에서 끝난다는 주장을 대수적 수체와 지표 정리로 유도하고, 같은 틀로 빛의 반사와 질량과 중력까지 설명한다. 저자들은 맞춘 매개변수가 0개이고 수비학 위험이 p=0이라고 밝힌다.

September 24, 2026 · 10 분 · 서소영
원고의 종합 도판이다. 윗줄 왼쪽에는 꽃잎 모양의 빨간 그리보프 지평선과 그 안쪽의 파란 점선 영역이 있다. 노란 원은 특이점, X 표시는 그리보프 복제를 뜻한다. 가운데에는 양수인 파란 스펙트럼 밀도와 음수 구간이 있는 빨간 곡선이 있다. 오른쪽에는 복소 평면의 윅 회전 경로와 별 모양의 극 네 개가 있다. 아랫줄 왼쪽에는 ℝ⁴에서 공리 체계가 무너지는 여덟 단계가 적혀 있고, 오른쪽에는 콤팩트 진공 다양체를 설명하는 초록 상자가 있다.

The Yang-Mills Mass Gap on ℝ⁴ Is Ill-Posed, and on a Compact Constructible Manifold It Is Automatic

벨라루스의 빅토르 로그비노비치가 Zenodo에 올린 단독 저자 프리프린트다. 클레이 수학연구소가 밀레니엄 문제로 내건 양-밀스 질량 간극 문제가 ℝ⁴에서는 모순을 품은 정식화라고 주장하고, 콤팩트 다양체 S⁴×T³에서는 간극이 자동으로 생긴다고 논증한다. 저자는 이 원고가 클레이 문제의 문자 그대로의 해법은 아니라고 밝히고, 판정을 위원회와 학계에 맡겼다.

September 24, 2026 · 9 분 · 서소영
FrontierMath Tiers 1-4 배너. 어두운 청록 바탕에 기하 도형과 수학 기호가 흩어져 있다

FrontierMath: Benchmarking AI against advanced mathematical research

Epoch AI의 수학 벤치마크 프로그램이 세 갈래로 갈라졌다. 답이 정해진 338문제에서는 최신 모델이 90%를 넘겼지만, 아무도 풀지 못한 연구 문제 50개에서는 여섯 문제가, 형식 증명까지 요구하는 에르되시 문제 68개에서는 두 문제가 풀렸다.

September 11, 2026 · 9 분 · 서소영

Ten advances in mathematics and theoretical computer science

OpenAI가 차기 모델 Astra의 내부 버전으로 10년 넘게 진전이 없던 수학과 이론전산학 난제 10건에 새 결과를 내고, 각 증명을 Lean으로 형식화해 공개했다.

August 2, 2026 · 5 분 · 서소영

야코비안 추측이 깨졌다 — 프론티어 AI가 푼 수학 난제들 (2025-2026)

2026년 7월 20일, 야코비안 추측이 87년 만에 반례로 깨졌다. Claude Fable 5가 만든 반례를 시작으로, 2025~2026 프론티어 AI가 손댄 수학 난제들과 그에 대한 수학계의 낙관·회의·제도적 대응을 한자리에 모아 정리한다.

July 20, 2026 · 10 분 · 서소영
선언 헤더 이미지 — 수식과 AI

Leiden Declaration on Artificial Intelligence and Mathematics

5개국 16명의 수학자가 작성하고 국제수학연맹(IMU)이 지지한 선언. AI가 수학의 핵심 가치 — 증명·귀속·검증·자율성 — 를 위협한다고 진단하고, 개인·기관·정부·산업을 향한 23개 권고를 제시한다.

June 3, 2026 · 6 분 · 서소영