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


