1/ Dugaan Collatz telah merendahkan matematikawan selama hampir 90 tahun. Paul Erdös mengatakan "matematika belum siap untuk masalah seperti itu." 🧵 Jadi kami menyerahkannya kepada transformers. Apa yang mereka pelajari mengejutkan kami! Penelitian baru dari tim penemuan matematika Axiom, blog live pagi ini.

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