"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 отбора от столични училища се включиха в интердисциплинарен турнир „Деца на науката“

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

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

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

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

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

  • Министър Красимир Вълчев свиква извънредно съвещание с началниците на Регионалните управления на образованието за сигурността в училищата
  • Игри на родолюбието в Смолян
  • В Министерския съвет
  • Правителството отпусна над 6 млн. лв. за национални програми в образованието
  • Директори на детски градини искат промени в Закона за предучилищното и училищното образование
  • Министър Красимир Вълчев: Трябва да осигурим време на учителите и учениците
  • Родители и деца спортуват и рисуват заедно в новата детска градина в село Въглен
  • И Минно-геоложкият университет иска филиал в Бургас
  • Как се създават училищни документи с асистент с изкуствен интелект
  • Д-р Ваня Кастрева: Истинският лидер е този, който може да се адаптира
  • Ученицитe от ПМГ „Проф. Емануил Иванов“ спечелиха XX издание на Турнира на младежките противопожарни отряди за купа „Юлиян Манзаров”
  • Над 230 директори обсъждат мисията на днешното образование
  • Учат пътя на храната в кюстендилско школо
  • Проф. Румяна Стоилова, Институт по философия и социология при БАН: Едно общество напредва толкова бързо, колкото напредват последните
  • Кая и вълшебните обувки отведоха десетки деца от Пловдив на магично приключение
  • Сдружение на държавните висши училища у нас се учреди в Софийския университет
  • Птиците в природата и в сърцата на хората
  • Ученици създават брошури за възрастните срещу измами с еврото
  • Зам.-министър Лазарова участва в международна научна конференция във Великотърновския университет
  • Зам.-министър Михалевска участва в патронния празник на Минно-геоложкия университет
  • Над 12 000 родители са ангажирани по проект „Успех за теб“
  • 235 000 ученици с подкрепа за началото на учебната година

София 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 Национално издателство "Аз-буки"