Leonardo de Moura

🏛 Лео де Моура: «ИИ уже использует баги в ядре Lean для создания ложных доказательств»