Kami dengan senang hati mengumumkan sponsor $1.000.000 langsung kepada siswa dan peneliti untuk mendorong eksplorasi lebih lanjut menggunakan AI dan verifikasi formal. Keterangan 👇 lebih lanjut

Dalam dua bulan terakhir sejak kami membuat Aristoteles tersedia secara luas untuk umum, menjadi semakin jelas bahwa kita memasuki era baru penemuan matematika. Siswa dan peneliti di semua tingkatan dan dari banyak disiplin ilmu telah menggunakan Aristoteles untuk memecahkan dugaan terbuka dan memverifikasi hasil ciri khas.

Kami mengerahkan modal dan sumber daya kami untuk lebih mempercepat kemajuan di lapangan dengan dua tingkat sponsorship awal.