Para peneliti mengusulkan Danus, sebuah sistem orkestrasi untuk penalaran matematika tingkat penelitian yang memanfaatkan grafik fakta bersama sebagai mekanisme manajemen memori global. Sistem ini mengoordinasikan agen utama untuk perencanaan dan beberapa agen pekerja yang melakukan pencarian bukti paralel, menggunakan verifier tanpa keadaan untuk memeriksa klaim sebelum masuk ke dalam grafik.
- Danus menyimpan fakta yang telah diverifikasi beserta bukti dan ketergantungan logisnya untuk membangun argumen panjang secara bertahap sambil menjaga status bukti bersama tetap terorganisir.
- Agen utama secara berkala meringkas status bukti yang berkembang, mengarahkan ulang pekerja ke arah yang menjanjikan, dan mendukung interaksi dengan matematikawan manusia melalui laporan kemajuan.
- Evaluasi melalui enam studi kasus tingkat penelitian dalam geometri aljabar, teori singularitas, dan kombinatorik mengilustrasikan bagaimana mekanisme grafik fakta memungkinkan konstruksi bukti matematika yang panjang dan mendetail.
Hasilnya menunjukkan bahwa orkestrasi berbasis grafik fakta menyediakan jalur yang efektif menuju penskalaan agen penalaran matematika untuk masalah penelitian jangka panjang.