Что такое автоматическое доказательство теорем? Душкин объяснит
Искусственный интеллект опроверг гипотезу Эрдоша: ИИ совершил прорыв в одной из самых известных задач геометрии
Современный искусственный интеллект все активнее выходит за пределы обычных языковых задач и начинает участвовать в фундаментальных научных исследованиях. Одним из самых громких примеров последних месяцев стал неожиданный математический прорыв, связанный с одной из старейших нерешенных задач геометрии — проблемой единичного расстояния, сформулированной легендарным математиком Поль Эрдош еще в 1946 году. Задача на первый взгляд выглядит удивительно простой. Если разместить на плоскости множество...