Senang untuk berbagi: #Aletheia, agen riset matematika kami, baru saja memecahkan 6/10 masalah FirstProof yang terkenal sulit secara mandiri, hasil terbaik dalam tantangan perdana! Bagi saya, ini bahkan lebih besar dari pencapaian emas IMO bersejarah kami tahun lalu; Masalah-masalah ini bahkan menantang matematikawan top. Kami membagikan hasil kami secara transparan, melihat makalah dan pemikiran lengkap di utas. 👇