Aristoteles z roku @HarmonicMath vyřešil 10 z 12 úloh během 7 hodin na Putnamu, nejtěžší matematické soutěži na světě! Jak to vím? No, sám jsem Aristotela spustil přes veřejné API Harmonic. A trvalo mi asi 10 minut, než jsem začal a rozjel! 9 z 10 úloh vyřešených za méně než 3 hodiny. Desátý (B5) trval 7 hodin, o hodinu více, než mají soutěžící přiděleni. U všech 10 problémů jsem Aristotelovi dal výroky v angličtině — a on je autoformalizoval, dokázal a automaticky generoval ověřené výstupy, bez jakékoli lidské zpětné vazby. Jako někdo, kdo miluje matematiku, ale není odborník, je vzrušující mít tak silný nástroj na dosah ruky! 1/