Mathlib

2 статьи

1ч 14м
🏛 Лео де Моура: «ИИ уже использует баги в ядре Lean для создания ложных доказательств»
Machine Learning Street Talk · 29.09 · 13,2 тыс. просм.
1ч 04м
🧠 Ян-Хуэй Хэ: «Будущее математики — это человек в тандеме с ИИ»
The Royal Institution · 07.10.25 · 129 тыс. просм.