ended7월 21일· 1 sources
인간 수학자, 반례 찾기에서 AI에 추월당하다
Why it matters
- ChatGPT와 Claude 계열 모델이 불과 몇 주 사이 Erdős의 단위 거리 추측, Grothendieck의 군 스킴 질문, Jacobian Conjecture에 반례를 만들었으며 일부는 Lean으로 검증됨 - OpenAI의 Sol은 Erdős 반례와 필요한 전역 유체론 결과를 3주 만에 120만 줄의 Lean 코드로 형식화했으며, 이는 9년간 작...
1
Sources
+0
24h
—
Growth
62d
Active