Artikel Matematika

Pomodo.id - PSI baru-baru ini mengumumkan terobosan penting dalam bidang komputasi kuantum dengan menyelesaikan konjektur Aaronson-Ambainis, sebuah masalah matematika yang telah diperdebatkan selama 18 tahun. Penemuan ini menciptakan peluang baru untuk memahami kapan komputer kuantum dapat melampaui kemampuan komputer konvensional. Menggunakan sistem penelitian yang memanfaatkan model non-publik dari Anthropic, PSI berhasil membuktikan konjektur tersebut dalam waktu hanya tiga hari, yang merupakan pencapaian luar biasa dalam dunia penelitian.

Pomodo.id - AxiomMath baru saja mengambil langkah besar yang dapat mengubah cara kita memandang matematika dalam konteks AI. Startup yang baru saja mendapatkan investasi sebesar Rp 26.72 triliun ($1,6 miliar) ini mengumumkan bahwa mereka telah berhasil memverifikasi formal dari Proyek Stacks, yang dianggap sebagai salah satu karya matematika terbesar yang pernah ditulis oleh manusia. Proyek ini dimulai pada tahun 2005 oleh Johan de Jong dari Columbia University dan telah menjadi referensi terbuka yang banyak kontribusinya dari para matematikawan di seluruh dunia, mulai dari aljabar tingkat universitas hingga ide-ide paling canggih di bidang aljabar, geometri, dan teori angka.