"Az-buki" National Publishing House
Ministry of Education and Science
Wikipedia
  • Login
  • Registration
Az-buki Weekly
Няма резултати
Вижте всички резултати
  • Main Page
  • About
  • Team
  • Archive
    • Вестник “Аз-буки” онлайн издание
  • Contact
  • Advertising
  • Subscribe now
  • en_US
  • Main Page
  • About
  • Team
  • Archive
    • Вестник “Аз-буки” онлайн издание
  • Contact
  • Advertising
  • Subscribe now
  • en_US
Няма резултати
Вижте всички резултати
Az-buki Weekly
Няма резултати
Вижте всички резултати
Main Page Новини Новини 2025

INSAIT и ETH Цюрих представят най-мащабното проучване на математически доказателства, генерирани от изкуствен интелект

„Аз-буки“ by „Аз-буки“
26-06-2025
in Новини 2025
A A

Институтът INSAIT към Софийския университет „Св. Климент Охридски“ и ETH Цюрих представиха най-мащабното проучване до момента на математически доказателства, генерирани от изкуствен интелект, съобщават от пресцентъра на Университета.

Проучването обхваща Open Proof Corpus (OPC) – най-големия етикетиран корпус от математически доказателства, съставен с участието на експерти. Proofcorpus.ai представлява естествено продължение на платформата MathArena.ai, чиито резултати вече са използвани от водещи технологични компании за създаване на мислещи модели.

Целта на следващото поколение AI не е само да дава правилни отговори, а да създава коректни и обосновани доказателства, казаха от СУ.

OPC съдържа над 5000 решения, генерирани от водещи AI модели като Gemini 2.5 pro, OpenAI O3, OpenAI O4-mini, Qwen и DeepSeek R1. Задачите са подбрани от 20 вида елитни състезания, включително Международната олимпиада по математика (IMO). Всяко доказателство е етикетирано от човешки експерти за коректност.

Изследването показва, че мислещите AI модели вече се доближават до експертите в оценката на доказателства по отношение на вярност, но създаването на формални доказателства остава предизвикателство за системите с изкуствен интелект, обясняват от СУ.

Пълният корпус OPC, научната статия с резултатите от изследването и адаптираните AI модели са достъпни на proofcorpus.ai .

Автори на изследването са изследователи от INSAIT и ETH Цюрих: Иво Петров, Кристиян Минчев, д-р Мислав Балунович и проф. Мартин Вечев. Допринесли за създаването на OPC са редица български лауреати от национални и международни математически олимпиади, както и ръководители на български национални отбори: Мирослав Маринов, Мария Дренчева, Люба Конова, Милен Шуманов, Калоян Цветков, Николай Дренчев, Лазар Тодоров, Калина Николова, Николай Георгиев, Ванеса Калинкова, Маргулан Исмолдаев. Много тях са и стипендианти и участници в различни програми на INSAIT.

Your Image Description

Свързани статии:

Българската наука излиза на световната сцена в роботиката INSAIT ще подпомага внедряване на изкуствен интелект в сигурността на България INSAIT представи голям езиков модел от последно поколение на украински език INSAIT събира у нас научен директор на НАСА и водещи световни учени

Уважаеми читатели, в. „Аз-буки“ и научните списания на издателството може да закупите от НИОН "Аз-буки":

Address: София 1113, бул. “Цариградско шосе” № 125, бл. 5

Phone: 0700 18466

Е-mail: izdatelstvo.mon@azbuki.bg | azbuki@mon.bg

Научните списания се продават и в книжарница „Сиела“ – подлез на Ректората на СУ „Св. Св. Климент Охридски“.

Address: София 1000, бул. „Цар Освободител“ №22

Tags ETH – ЦюрихINSAITизкуствен интелектизследванеНаука

Последвайте ни в социалните мрежи

shareTweet
Previous article

Връчиха отличията на лауреатите от XVIII национален конкурс „Морско конче“

Next article

13 отбора от столични училища се включиха в интердисциплинарен турнир „Деца на науката“

Next article
13 отбора от столични училища се включиха в интердисциплинарен турнир „Деца на науката“

13 отбора от столични училища се включиха в интердисциплинарен турнир „Деца на науката“

Нова структура на училищното образование най-рано след две години

Нова структура на училищното образование най-рано след две години

Издателство „Аз-буки“ търси студенти за практика

Издателство „Аз-буки“ търси студенти за практика

Последни публикации

  • НВО по математика за шестокласниците
  • Добри новини за ректорите
  • 40% от отличниците избират Софийския университет
  • Предложение: Родителите да не връщат еднократната помощ за ученици при 5 неизвинени отсъствия за месец
  • Четири медала и абсолютно първо място от Балканската олимпиада по информатика
  • Шампионът в астрономията Светослав Арабов: Ръководителите ни подготвиха много добре
  • Родителите на деца до 12 години с възможност да работят дистанционно през лятото
  • Снимката се превръща в изкуство, когато докосне сърцето на зрителя
  • Бургас с нови мерки за таланти
  • Златният медалист Дамян Иванов: Химията ми доставя удоволствие
  • 57 изследователи, свързани с БАН, попадат в световна класация за топ учени
  • Откриха реставрираната астрономическа обсерватория на Софийския университет
  • Проекти за 20 млн.лв. се изпълняват в училища в Разград
  • Изследване на INSAIT в топ конференция за роботика
  • Наш изследовател проучва устойчивостта на газопроводите за пренос на водород
  • Столична община с програма „Да пораснем изправени“
  • Морската градина във Варна става учебна стая на открито
  • Библиотеката на Строителния техникум в Бургас ще носи името на бившия директор
  • Всичко може да се постигне с добри дела
  • Софийската зоологическа градина предлага безплатна онлайн платформа с образователни ресурси за деца от 7- до 12-годишна възраст
  • Зам.-министър Михалевска участва в Националното тракийско поклонение в Маджарово
  • От дигиталната математика до себепознанието

София 1113, бул. “Цариградско шосе” № 125, бл. 5

+0700 18466

izdatelstvo.mon@azbuki.bg
azbuki@mon.bg

Полезни линкове

  • Къде можете да намерите изданията?
  • Вход за абонати
  • Main Page
  • Contact
  • Subscribe now
  • Projects
  • Advertising

Az-buki Weekly

  • Вестник “Аз-буки”
  • Subscribe now
  • Archive

Scientific Journals

  • Strategies for Policy in Science and Education
  • Bulgarian Language and Literature
  • Pedagogika-Pedagogy
  • Mathematics and Informatics
  • Natural Science and Advanced Technology Education
  • Vocational Education
  • Istoriya-History journal
  • Chuzhdoezikovo Obuchenie-Foreign Language Teaching
  • Filosofiya-Philosophy

Newsletter

  • Accsess to public information
  • Условия за ползване
  • Профил на купувача

© 2012-2025 Национално издателство "Аз-буки"

Welcome Back!

Login to your account below

Forgotten Password? Sign Up

Create New Account!

Fill the forms bellow to register

All fields are required. Log In

Retrieve your password

Please enter your username or email address to reset your password.

Log In
en_US
bg_BG en_US
  • Login
  • Sign Up
Няма резултати
Вижте всички резултати
  • Main Page
  • About
  • Team
  • Archive
    • Вестник “Аз-буки” онлайн издание
  • Contact
  • Advertising
  • Subscribe now
  • en_US

© 2012-2025 Национално издателство "Аз-буки"