Badacze opracowali RMA, zautomatyzowany system agentowy zdolny do rozwiązywania zaawansowanych problemów matematycznych na poziomie badawczym. System łączy zdolności large language models z technikami wyszukiwania i weryfikacji, umożliwiając rozwiązywanie problemów wymagających głębokich rozumowania matematycznego. To ważne dla rozwoju AI zdolnych do złożonych zadań badawczych i potencjalnie przyspieszenia odkryć naukowych.