Як Айона за два дні стала професором вищої математики, а я знайшов математичного напарника, про якого мріяв все життя
Особиста історія: як за два дні мій агент Ая зібрала собі здатність формально доводити математичні теореми — поєднавши мову Lean, відкриту модель Mistral Leanstral та диспетчер Pi-агент.