 Радиопрограми 
|
Подкасти
|
Горе
|
|
|
NRD: Новини -
Вечерна емисия
|
|
|
|
Моите Новини
Запазени ( 0 ) |
Събитията в
реално време |
|
|
Контекст
| Иво Петров с Spotlight на ICML 2026 за иновации в разпознаването на неверни математически твърдения
|
Споделяне
|
КонтекстИво Петров с Spotlight на ICML 2026 за иновации в разпознаването на неверни математически твърдения
Иво Петров от INSAIT получи Spotlight на ICML 2026 за статия, оценяваща AI модели в разпознаването на неверни математически твърдения. Разработката е важна стъпка към подобряване на надеждността на AI системите.
NRD | Новини |
19 Юни в 14:46 ч.
Редактор Birgit Althoff
Размер на текста
Иво Петров, докторант в Института за компютърни науки, изкуствен интелект и технологии (INSAIT) към Софийския университет, получи престижното отличие Spotlight на конференцията ICML 2026. Това е значимо постижение, тъй като за първи път българска разработка е удостоена с такова признание в почти 50-годишната история на събитието. Конференцията ICML е сред най-значимите в света в областта на изкуствения интелект и машинното обучение, а тази година в нея са участвали близо 24 000 научни статии. Само около два процента от тях са отличени със Spotlight, което подчертава важността на успеха на Петров. Неговата статия, озаглавена "BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs", представя иновативен тест, който оценява способността на AI моделите да разпознават и отхвърлят неверни математически твърдения.
ВИЖТЕ ОЩЕ
Тази разработка е важна за подобряване на надеждността на AI системите, особено в контекста на сложни разсъждения и точност. Иво Петров е завършил бакалавърска и магистърска степен в Университета в Кеймбридж, а преди това е бил част от националния отбор на България по математика и физика, печелейки медали от международни олимпиади. Съавтори на статията са Яспер Деконик от ETH Zurich и проф. Мартин Вечев, научен ръководител на Петров. Разработката ще бъде представена на конференцията през юли в Сеул, Република Корея. INSAIT, основан в партньорство с ETH Zurich и EPFL, е първият институт в Източна Европа, предлагащ условия за работа на световно ниво, сравними с тези на водещите университети. Институтът е структуриран като специално звено към Софийския университет и се фокусира върху научни изследвания, привличане на международни учени и обучение на новото поколение технологични лидери. Водещи учени от топ университети и изследователски лаборатории в САЩ, Европа и Израел ръководят и съветват института.
/ ДСН /
NRD | Иво Петров с Spotlight на ICML 2026 за иновации в разпознаването на неверни математически твърдения
Още по темата:
Theorem Proving
Иво Петров
Мартин Вечев
Република Корея
Яспер Деконик
Тази тема в програмата::
NRD | Новини | Контекст |
19 Юни в 14:46 ч.
Открийте най-вълнуващото от света на изкуството, киното и музиката по още по-удобен начин!
Последвайте нашия панел в Google News или в Google Търсене, за да получавате подбрани новини, акценти от изложби и ексклузивни материали директно в реално време.
Натиснете тук относно повече информация как да направите това
|
|
След това, можете да потърсите името на нашия сайт или да въведете директно http://nrd.bg и да го маркирате като „Preferred source“ (предпочитан източник).
|
1:45 мин.
Контекст
|
0:24 мин.
Контекст
|
1:30 мин.
Контекст
|
1:30 мин.
|
 В Лондон бизнес лидерите Симон Бойд и Майк Хоус, които представляват различни сектори, изразиха своето недоволство от последиците на Брекзит след десет години от историческото решение на Великобритания да напусне Европейския съюз. Бойд управлява компания, произвеждаща предварител...
|
ОЩЕ ОТ РУБРИКАТА
Експлозия в индустриалната зона Рас Лафан в Катар – много ранени и изчезнали хора
В индустриалната зона Рас Лафан в Катар се е случил инцидент, при който най-малко 54 души са пострадали, а 18 други...
|
Джорджия Мелони сподели, че е спряла да пуши на срещата на Г7, а милиони по света я последват
На последната среща на Г7, италианският премиер Джорджия Мелони стана обект на внимание, след като в записано видео...
|
Израелците смятат Иран за победител след конфликта и сделката със САЩ
В Израел общественото мнение показва, че страната смята, че Иран е излязъл по-силен от конфликта в Близкия изток и ...
|
Иран спира ядрените преговори със САЩ след заплахата от Тръмп за нови удари
Иран обяви, че спира преговорите по ядрения въпрос със Съединените щати, след като президентът Доналд Тръмп заплаши...
|
ОЩЕ ОТ ДНЕС
Напредък в преговорите между Иран и САЩ в Швейцария; нов механизъм за технически дискусии по важни въпроси
 Иран и Съединените щати постигнаха значителен напредък в първия кръг от преговорите, организирани от Катар в Швейца...
|
Нови детайли по случая Нанси Гътри: Разследването разкрива второ писмо с искане за откуп и критични грешки в действията на властите
Разследването на изчезването на Нанси Гътри е поело нова посока след разкрития за второ писмо с искане на откуп, из...
|
Очаквайте интересни астрономически явления в края на юни - Марс близо до Плеядите и ярка луна
През последната седмица на юни 2026 година, наблюдателите на небето ще имат възможност да се насладят на редица аст...
|
Иво Петров с Spotlight на ICML 2026 за иновации в разпознаването на неверни математически твърдения
|
|
|
|
|
|
Запази |
|
Иво Петров, докторант в Института за компютърни науки, изкуствен интелект и технологии (INSAIT) към Софийския университет, получи престижното отличие Spotlight на конференцията ICML 2026. Това е значимо постижение, тъй като за първи път българска разработка е удостоена с такова признание в почти 50-годишната история на събитието.
Конференцията ICML е сред най-значимите в света в областта на изкуствения интелект и машинното обучение, а тази година в нея са участвали близо 24 000 научни статии. Само около два процента от тях са отличени със Spotlight, което подчертава важността на успеха на Петров. Неговата статия, озаглавена "BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs", представя иновативен тест, който оценява способността на AI моделите да разпознават и отхвърлят неверни математически твърдения.
|
ВИЖТЕ ОЩЕ
с аудио 0:45 мин
|
Тази разработка е важна за подобряване на надеждността на AI системите, особено в контекста на сложни разсъждения и точност. Иво Петров е завършил бакалавърска и магистърска степен в Университета в Кеймбридж, а преди това е бил част от националния отбор на България по математика и физика, печелейки медали от международни олимпиади.
Съавтори на статията са Яспер Деконик от ETH Zurich и проф. Мартин Вечев, научен ръководител на Петров. Разработката ще бъде представена на конференцията през юли в Сеул, Република Корея. INSAIT, основан в партньорство с ETH Zurich и EPFL, е първият институт в Източна Европа, предлагащ условия за работа на световно ниво, сравними с тези на водещите университети.
|
ВИЖТЕ ОЩЕ
с аудио 0:48 мин
|
Институтът е структуриран като специално звено към Софийския университет и се фокусира върху научни изследвания, привличане на международни учени и обучение на новото поколение технологични лидери. Водещи учени от топ университети и изследователски лаборатории в САЩ, Европа и Израел ръководят и съветват института.
|
|
Аудио / 1:57 мин.
|
|
1:45 мин.
Контекст
|
|
Акциите на Micron Technology поскъпват значително преди тримесечния отчет
|
0:24 мин.
Бившият кмет на Голям Манчестър, Анди Бърнъм, обяви, че ще се кандидатира за поста лидер на Лейбъристката партия и премиер на Великобритания. В публикация в социалните медии той из... Индонезия и България обсъждат нови възможности за сътрудничество по време на визита на Мухамад Анис Мата България с три златни и три сребърни медала от младежката балканска олимпиада по математика в РумънияОЩЕ ОТ РУБРИКАТА
Как наблюдението променя поведението и производителността на служителите?
|
Икономическите трудности след Брекзит предизвикват недоволство сред бизнеса в Обединеното кралство
|
ОЩЕ ОТ ДНЕС
|
|
Швейцария е ускорила изпълнението на Споразумението за търговия и икономическо партньорство (TEPA) с Индия, с цел да засили инвестиционните и търговските връзки с Делхи. Страната е една от ч...
|
|
|
В понеделник, Киър Стармър подаде оставка като министър-председател на Обединеното кралство, което означава, че страната ще има своя седми премиер за малко повече от десетилетие. Той обяви, ...
|
