OpenAI заявляет о доказательстве старой задачи Эрдёша с помощью ИИ

Друзья, хочу поделиться из мира ИИ: OpenAI сообщает, что новая модель логики представила оригинальное опровержение одной из задач, поставленных Полом Эрдёшем в 1946 году.

- Ранее похожие заявления уже оспаривались: прошлый анонс совпадал с найденными в литературе решениями.
- На этот раз OpenAI публикует поддержку от нескольких математиков и утверждает, что доказательство оригинально.
- Модель — общего назначения, что, по мнению компании, демонстрирует способность держать длинные цепочки рассуждений.

Почему это важно: такие шаги расширяют возможности ИИ в фундаментальной науке и смежных областях.

Как вы оцениваете влияние ИИ на математику и прикладные науки?

#ИИ #математика #наука #OpenAI