язык lean
-
Новости Триумф формальной логики. Нейросеть нашла математическое доказательство, которое люди не замечали 30 лет
Aristotle вывел цепочку рассуждений, оставшуюся незамеченной людьми. Искусственный интеллект снова влез в математику, но на этот раз история оказалась чуть сложнее, чем выглядела в заголовках. Модель Aristotle от стартапа Harmonic формально доказала одну из задач из знаменитого списка...- NewsMaker
- Тема
- задача эрдеша искусственный интеллект математик модель aristotle теория чисел формальное доказательство язык lean
- Ответы: 0
- Форум: Новости в Мире