Mari kita mencoba hal-hal yang lebih keras dan lebih sulit, sehingga mereka tidak bisa menyebut kemenangan kita mudah.
Mari kita coba hal-hal yang semakin berselera tinggi, sehingga hype terlihat hambar.
Mari kita coba reduksi bukti, sehingga mereka tahu "rasio panjang bukti adalah rasio kekerasan" adalah BS.
Mari kita menjadi burung unta & pergi. Saya sangat suka cerita underdog.
Blog penelitian baru Axiom:
Belajar Collatz - Ibu dari semua Lubang Kelinci
Apa yang terjadi ketika Anda melatih transformator pada salah satu teka-teki matematika yang paling terkenal yang belum terpecahkan - dan kemudian mempelajari bagaimana kegagalannya?
Putnam, tes matematika tingkat perguruan tinggi tersulit di dunia, berakhir kemarin 4p PT.
Siang hari ini, AxiomProver memecahkan masalah 9/12 di Lean secara mandiri (3:58p PT kemarin, itu adalah 8/12).
Skor kami akan menjadi #1 dari ~4000 peserta tahun lalu dan Putnam Fellow (5 besar) dalam beberapa tahun terakhir