Нейросеть за 80 минут решила задачу, над которой математики думали годами

Нейросеть ChatGPT за 80 минут решила задачу, над которой десятилетиями ломали голову лучшие математики мира. Ученых поразил даже не сам факт решения, а путь, который выбрал искусственный интеллект. Речь идет о сложнейшей задаче венгерского математика Пола Эрдеша, которая имеет номер 1196. Она связана с так называемыми примитивными множествами - это наборы целых чисел, в которых ни одно число нельзя разделить нацело на другое. Эрдеш придумал специальную формулу, чтобы оценивать такие множества одним числом, своего рода оценкой. Он предположил: если числа в множестве очень большие, то эта...