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