-
인간 수학자, 반례 찾기에서 AI에 추월당하다
인간 수학자, 반례 찾기에서 AI에 추월당하다 | GeekNews
<ul> <li>ChatGPT와 Claude 계열 모델이 불과 몇 주 사이 Erdős의 단위 거리 추측, Grothendieck의 군 스킴 질문, <strong>Jacobian Conjecture</strong>에 반례를 만들었으며 일부는 Lean으로 검증됨</li> <li>OpenAI의 <strong>Sol</stron…
인간 수학자, 반례 찾기에서 AI에 추월당하다 | GeekNews
<ul> <li>ChatGPT와 Claude 계열 모델이 불과 몇 주 사이 Erdős의 단위 거리 추측, Grothendieck의 군 스킴 질문, <strong>Jacobian Conjecture</strong>에 반례를 만들었으며 일부는 Lean으로 검증됨</li> <li>OpenAI의 <strong>Sol</stron…