OpenAI опубликовала 722 математических доказательства для проверки экспертами

➡️Математики проверят ИИ, который принёс им решения открытых задач. Хорошо устроились OpenAI OpenAI выложила 722 математические, как некоторые говорят "рукописи" в открытый доступ на гитхаб. В основе этой истории — задачи, для которых ещё не было общепринятого решения. Теперь модель предложила доказательства, а людям предстоит установить, какие из них действительно работают. У части уже есть формализация для компьютерной проверки, но у некоторых нет.. Это делает историю гораздо интереснее обычного разговора про замену сотрудников. ИИ принёс результат туда, где люди пока не смогли его получить. Приведу пример с картинками, где мы к подобному уже привыкли. Сам нарисовать такую штуку не можешь, но видишь, где красиво, где каша, где рука растёт из уха или жопа из головы. С математикой проверка гораздо сложнее и требует профессиональных знаний. Но придумать доказательство и разобраться в готовом — тоже две разные работы Кстати, OpenAI вообще занялись этими задачами, потому что результаты на прежних математических тестах достигли потолка. Для проверки следующей модели пришлось расширять набор проблем. Научные исследования теперь ещё и тестовое задание для ИИ. Нормально так подняли требования к кандидатам... А любопытство учёного — удобная штука. Дай математику потенциальное решение важной задачи, и он захочет разобраться. Найдёт ошибку, проверит сложный переход, объяснит результат коллегам. OpenAI даже обещают финансировать конференции и программы для такого разбора, что тоже похвально. OpenAI получают экспертную оценку своей модели и подтверждение её возможностей. Математики получают новое знание и материал для исследований. При этом каждое выдержавшее проверку доказательство показывает, какую часть их работы уже способен выполнить ИИ. По-моему, здесь и начинается самый неприятный для профессий переход, где машина предлагает новое, а человек подтверждает её квалификацию. Проверяющий всё ещё нужен. Но возможности будущего конкурента он помогает установить собственными руками. И вероятно, что проверяющий скоро будет не нужен... Причём конкурент пришёл с задачами, которые до него так и оставались открытыми, т.е. нам (человечеству) так и не поддавались эти задачи Так что аргумент у OpenAI будет сильный: вашу модель внимательно проверили лучшие специалисты. Они же подтвердили, что она справилась. Осталось этим специалистам понять, что такое подтверждение означает для их собственной работы. Ну а нам ждать когда изобретут очередной прикладной для бытовой жизни девайс или технологию, типа GPS (которая без работ Эйнштейна не работала бы, хотя мы вообще не шарим в его научных работах) ссылка на все эти "рукописи"