EULER는 수학의 서로 다른 분야 사이에서 문제를 옮겨 푸는 '다리(bridge)' 자체를 탐색 단위로 삼는 다중 에이전트 시스템이다. 하나의 추측을 두고 직접 경로, 인접 분야 경로, 원거리 분야 경로를 경쟁적으로 실행하며, 원래 표현으로는 불가능한 연산을 제공하고 검증된 함의를 통해 원래 명제로 되돌아올 수 있는 다리만 예산을 유지하도록 여섯 단계의 순차적 스트레스 테스트로 걸러낸다. 조합론 전문지 JCTA 최근 발표 저자들의 논문에서 뽑은, 오염 검사를 마친 120개 최신 추측에 실험한 결과 EULER는 10건의 증명과 3건의 반증, 45건의 부분적 결과를 산출했다. 다리별 스트레스 테스트로 오답 결론이 9건에서 3건으로 줄었고, 다리 소재와 목표 도메인 고유 연산의 결합이 단독으로는 얻을 수 없는 +4.2건의 추가 해결 효과를 냈으며, 분야 간 거리보다 실행 가능한 연산 이득과 유효한 복귀 여부가 성공을 더 잘 예측했다.

• •서로 다른 수학 분야 간 문제 이전 '다리'를 탐색 단위로 삼는 다중 에이전트 시스템 EULER 제안
• •6단계 순차적 스트레스 테스트로 무효한 다리를 비용 투입 전에 거른
• •JCTA 기준 120개 신귀 추측에서 10건 증명, 3건 반증, 45건 부분 결과 도출
• •다리별 스트레스 테스트가 오답 결론을 9건에서 3건으로 감소
• •분야 거리보다 실행 가능한 연산 이득과 유효한 복귀 여부가 성공을 더 잘 예측