Aristoteles dari @HarmonicMath mendapat 10/12 soal dalam waktu 7 jam di Putnam, kompetisi matematika sarjana tersulit di dunia! Bagaimana saya tahu ini? Nah, saya menjalankan Aristoteles sendiri melalui API publik Harmonic. Dan saya membutuhkan waktu sekitar 10 menit untuk memulai dan memulainya! 9 dari 10 masalah diselesaikan dalam waktu kurang dari 3 jam. Yang kesepuluh (B5) memakan waktu 7 jam, satu jam lebih banyak dari yang dialokasikan kepada kontestan. Untuk semua 10 masalah, saya memberi Aristoteles pernyataan masalah dalam bahasa Inggris - dan itu secara otomatis memformalkan pernyataan, membuktikannya, dan menghasilkan output terverifikasi secara mandiri, tanpa umpan balik manusia. Sebagai seseorang yang menyukai matematika tetapi bukan seorang ahli, sangat menyenangkan memiliki alat sekuat ini di ujung jari saya! 1/