OpenAI приобретает проверяльщик нерешённых математических задач, который автоматически проверяет правильность решений ИИ

Новости ME, 15 апреля (UTC+8), согласно мониторингу 动察Beating, исследовательская организация в области ИИ Epoch AI раскрыла, что OpenAI приобрела доступ к своему проверяющему инструменту FrontierMath: Open Problems. FrontierMath: Open Problems — это набор исследовательских математических задач, которые до сих пор не решены профессиональными математиками, каждая из которых сопровождается специальной программой (проверяющим), хотя в настоящее время никто не знает правильных ответов, но как только кто-то (или ИИ) предложит потенциальное решение, проверяющий может автоматически проверить его правильность. После покупки доступа OpenAI сможет использовать проверяющий для проверки эффективности математических решений, сгенерированных их моделями. Доступ к проверяющему открыт для покупки любым организациям, основная стоимость связана с оплатой труда математикам, поскольку процесс постановки задач и написания проверяющих очень трудоемкий. Epoch AI также установила условие: любой, кто обнаружит действительное решение с помощью проверяющего, обязан уведомить Epoch AI, а автор задачи и обнаруживший решение делят совместное право на публикацию. Epoch AI подчеркнула, что ранее OpenAI финансировала создание исходных баз данных FrontierMath (Tiers 1-4), однако раздел Open Problems разрабатывается и принадлежит исключительно Epoch AI, а пилотная фаза финансировалась Schmidt Sciences. (Источник: BlockBeats)