Формальная верификация

2 статьи

1ч 14м
🏛 Лео де Моура: «ИИ уже использует баги в ядре Lean для создания ложных доказательств»
Machine Learning Street Talk · 29.09 · 13,2 тыс. просм.
2ч 06м
🤖 От Trump Accounts до Lean: как ИИ и финтех меняют капитализм
Peter H. Diamandis · 19.09 · 27 тыс. просм.