Lean FRO

1 статья

1ч 14м
🏛 Лео де Моура: «ИИ уже использует баги в ядре Lean для создания ложных доказательств»
Machine Learning Street Talk · 29.09 · 13,2 тыс. просм.