SNS 타임라인에 「OpenAI Astra, 10개 난제를 $2,000에 풀었다」는 카드가 떠도, 실무 독자의 다음 질문은 하나로 수렴합니다. 「그래서 내가 내일 뭘 바꾸면 되나?」 답은 제품 설정이 아니라 정보 정리에서 시작합니다. 2026년 8월 1일 Ten advances in mathematics and theoretical computer science는 내부 Astra가 10개의 오래된 열린 문제에 대해 해결 또는 중대한 진전을 냈다고 발표했고, 각 결과에 Lean 4 certificate와 GitHub, 일부 walkthrough를 붙였습니다.
이 글의 한 가지 주장은 다음과 같습니다. 「10건은 AI 수학 연구 루프의 강한 신호이지만, 10건 모두가 동일한 검증·credit·impact tier는 아니다.」 SEO·PR·AX 팀은 목록·Lean·비용·인용 논쟁·항목별 scope를 한 페이지에 등급화해 주는 것이 독자에게 가장 큰 가치입니다.
갱신 기준 — 2026-09-11 작성. Clay·밀레니엄·「완전 해결」 표현은 Navier–Stokes 별도 글에서 다룹니다. 인용 논쟁 deep dive는 AI 수학 증명과 인용을 참고하세요.
이미지: 게시 전 Linkme Blob 커버·본문 일러스트로 교체 권장. 캡션은 「informal discovery → Lean verification」 흐름을 설명합니다.
타임라인 — 8월 10건이 앉는 자리
시점
자주 묻는 질문
10건 모두 「세계 최초 증명」인가요?⌄
아닙니다. 항목마다 선행 연구·인용·의미 해석이 다르며, 일부는 학계에서 독창성·인용 문제가 제기되었습니다.
Lean certificate만 보면 충분한가요?⌄
Lean은 formal statement에 대한 기계 검증입니다. 정의가 원 문제와 같은지, 아이디어 credit은 별도의 human review가 필요합니다.
$2,000 compute는 무엇을 의미하나요?⌄
Sol API 단가로 환산한 탐색 토큰 비용의 상징적 숫자이며, 인건비·후편집·전체 연구비를 대표하지 않습니다.
비-sofic 결과만 특별한가요?⌄
보도상 전문가가 긍정적으로 언급한 대표 사례로 꼽히지만, 다른 항목도 각 커뮤니티에서 별도 검토 중입니다.
블로그에 10개를 한 글에 써도 되나요?⌄
가능하지만, 항목별 난이도·검증 상태가 다르므로 표와 소제목으로 구분하고 과장 단정을 피하는 것이 좋습니다.
사건
독자가 기억할 한 줄
2026-05
Erdős unit-distance disproof 공유
평가 파이프라인이 연구 결과를 뱉을 수 있음
2026-08-01
10 advances + Lean
portfolio sweep, not single problem
2026-08
SA 등 인용·독창성 보도
credit layer dispute 시작
2026-09-03~
GPT-6 Astra 제품 GA
이름 collision — product vs internal
2026-09-08
Navier–Stokes
다른 scale — agents·88h narrative
Lean certificate — 10번 반복해서 읽어야 하는 문장
OpenAI는 각 논증을 Lean 4로 formalize했다고 합니다. 아래 표는 마케팅 문장을 정확한 문장으로 바꿉니다.
흔한 표현
정확한 표현
아직 아닌 것
AI가 증명했다
Lean에 올린 formal statement에 대한 proof term이 check됐다
전 수학 커뮤니티 peer review 완료
난제 해결
특정 open problem에 대한 claimed resolution/release
Clay prize·100년 검증
재현 5분
repo checkout 후 build 가능 (환경·commit 일치 시)
API 한 번 호출로 동일 discovery
$2,000에 끝
Sol API 환산 탐색 토큰 상징
전체 연구비·인건비
비-sofic을 제외한 항목도 「Lean OK」≠「idea credit OK」 입니다. Scientific American이 지적한 sphere packing·soficity 계열은 literature overlap 질문이 아직 열려 있습니다.
$2,000 compute — 숫자를 쓸 때 붙일 각주
OpenAI는 솔루션 탐색에 쓴 토큰을 Sol API 단가로 환산해 약 2,000달러라고 설명했습니다. Forbes·TNW 등은 「10년+ 문제 10개」 프레이밍을 강조했지만, 「10년간 zero progress」 류 표현은 과장으로 지적되며 OpenAI가 문구를 완화했다는 보도가 있습니다. 블로그 각footnote template:
Include: Sol API 환산, 탐색 phase, 2026-08-01 발표
Exclude: 「전체 수학 연구비」「모든 문제 10년 stagnation」
10개 결과 — 항목별 deep dive
OpenAI 목록을 분야별로 풀었습니다. 각 블록은 같은 5-layer: 배경 → 주장 → 검증·논쟁 → Lean → AX/콘텐츠.
1. 고차원 구 배치 (sphere packing)
문제 배경 — 구를 가능한 한 빽빽이 채우는 밀도의 상한은 centuries-old motivation을 갖습니다. 8차원·24차원 등에서는 famous results가 있지만, 일반 차원에서의 sharp bound는 여전히 open landscape의 일부입니다. OpenAI는 Cohn–Elkies linear programming bound 프레임워크 근처에서 density upper bound를 개선했다고 주장합니다.
OpenAI 주장 요지 — internal Astra가 기존 threshold 근처의 barrier를 넘는 construction·estimate를 찾았고, 이를 Lean 4 certificate와 함께 공개했다는 narrative입니다. 독자는 「몇 % 개선」 같은 숫자보다 「어떤 정리 statement가 Lean에 올라갔는가」를 먼저 확인해야 합니다.
학계·보도 맥락 — Scientific American 등은 이 결과와 2016년 Miller 등의 argument overlap 가능성을 지적했습니다. 즉 「새 bound」와 「새 credit」은 동시에 확정되지 않습니다. 콘텐츠 팀은 「OpenAI가 bound 개선을 주장, 인용·독창성 논의 중」이 안전합니다.
AX 비유 — 에이전트가 수치 실험 코드를 돌려 bound 후보를 찾고, 사람이 정리 statement를 고정한 뒤 Lean job을 CI에 넣는 그림입니다. 링크미 승인 게이트처럼 「수치 OK → formal publish」 사이에 human gate가 있어야 신뢰가 유지됩니다.
2. 이진·구면 코드 (coding theory)
문제 배경 — 최소 거리 d를 고정했을 때 코드 크기의 지수적 exponent를 키우는 것은 정보·통신 이론의 core trade-off입니다. Gilbert–Varshamov bound와 Hamming sphere-packing intuition 사이에서 작은 exponent gain도 이론적으로 의미가 큽니다.
OpenAI 주장 요지 — binary 및 spherical code setting에서 exponential improvement를 주장합니다. 실무 독자에게는 「Wi-Fi 속도가 내일 바뀐다」가 아니라 「극한 이론에서 best known exponent가 움직였다」는 research frontier 메시지입니다.
검증 상태 — Lean repo의 theorem name·hypothesis를 열면 「어떤 파라미터 regime인지」가 드러납니다. 블로그는 regime 없이 「코딩 이론 혁명」이라 쓰지 않는 편이 좋습니다. 표로 「주장 / regime / 검증」을 나누세요.
콘텐츠 각도 — B2B SaaS가 「에러 correcting analogy」로 비유할 수는 있지만, 실제 product SLA와 연결하면 과장입니다. 대신 「AI가 literature search + construction search를 병렬화」라는 R&D ops 스토리가 honest합니다.
내부 링크 습관 — 깊은 글은 생성형 검색 가시성 체크리스트처럼 출처·FAQ·표를 갖춰야 합니다. 코드 이론 글도 FAQ 5개+가 GEO에 유리합니다.
3. 비-sofic 군 (group theory)
문제 배경 — sofic group은 1999년 Gromov 이후 large class of groups를 다루는 language가 됐습니다. explicit non-sofic group construction은 decades-long motivation을 갖습니다. OpenAI는 명시적 non-sofic group을 구성했다고 주장합니다.
왜 이 항목이 spotlight인가 — 보도·MathOverflow 인용에 따르면 전문가(예: Andreas Thom)가 「elementary and creative」 쪽으로 언급한 대표 positive case로 꼽히기도 합니다. 10건 전체가 같은 온도는 아닙니다 — 항목별 등급(labeling) 이 좋은 journalism입니다.
Lean layer — group definition·non-sofic property가 formal statement에 어떻게 encode됐는지가 핵심입니다. 비수학자는 「Lean = that specific formal definition에 대한 proof」 정도만 이해해도 충분합니다.
인용 논쟁과의 거리 — soficity 쪽은 다른 항목(구 배치) 과 달리 positive expert tone이 더 많았다는 보도가 있습니다. 그래도 「유일한 확실한 breakthrough」로 단정하면 안 됩니다 — peer process ongoing.
스토리텔링 — 독서 노트 공개 페이지처럼 「한 주제를 여러 달 파고드는」 narrative와 닮습니다. AI는 parallel search, human expert는 problem taste — division of labor를 설명하기 좋은 예입니다.
4. Connes rigidity conjecture (operator algebras)
문제 배경 — von Neumann algebra와 rigidity conjecture는 operator algebra 커뮤니티의 deep program입니다. counterexample 또는 refutation direction 결과는 narrow but expert audience를 갖습니다.
OpenAI 주장 요지 — 특정 rigidity conjecture에 대한 반증(counterexample direction) 을 주장합니다. 독자층이 좁기 때문에 SEO 키워드보다 「OpenAI 10건 중 algebra 항목」 정도의 hub linking이 현실적입니다.
문제 배경 — CVP approximation hardness는 lattice crypto intuition과 연결됩니다. polynomial factor hardness는 factor size에 민감합니다.
OpenAI 주장 — 특정 approximation factor regime에서 hardness result를 주장합니다. Crypto adjacent topic이므로 「실무 키 길이 변경」 같은 jump는 금지.
독자 segment — security PM·crypto engineer는 factor·reduction assumptions를 봅니다. general marketer에게는 「lattice problem hardness frontier」 한 줄 요약 + 링크로 충분.
내부 예시 — 프리랜서 체크리스트 페이지는 「claim마다 checkbox」 UX입니다. hardness 글도 「assumption checklist」 표를 넣으면 같은 mental model입니다.
8. Ehrhart volume conjecture (discrete geometry)
문제 배경 — Ehrhart polynomial과 volume conjecture는 integer point geometry의 beautiful problem family입니다. maximum volume by dimension 주장은 combinatorial geometry crowd를 targets합니다.
OpenAI 주장 — dimension별 max volume result를 주장. Low-dimensional intuition과 high-d formal proof gap을 독자에게 알려 주세요.
교육적 가치 — 10건 중 visualizable에 가까운 topic. 다이어그램 한 장으로 integer polytope intuition을 주면 체류 시간이 늘어납니다.
갱신 — conjecture 이름·dimension range는 community comment에 따라 문구 수정 가능. updatedAt 메타를 블로그에 노출하세요.
9. 다색 Ramsey — Erdős problem 183
문제 배경 — Erdős problems는 numbered open problem database처럼 관리됩니다. Problem 183 resolution claim은 combinatorics community에서 instant audit됩니다.
OpenAI 주장 — multicolor Ramsey setting에서 183 관련 result. Erdős 이름은 SEO magnet — problem number + exact statement를 함께 써야 합니다.
문제 배경 — extremal graph theory에서 Erdős 146, 180 등 numbered problems는 precise constants fight입니다. Graph keyword는 CS audience에게 friendly합니다.
OpenAI 주장 — extremal graph result tying to 146, 180. Graph extremal expert가 statement equivalence를 확인 중일 수 있습니다.
블로그 팁 — 「10개 중 combinatorics block」 으로 183·146·180을 한 표에 모아 스캔하게 하세요.
마무리 narrative — 10건은 「single AGI magic proof」가 아니라 「parallel open-list sweep」 신호. R&D 조직에게는 portfolio of attempts 모델입니다.
언론·커뮤니티 — 온도 차이를 등급으로
등급
의미
이 글에서의 쓰임
A
Lean + expert positive tone (例: non-sofic 일부 언급)
「대표 positive case, still reviewing」
B
Lean OK, credit debate
「formal OK, attribution debated」
C
statement scope narrow
「expert-only, hub에서 짧게」
D
발표 직후 · 정보 부족
「follow official repo + specialists」
TNW·Forbes 등은 speed·cost narrative를 키웠고, SA는 ethics·citation narrative를 키웠습니다. 둘 다 true slice일 수 있습니다 — 한쪽만 골라 hero story를 만들면 B2B 신뢰가 깎입니다.
헤드라인을 읽을 때 — 독자용 체크
SNS 카드에 「10개 난제」, 「$2,000」, 「Astra」만 보이면, 아래 세 가지를 먼저 떠올리면 오해가 줄어듭니다. (1) 10건은 분야가 서로 다르다 (2) $2k는 탐색 토큰 환산이다 (3) Astra 이름은 제품과 research stack이 겹칠 수 있다. 이 hub 글과 GPT-6 Astra 개요를 함께 보면 이름 collision을 정리하기 쉽습니다.
실물 페이지로 배우는 「한 줄 claim」 규율
수학 글이 링크미와 만나는 지점은 「한 줄 주장의 검증 가능성」입니다.
숏폼 크리에이터 (https://link.me.kr/p/0rucb3pv) — 「첫 5초에 무엇을 보여주는가」가 관찰 가능합니다. 수학 헤드라인도 「첫 5초 claim」 — 「10개」「$2k」「난제」— 을 각각 출처와 연결해야 합니다.
8월 10건은 「AI가 open problem list를 parallel로 긁을 수 있다」는 강한 evidence입니다. 동시에 credit·인용·semantic review layer는 human institution 그대로입니다. 독자에게 유용한 hub 글은 hero headline을 그대로 복사하지 않고, 10행 표 + Lean이 보장하는 범위 + $2k 각주 + 항목별 scope를 한 페이지에 모아 두는 것입니다.
심화 — 「10개 난제」라는 말을 쓸 때
10건은 Erdős 번호, complexity, group theory 등 서로 다른 open list입니다. 헤드line은 짧아도 본문에서는 분야명을 복원해 주는 것이 학생·기자에게 정확합니다.
심화 — $2,000 숫자
Sol API 환산·탐색 phase·2026-08-01 출처를 함께 적으면 「수학이 $2k에 끝났다」 오해를 막을 수 있습니다.
심화 — non-sofic만 키워드로 밀 때
non-sofic은 긍정적 전문가 언급이 있었던대표케이스로 보도되기도 했지만, 나머지 9건과 같은font로 쓰면misleading입니다.
