ИИ в математике открывает новый золотой век научных открытий
Модели генеративного ИИ помогли решить знаменитую гипотезу о геометрическом графе Пола Эрдёша, которая ставила в тупик математиков 80 лет. Машинное обучение теперь используется для генерации и проверки миллионов логических цепочек в паре с интерактивными доказателями теорем, такими как Lean, чтобы избежать галлюцинаций. Это знаменует собой переход, в котором ИИ усиливает человеческую изобретательность в математике, а не заменяет её.
Венгерский математик Пол Эрдёш оставил сотни нерешенных задач с денежными призами, одной из которых была гипотеза о единичных расстояниях в теории геометрических графов. Эта гипотеза, по сути, спрашивает о максимальном числе равных по длине соединений среди множества точек — головоломка, которая противостояла человеческой интуиции почти 80 лет. Генеративный алгоритм обнаружил нетривиальные
Показать ещё ↓
Источник: Habr — хаб ИИ —
оригинал