2026년 5월 24일 (일)

[01]

주요 소식

1. OpenAI 추론 모델이 80년된 Erdős 추측 반증 — AI 순수 수학 첫 자율 기여

OpenAI의 일반 목적 추론 모델이 1946년 Paul Erdős가 제기한 planar unit distance problem의 핵심 추측을 반증. 무한한 점 배치 패밀리 발견 (n^(1+0.014) 단위 거리 쌍, Princeton Will Sawin 검증). (source)
수학 전용 시스템이 아닌 일반 reasoning 모델이 chain-of-thought만으로 달성. 인간 수학자들이 모델의 추론 트랜스크립트에서 아이디어를 추출해 형식 증명으로 재작성.
왜 중요한가: 이전까지 AI 수학 성과는 기지의 문제를 풀거나(IMO) 보조 도구에 그쳤음. 이번은 진짜 미해결 문제의 자율 반증 첫 사례 — OpenAI "Year of Science"의 가장 강한 실증. DeepMind Aletheia(IMO 금메달)와 함께 순수 수학 AI가 진지한 연구 도구 단계에 진입했음을 보여줌.
→ An OpenAI model has disproved a central conjecture in discrete geometry, Reasoning Models, OpenAI

[02]

OpenAI — Erdős Planar Unit Distance Problem — openai.com 발표

TL;DR: 일반 reasoning 모델 (chain-of-thought)이 Golod-Shafarevich 이론 기반 대수적 정수론을 적용해 Erdős 1946 추측의 반례 무한 패밀리 발견. δ=0.014 (Princeton Will Sawin 검증). 외부 수학자 검증 완료.
왜 봐야 하나: AI가 과학/수학에서 "보조" 역할을 넘어 "자율 기여"를 할 수 있는지에 대한 가장 강한 empirical 증거. reasoning 모델의 적용 범위 재정의.
→ An OpenAI model has disproved a central conjecture in discrete geometry

[03]

Mistral, Emmi AI 인수 (2026-05-22): Physics AI 스타트업(CFD·열전달·재료 시뮬레이션) 인수, 30명+ 연구원 합류. 조건 비공개. Mistral이 언어 모델·코딩 에이전트를 넘어 물리 시뮬레이션 AI로 확장. 유럽 산업 AI 포지셔닝 강화 — ASML, ESA, Ericsson 등 기존 고객 기반에 직접 연결 가능. → Mistral AI (source)
OpenAI 수학 AI 트렌드 비교: DeepMind Aletheia (IMO 금메달, 18개 미해결 수학 문제) vs OpenAI reasoning model (Erdős 반증) — 두 접근법 모두 순수 수학 frontier에 진입. 2026년 "AI in science"가 hype에서 실증으로 전환하는 속도 주목.

[04]

[05]

[06]

오늘은 일요일이므로 주간 lint 실행. → lint-2026-W22 참조.