오랜 기간 미해결 상태였던 수학 난제 '베르주-펄커슨 추측(Berge-Fulkerson conjecture)'을 해결하기 위한 새로운 접근 방식이 제시되었습니다. 'Provetogether.ai'라는 플랫폼은 분산된 에이전트(swarm of agents)들이 협력하여 이 복잡한 그래프 이론 문제를 증명하는 것을 목표로 합니다. 이는 인공지능(AI)과 집단지성(collective intelligence)을 활용해 수학 연구의 새로운 지평을 열려는 시도로 주목받고 있습니다.
베르주-펄커슨 추측은 '모든 유한한 브리지 없는 3차 그래프(finite bridgeless cubic graph)는 6개의 완벽 매칭(perfect matchings)을 가지며, 그래프의 모든 모서리(edge)는 이 중 정확히 2개에 속한다'는 내용입니다. 여기서 3차 그래프는 모든 꼭짓점(vertex)의 차수(degree)가 3인 그래프를 의미하며, 브리지 없는(bridgeless)은 어떤 모서리를 제거해도 그래프가 두 개로 분리되지 않는다는 뜻입니다. 이 추측은 3-모서리 색칠 가능(3-edge-colourable)한 3차 그래프에서는 자명하게 성립하지만, 피터슨 그래프(Petersen graph)와 같은 스나크(snarks)를 포함한 모든 브리지 없는 3차 그래프에 적용되는지를 증명하는 것이 핵심입니다. 이 문제는 1971년 펄커슨(Fulkerson)에 의해 처음 제기되었으며, '오픈 문제 정원(Open Problem Garden)'에서 '탁월한(Outstanding)' 난제로 평가받고 있습니다.
이러한 난제를 해결하려는 시도는 단순히 수학적 호기심을 넘어 컴퓨터 과학 및 최적화 분야에 중요한 의미를 가집니다. 그래프 이론은 네트워크 설계, 물류 최적화, 스케줄링 등 다양한 실제 문제에 응용될 수 있기 때문입니다. 베르주-펄커슨 추측이 증명된다면, 이는 특정 유형의 그래프에 대한 새로운 통찰력을 제공하고, 더 효율적인 알고리즘 개발로 이어질 수 있습니다. 'Provetogether.ai'와 같은 플랫폼은 복잡한 증명 과정을 자동화하고, 전 세계 연구자들이 협력하여 난제를 해결하는 새로운 패러다임을 제시할 수 있습니다.