-
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__/…
-
[AI뉴스] OpenAI GPT-next, 80년 된 Erdős 평면 단위 거리 추측을 1000달러 미만으로 증명
[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000
a quiet day but a nice result in AI x mathematics
-
OpenAI 모델이 이산 기하학의 중심 추측을 반박했다
An OpenAI model has disproved a central conjecture in discrete geometry | OpenAI
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.