10년 넘게 돌린 프로그램이 100년 넘은 수학적 추측을 깨뜨리다

두 명의 수학자가 10년 넘게 프로그램을 실행하여 오랫동안 풀리지 않았던 가법 추측을 마침내 반증했습니다. 그들이 구축한 방대한 데이터베이스를 사용하여 수백만 개의 매듭을 처리하여 추측을 뒤엎는 반례를 발견했습니다. 이 이야기는 끈기와 정교한 방법의 힘을 보여주며, 언뜻 보기에 단순한 수학 문제 속에 숨겨진 헤아릴 수 없는 어려움을 드러냅니다.