EN A coordinated fleet of AI research agents reportedly solved a mathematical conjecture that had stumped mathematicians for nine decades, finishing the work in just 88 hours.
KO AI 에이전트 무리를 동원해 90년간 미해결이던 수학 난제를 단 88시간 만에 증명했다는 소식이 전해졌다.
EN The '10,000 AI researchers' framing is more marketing than math — what matters is whether the proof holds up to peer review, not the headline speed. If verified, it's a genuine landmark for AI-assisted mathematics; if not, it joins a growing list of AI claims that outran verification.
KO '1만 명 AI 연구원'이라는 표현은 실제 성과보다 마케팅에 가깝다. 관건은 속도가 아니라 이 증명이 동료 검증을 통과하느냐다. 검증되면 AI 보조 수학의 이정표가 되겠지만, 아니라면 '검증보다 앞서 나간 AI 주장' 목록에 하나 더 추가될 뿐이다.
- conjecture — (수학) 추측, 증명되지 않은 가설
- peer review — 동료 학자에 의한 검증
- landmark — 이정표, 획기적 사건