Sesuatu yang sangat hebat tentang AI autoformalisasi adalah bahwa kita dapat sangat yakin dengan validitas bukti yang dihasilkan ini. Ini adalah tingkat verifikasi yang tidak dimiliki banyak karya tulis manusia dan akan mendapat manfaat darinya. Terima kasih banyak kepada model Aristoteles @HarmonicMath yang hebat!

GPT-5.2 benar-benar model yang bagus dalam matematika Pak OpenAI memasak dengan baik dengan bawang putih itu

Sesuatu yang sangat jelas bagi saya: Semua laboratorium lain sangat tertinggal dari OpenAI dalam penalaran dan itu bahkan tidak dekat. Laboratorium lain perlu mengendalikan halusinasi dan kemalasan.