[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$f7zQwnTjDugjd0t3v7AbrNdqX4xsZry-htcpLwNh8ZZ0":3},{"article":4,"related":20},{"title":5,"slug":6,"dek":7,"body":8,"cover":9,"type":10,"reading_minutes":11,"published_at":12,"category":13,"author":15},"GPT-5.6 Sol решила математическую задачу полувековой давности","gpt-56-sol-reshila-matematicheskuyu-zadachu-poluvekovoj-davnosti-10441","Модель OpenAI доказала гипотезу о двойном покрытии циклов, над которой математики бились 50 лет.","Модель GPT-5.6 Sol от OpenAI доказала гипотезу о двойном покрытии циклов, которую не могли решить более 50 лет. Компания объявила об этом одновременно с выпуском новой версии ИИ.  \n\nГипотеза о двойном покрытии циклов — задача из теории графов. Она утверждает, что любой граф без мостов можно покрыть двумя наборами циклов так, чтобы каждое ребро принадлежало ровно двум циклам. Математики проверяли её для частных случаев, но общего доказательства не находили.  \n\nGPT-5.6 Sol справилась за час, используя комбинацию символьного вывода и генеративного моделирования. ИИ анализировал структуры графов, проверял свойства и искал противоречия.  \n\nOpenAI не раскрыла детали доказательства, но передала результаты ведущим математикам для проверки. Если подтвердится, это будет первый случай, когда ИИ самостоятельно решил столь сложную задачу.  \n\nРанее нейросети использовали как вспомогательные инструменты — например, для поиска паттернов или генерации гипотез. GPT-5.6 Sol выполнила всю работу без участия человека.  \n\nМодель доступна в тестовом режиме для избранных исследователей. В OpenAI заявили о фокусе на научных приложениях, но не исключили коммерческое использование.  \n\nМатематическое сообщество отреагировало сдержанно. Одни эксперты назвали это прорывом, другие потребовали полной проверки. «Если доказательство верно, это изменит представление о роли ИИ в науке», — сказал профессор MIT Карл Сигмунд.","https:\u002F\u002Fasiclub.ru\u002Fimg\u002Fcebc1a96-638f-4034-be28-da85e284bf9f","news",2,"2026-07-16T14:00:41.000Z",{"name":14},"Модели",{"name":16,"slug":17,"role":18,"bio":19},"Кирилл Иванцов","kirill-ivancov","редактор","Отвечает за инфраструктуру, железо и безопасность ИИ. Объясняет, почему модель в лаборатории и модель в проде ведут себя по-разному.",[21,27,33],{"title":22,"slug":23,"cover":24,"reading_minutes":11,"published_at":25,"category":26},"Глава AMI Labs Александр Лебрен не считает свой ИИ сверхразумом","glava-ami-labs-aleksandr-lebren-ne-schitaet-svoj-ii-sverhrazumom-14045","https:\u002F\u002Fasiclub.ru\u002Fimg\u002Facd83bef-821d-4bd0-a271-7b8593ff2d80","2026-07-16T15:00:45.000Z",{"name":14},{"title":28,"slug":29,"cover":30,"reading_minutes":11,"published_at":31,"category":32},"Moonshot готовит ИИ-модель Kimi 3 для конкуренции с Anthropic Opus 4.8","moonshot-gotovit-ii-model-kimi-3-dlya-konkurencii-s-anthropic-opus-48-12244","https:\u002F\u002Fasiclub.ru\u002Fimg\u002Fc92db39c-a3b0-4885-8784-2d049bbd3795","2026-07-16T14:30:44.000Z",{"name":14},{"title":34,"slug":35,"cover":36,"reading_minutes":11,"published_at":37,"category":38},"Applied Computing привлек 20 млн долларов на ИИ-модель для нефтегазовой отрасли","applied-computing-privlek-20-mln-dollarov-na-ii-model-dlya-neftegazovo-99852","https:\u002F\u002Fasiclub.ru\u002Fimg\u002F28081561-d2d5-49e4-87b6-f4914f983dd6","2026-07-16T11:04:12.000Z",{"name":14}]