GPT-5.6, 맥스웰 추측을 반박하는 데 도움 — 그러나 모두가 생각했던 그 추측은 아님
OpenAI
arXiv에 게재된 사전 인쇄본이 점전하의 평형점 최대 개수에 관한 이른바 맥스웰 추측을 반박한다고 주장하며, 핵심 아이디어는 OpenAI의 GPT-5.6 Sol 모델에 기인한 것으로 알려졌다. 2007년에 정식화된 이 추측은 n개의 전하에 대해 (n−1)²개의 비퇴화 평형점 상한을 다루었다. 반례는 5개의 전하 배열을 사용하여 예측된 16개를 초과하는 최소 24개의 평형점을 산출한다.
7월 29일, '맥스웰 추측이 거짓이다'라는 제목의 짧은 논문이 arXiv에 게재되었습니다. 다음 날 아침, 공동 저자인 필립 아라툰은 소셜 미디어에 추측이 거짓이며 AI가 반례를 찾았고 수학자들은 단지 그것을 전달했을 뿐이라고 썼습니다. OpenAI의 사장인 그렉 브록맨이 이를 리트윗하면서 소식이 퍼졌습니다. 그러나 많은 사람들이 맥스웰 방정식과 관련된 것으로 오해하여 전자기학에 대한 질문을 하기도 했습니다. 실제 추측은 2007년 가브리엘로프, 노비코프, 샤피로가 공식화한 것으로, n개의 점전하에 대한 비축퇴 평형점의 최대 개수에 관한 것이며, 최대 (n−1)²이라고 제안되었습니다. 반례는 정삼각형의 꼭짓점에 있는 세 개의 단위 전하(4개의 평형점 제공)와 수직 축을 따라 추가된 두 개의 아주 작은 전하로 구성되어, 중심 평형점이 21개의 새로운 평형점으로 분할되어 총 최소 24개가 됩니다. 추가된 전하의 크기는 유일하게 결정된 계수와 함께 ε³으로 스케일링되어야 합니다. 논문은 언어 모델 GPT-5.6 솔에게 구성 아이디어를 제안한 공을 돌렸으며, 저자들은 수학을 검증했고 Mathematica와 Maple을 사용하여 확인했습니다. 그 중요성에 대해서는 논쟁이 있습니다: 일부는 틈새 분야라고 부르지만, 이는 AI에 대한 테스트 역할을 하며, 참된 성장 차수는 여전히 알려지지 않았고, 이전의 한계는 초지수적이었습니다. 결과는 동료 검토와 Lean에서의 형식화가 부족하지만, 기초적이고 재현 가능하며, 5일 이내에 공개적으로 반대하는 사람은 없었습니다.
출처: Habr — хаб ИИ —
원문
