에르되시 문제는 재미와 드라마의 무한한 원천인 것 같네요 🤣. 하모닉이 어제 풀었던 문제는 #124의 "쉬운" 버전이고, 어려운 버전은 여전히 미해결 상태인 것으로 밝혀졌습니다! (재밌게도, 인간이 공식화한 린 정형화 버전은 "쉬운" 버전보다 훨씬 약했지만, 이 이야기는 다음에 하죠.) 에르되시-AI 문제에 관해서는, gpt-5 논문에서 설명한 #848이 AI와 인간이 협력하여 해결한 가장 깔끔한 문제입니다. 그리고 10년 이상 된 미해결 문제 중 AI로 완전히 해결된 사례라면, 4장 3절이 좋은 예라고 생각합니다. 2012년부터 공개되었지만, 약 O(10)번의 인간이 각각 몇 주 동안 이 문제를 살펴보았습니다. 그리고 항상 기억해야 할 중요한 점은, 이 문제는 실제 인간 수학자에게 유용한 경우에만 유용하다는 것입니다. 그 외에는 다른 요점은 없습니다.
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.