EULER to system multiagentowy stworzony do automatycznego odkrywania połączeń między różnymi gałęziami matematyki w celu rozwiązywania trudnych problemów. Zamiast rozwiązywać hipotezę bezpośrednio w jednej dziedzinie, system szuka mostów - transferów problemu do innych reprezentacji matematycznych - które mogą ujawnić ukryte operacje lub narzędzia niedostępne w pierwotnej formie.
System pracuje poprzez uruchamianie konkurencyjnych tras: bezpośredniej (w ramach jednej dziedziny), przylegającej (do sąsiednich obszarów) oraz odległej (do niezwiązanych dziedzin). Każdy most podlega sześciu testom weryfikacyjnym zanim system rozpocznie kosztowne poszukiwania, a dowody muszą wrócić do pierwotnego stwierdzenia poprzez sprawdzone implikacje. EULER oceniono na 120 niedawnych hipotezach z kombinatoryki pochodzących z artykułów opublikowanych w Journal of Combinatorial Theory, Series A.
Wyniki są obiecujące: system uzyskał 10 pełnych dowodów, 3 obalenia hipotez oraz 45 częściowych wyników. Kluczowe odkrycie ujawniło, że stress testy redukują błędne wnioski z 9 do 3, a połączenie mostów z operacjami specyficznymi dla danej dziedziny generuje synergię wynoszącą +4.2 dodatkowych rozwiązanych zadań. Co interesujące, fizyczna odległość między dziedzinami nie przewidywała sukcesu - najważniejsze były możliwości operacyjne i poprawność zwrotu dowodu.