[📪정보] 짚 54 와 오푸스 4.6 을 사용해서 수학자들이 문제를 해결한 과정

[익명(scale9740)]

링크 : https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf

문제는 대충 이런 문제 
모든 화살표를 겹치지 않게 정확히 3개로 나눠서, 각 부분이 전체 m3m^3m3개의 점을 한 번씩 도는 거대한 방향 순환이 되게 할 수 있는가?
그리고 이것을 모든 m>2m>2m>2 에 대해 일반적으로 할 수 있는 방법이 있는가?

돈 크누스는 몇주 동안 헤매다가 클로드 4.6으로 31번째 탐색 끝에 홀수의 경우 완벽히 작동하는 코드를 만들어냈다고 함 
그 이후 엄밀한 증명은 인간 이 함 

짝수의 경우는 오푸스 4.6을 4시간 정도 돌리면서 어느정도 진전은 있었지만 해결은 못했다고 함 

그 후 다른 연구자(Ho Boon Suan)가 8보다 크거나 같은 짝수에 대해서 분해를 생성하는 코드를 5.3 코덱스가 만들어냄 
테스트할때 잘 작동하긴 했지만 모든 케이스에 대해서 엄밀하게 증명하려면 엄청 복잡했음 (m이 2000일 경우 정점이 80억개)

그런데 그 이후 Ho Boon Suan이 5.4 pro한테 엄밀한 증명을 요청했더니 
14페이지의 훌륭한 논문이 나왔고 전혀 수정할 부분이 없었다고 함 

[레알팜(lottohelp)]

[익명(shore1232)]

Ho Boon Suan이 5.4 pro한테 엄밀한 증명을 요청했더니 <- 이거 코드까지 맥락으로 준건가? 아님 문제만 주고 증명 요청했나

[익명(scale9740)]

전체 대화를 그 사람이 올렸음
https://chatgpt.com/share/69aaab4b-888c-8003-9a02-d1df80f9c791