Фонд Сайманса, OpenAI і Anthropic абвясьцілі 15 кастрычніка пра супольную ініцыятыву для матэматыкаў. На яе плянуюць накіраваць агулам 15 мільёнаў даляраў у выглядзе фінансаваньня і рэсурсаў.
Мэта праграмы заключаецца ў тым, каб дапамагчы навукоўцам незалежна правяраць матэматычныя вынікі, атрыманыя пры дапамозе штучнага інтэлекту, і разьвіваць мэтады працы з такімі сыстэмамі.
OpenAI паведаміла, што яе ўклад складзе 5 мільёнаў даляраў. Кампанія таксама плянуе даваць дасьледчыкам, якіх падтрымлівае фонд, доступ да сваіх мадэляў і вылічальных рэсурсаў.
Фонд Сайманса будзе кіраваць фінансаваньнем і разьмяркоўваць яго, у тым ліку праз адкрыты прыём заявак. Сродкі прызначаныя для навуковых сустрэчаў, канфэрэнцыяў, навучаньня і праграмаў супольнай працы.
Асобная задача ініцыятывы заключаецца ў выпрацоўцы падыходаў да праверкі доказаў, якія прапануюць мадэлі штучнага інтэлекту. Матэматычны вынік, сфармуляваны кампутарнай сыстэмай, сам па сабе яшчэ не азначае, што ягоная правільнасьць пацьверджаная навуковай супольнасьцю.
OpenAI раней апублікавала шэраг матэматычных вынікаў сваёй экспэрымэнтальнай мадэлі. Цяперашняе паведамленьне датычыцца новага фінансаваньня і арганізацыі незалежнай навуковай працы вакол гэтай тэхналёгіі.
