{
    "version": "https:\/\/jsonfeed.org\/version\/1.1",
    "title": "Позитивные новости: заметки с тегом openai",
    "_rss_description": "Ubuntu и другие системы, работа в терминале, позитивные новости. Работа с искусственным интеллектом ИИ, AI. Дзен: https:\/\/dzen.ru\/posinus Telegram: https:\/\/t.me\/posinus",
    "_rss_language": "ru",
    "_itunes_email": "",
    "_itunes_categories_xml": "",
    "_itunes_image": "https:\/\/wildcar.ru\/pictures\/userpic\/userpic-square@2x.jpg?1786224150",
    "_itunes_explicit": "no",
    "home_page_url": "https:\/\/wildcar.ru\/tags\/openai\/",
    "feed_url": "https:\/\/wildcar.ru\/tags\/openai\/json\/",
    "icon": "https:\/\/wildcar.ru\/pictures\/userpic\/userpic@2x.jpg?1786224150",
    "authors": [
        {
            "name": "wildcar",
            "url": "https:\/\/wildcar.ru\/",
            "avatar": "https:\/\/wildcar.ru\/pictures\/userpic\/userpic@2x.jpg?1786224150"
        }
    ],
    "items": [
        {
            "id": "1371",
            "url": "https:\/\/wildcar.ru\/all\/fiziki-vo-glave-s-nobelevskim-laureatom-podtverdili-dokazatelstv\/",
            "title": "Физики во главе с нобелевским лауреатом подтвердили доказательство теории Янга—Миллса, написанное ИИ",
            "content_html": "<div class=\"e2-text-picture\">\n<img src=\"https:\/\/wildcar.ru\/pictures\/1-702.jpg\" width=\"1119\" height=\"630\" alt=\"\" \/>\n<div class=\"e2-text-caption\">Иллюстрация: ChatGPT<\/div>\n<\/div>\n<p>Эксперты OpenAI, которых компания нанимает для проверки математических решений, придуманных искусственным интеллектом, признали правильным доказательство квантовой теории Янга—Миллса — краеугольного камня Стандартной модели физики частиц. Комиссию возглавил Дэвид Гросс, видный физик-теоретик и нобелевский лауреат. Само доказательство, как и прочие плоды ИИ, вышло запутанным: слишком длинным и сложным, чтобы человек мог охватить его одним взглядом.<\/p>\n<p>«Пастухи» доложили, что модель доказала существование чистой теории Янга—Миллса в формулировках, стандартных для физики и математики. Затем группа Гросса выложила документ с разбором доказательства и подтверждением его формальной проверки на Lean — языке программирования, созданном для поверки математических работ. Математик Скотт Армстронг из Нью-Йоркского университета обрадовался открытой публикации: проверять такие работы в открытом режиме можно быстрее и эффективнее, и он надеется, что разработчики ИИ будут шире делиться результатами с сообществом.<\/p>\n<p>Ставки тут высокие. Проблема Янга—Миллса — одна из пяти пока нерешённых «Проблем тысячелетия»: семи задач, которые Математический институт Клэя сформулировал в 2000 году, назначив за каждую миллион долларов. Но настоящая награда куда больше денег: решение могло бы устранить математическую нестрогость физики элементарных частиц. Стандартная модель — самая тщательно проверенная теория на свете, она точно предсказывает столкновения частиц на Большом адронном коллайдере, однако свести её к простым аксиомам никому ещё не удавалось. Задача состоит из двух частей: сначала доказать, что теория вообще «существует», то есть строится корректными математическими шагами, а затем показать, что из уравнений вытекает «массовая щель». Вторая часть гораздо сложнее, и, по данным OpenAI, модель осилила только первую.<\/p>\n<p>Финал интригующий: пресс-релиз «пастухов» настолько лаконичен, что глубоко понять доказательство по нему нельзя. Более того, Гросс и его коллеги признались, что и сами понимают его не до конца — при том, что все пятеро занимались теорией Янга—Миллса. Для разбора кода на Lean они подключили Astra от OpenAI. Зато теперь доказательство и код лежат в открытом доступе, и присоединиться к их изучению может любой желающий.<\/p>\n<p>Источник: <a href=\"https:\/\/naukatv.ru\/news\/fiziki_podtverdili_vernost_napisannogo_ii_dokazatelstva_kvantovoj_teorii_yangamillsa\">naukatv.ru<\/a><\/p>\n<p class=\"subscribe\">Хотите ежедневно видеть хотя бы одну хорошую новость? Подпишитесь:<\/p>\n<p class=\"subscribe-links\"><a href=\"https:\/\/t.me\/posinus\" title=\"Telegram\"><img src=\"https:\/\/wildcar.org\/assets\/logos\/telegram.svg\" alt=\"Telegram\" width=\"40\" height=\"40\" style=\"vertical-align:middle;border-radius:8px\"><\/a> <a href=\"https:\/\/wildcar.org\/dzen\/\" title=\"Дзен\"><img src=\"https:\/\/wildcar.org\/assets\/logos\/dzen.png\" alt=\"Дзен\" width=\"40\" height=\"40\" style=\"vertical-align:middle;border-radius:8px\"><\/a> <a href=\"https:\/\/vk.com\/positivenus\" title=\"ВКонтакте\"><img src=\"https:\/\/wildcar.org\/assets\/logos\/vk.svg\" alt=\"ВКонтакте\" width=\"40\" height=\"40\" style=\"vertical-align:middle;border-radius:8px\"><\/a> <a href=\"https:\/\/wildcar.org\/\" title=\"wildcar.org\"><img src=\"https:\/\/wildcar.org\/assets\/logos\/wildcar.png\" alt=\"wildcar.org\" width=\"40\" height=\"40\" style=\"vertical-align:middle;border-radius:8px\"><\/a><\/p>\n",
            "summary": "Эксперты OpenAI, которых компания нанимает для проверки математических решений, придуманных искусственным интеллектом, признали правильным доказательство квантовой теории Янга—Миллса — краеугольного камня",
            "date_published": "2026-11-12T18:00:34+00:00",
            "date_modified": "2026-11-12T18:00:33+00:00",
            "tags": [
                "openai",
                "ии",
                "математика",
                "новость",
                "позитивная",
                "позитивная новость",
                "проблемы тысячелетия",
                "физика"
            ],
            "image": "https:\/\/wildcar.ru\/pictures\/1-702.jpg",
            "_date_published_rfc2822": "Thu, 12 Nov 2026 18:00:34 +0000",
            "_rss_guid_is_permalink": "false",
            "_rss_guid": "1371",
            "_rss_enclosures": [],
            "_e2_data": {
                "is_favourite": false,
                "links_required": [],
                "og_images": [
                    "https:\/\/wildcar.ru\/pictures\/1-702.jpg"
                ]
            }
        }
    ],
    "_e2_version": 4199,
    "_e2_ua_string": "Aegea 11.5 (v4199e)"
}