INSAIT и ETH Цюрих представят най-мащабното проучване на математически доказателства, генерирани от изкуствен интелект
преди 9 часа
paragrafa.comИнститутът INSAIT към Софийския университет „Св. Климент Охридски“ и ETH Цюрих представиха най-мащабното проучване до момента на математически доказателства, генерирани от изкуствен интелект, съобщиха от пресцентъра на университета. Проучването обхваща Open Proof Corpus (OPC), най-големия етикиран корпус от математически доказателства, съставен с участието на експерти. Proofcorpus.ai представлява естествено продължение на платформата MathArena.
news.bg