-
Terrence Tao의 Jacobian 추측 반례에 관한 ChatGPT 대화
Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample
<p>Article URL: <a href="https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56">https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56</a></p> <p>Comments URL: <a …
-
인간 수학자, 반례 찾기에서 AI에 추월당하다
인간 수학자, 반례 찾기에서 AI에 추월당하다 | GeekNews
<ul> <li>ChatGPT와 Claude 계열 모델이 불과 몇 주 사이 Erdős의 단위 거리 추측, Grothendieck의 군 스킴 질문, <strong>Jacobian Conjecture</strong>에 반례를 만들었으며 일부는 Lean으로 검증됨</li> <li>OpenAI의 <strong>Sol</stron…
-
GPT-5.6 Sol Ultra가 제시한 사이클 이중 덮개 추측 증명
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
<p><a href="https://x.com/__eknight__/status/2075643450196971805" rel="nofollow">https://x.com/__eknight__/status/2075643450196971805</a>, <a href="https://xcancel.com/__eknight__/…