Слухи: OpenAI близка к проверке доказательства гипотезы Ходжа, а OpenAI или Anthropic могут решить задачу Бирча — Свиннёртона-Дайера

В сети распространяются слухи, что OpenAI близка к верификации доказательства гипотезы Ходжа, а OpenAI или Anthropic может быть близка к решению задачи Бирча — Свиннёртона-Дайера. Обе задачи относятся к премиям тысячелетия и десятилетиями оставались нерешёнными. Подтверждённые доказательства, полученные с помощью ИИ, стали бы историческим достижением и демонстрацией способности ИИ создавать новые научные знания.