ИИ совершили ряд математических открытий???

Новая нейросеть от OpenAI под названием Astra решила десять давно известных математических задач. Это событие вызывает вопросы о приближении техносингулярности, но пока неясно, является ли это результатом собственного творчества ИИ или использования уже существующих научных достижений. Большинство математических открытий, сделанных ИИ, были сосредоточены на поиске контрпримеров, а не на разработке новых теорий. Тем не менее, факт, что Astra способна совершать научные прорывы и ускорять прогресс в сотрудничестве с людьми, впечатляет.

Claude Fable, возможно, нашёл решение проблемы матрицы Адамара, над которой математики бились 78 лет. Эта матрица используется в бинарных и квантовых вычислениях, и сейчас учёные проверяют выводы этого ИИ.

Другой ИИ, GPT-5.6 Sol Max, вероятно, доказал гипотезу дисбаланса, но опровергнул гипотезу рабства Тешнера. Эти результаты опубликованы на платформах Figshare.

https://figshare.com/articles/preprint/A_Proof_of_the_Imbalance_Conjecture/33198750

https://figshare.com/articles/preprint/A_Counterexample_to_Teschner_s_Bondage-Number_Conjecture/33198777

А китайский ИИ Hyra Hy3 также совершил прорыв, решив задачу о сумме разностей, которая оставалась нерешённой в течение 50 лет.

https://arxiv.org/abs/2607.27199

И как заметил один математик, который дружит с одним из наших админов (потому решили не спешить с новостями в этой сфере, а лучше подождать разбор от эксперта):

«ИИ сейчас уже не "Википедия" или что-то в таком роде. Они не сохраняют информацию, как сайты, ИИ генерируют каждый раз её по новой. Конечно, веса там не обновляются постоянно, но сам по себе процесс генерации динамический. Так что в теории понятно, что они способны полноценно создавать научное знание (чем оно, собственно, активно и занимается последние полгода). Другой вопрос — насколько это далеко может зайти. Ряд задач LLM пока что не берут, но прикол в том, что их и люди не берут».

Телеграм: t.me/ainewsline

Источник: arxiv.org

Комментарии: