OpenAI купує верифікатор нерозв’язаних математичних задач, який може автоматично перевіряти правильність розв’язків ШІ

МЕ Новини, 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)