수학에 특별히 훈련되지 않은 OpenAI의 추론 모델이 조합 기하학에서 상당한 진전을 이루었습니다. 80년 만에 처음으로, 단위 거리 쌍이 최소 n^(1+δ)개인 무한 구성군의 존재가 증명되어, 1940년대부터 연구를 이끌어 온 추측이 반박되었습니다.
AI가 인간이 놓친 것을 어떻게 찾아냈는가 🧠
이 모델은 수학자들이 비생산적이라고 여겼던 고차원 공간에서 점들의 조합을 탐색했습니다. 비지도 검색 패턴을 적용하여, 고정된 δ가 0보다 큰 단위 쌍의 다항식 성장을 생성하는 구조를 식별했습니다. 이 결과는 이전 추측을 무효화할 뿐만 아니라, 1946년 이후 전통적인 방법으로는 달성하지 못했던 구체적인 예시를 구성하는 길을 열어줍니다.
수학자 여러분, AI가 손쉽게 여러분을 이겼습니다 😅
인간들이 한계가 ε이 0에 가까워지는 n^(1+ε)인지 논쟁하는 동안, AI는 와서 말했습니다: 자, 여기 고정된 δ와 무한 군을 테이블 위에 두고 갑니다. 재미있는 점은 이 모델이 수학 천재가 아니라, 범용 문제 해결사라는 것입니다. 이제 수학자들이 왜 이것을 먼저 생각하지 못했는지 설명하거나, 적어도 발견하려고 하고 있었다고 가장해야 할 때입니다.