Статия с водещ автор българския докторант Иво Петров от Института за компютърни науки, изкуствен интелект и технологии (INSAIT) към Софийския университет „Св. Климент Охридски“ получи специалното отличие Spotlight на ICML 2026 – една от най-престижните световни конференции в областта на изкуствения интелект и машинното обучение. Разработката ще бъде представена през юли на ICML 2026 в Сеул, Република Корея, съобщават от Пресцентъра на МОН.
За първи път в близо 50-годишната история на ICML разработка от българска институция достига до такова признание. Тази година за участие в конференцията са подадени близо 24 000 научни статии, като едва около 2% от тях са отличени със Spotlight.
Статията „BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs“ представя нов тест, който измерва доколко моделите с изкуствен интелект могат да разпознават и отхвърлят неверни математически твърдения. Разработката е важна стъпка към създаването на по-надеждни AI системи за задачи, изискващи сложни разсъждения и висока степен на точност.
Съавтори на статията са Яспер Деконик от ETH Zurich и проф. Мартин Вечев, научен ръководител на Иво Петров
Преди да се присъедини към INSAIT, Иво Петров завършва бакалавърска и магистърска степен в Университета в Кеймбридж. Завършил е Софийската математическа гимназия. Като ученик е част от националния отбор на България по математика и физика.
Той е спечелил 16 медала за България от най-силните международни състезания по математика (6 отличия) и физика (10 отличия). Какво споделя Иво Петров за математиката, за физиката, за учителите, които са му дали тласък към науките, за проблемите в образованието, за най-важните си постижения и какво е спечелил от международните олимпиади извън медалите може да прочетете в интервю с него от 2020 г.
