Sebuah studi baru memperkenalkan Stasiun, lingkungan dunia terbuka di mana agen AI dari berbagai keluarga model berkolaborasi dalam penelitian matematika tanpa koordinator pusat. Sistem ini memungkinkan agen untuk memilih arah mereka sendiri, menjalankan eksperimen, dan membangun literatur bersama.

Melalui 12 masalah dari katalog Alpha Evolve dan dua studi kasus tambahan, Stasiun menghasilkan hasil baru pada lima masalah. Ini termasuk keluarga tak hingga baru dari himpunan Kakeya medan hingga, konfigurasi ciuman tepat 604 titik dalam dimensi 11, dan batas yang lebih baik untuk masalah jarum Kakeya terdiskritisasi dan ketidakpastian tanda.

Penelitian ini juga mencapai batas bawah yang jauh lebih baik untuk masalah tumpang tindih minimum Erdős. Di luar temuan numerik, agen menghasilkan teorema dan analisis penjelas, membuat hasil mereka dapat diinterpretasikan dan berguna untuk pekerjaan masa depan.

Semua dialog agen, bukti, dan kode verifikasi dirilis secara publik, menawarkan catatan transparan dari proses penemuan. Ini menandai langkah menuju eksplorasi ilmiah otonom dalam matematika.