🇧🇬🤖 Today INSAIT launched Odis — an AI assistant built to support the Bulgarian National Audit Office in auditing public procurements. ⚡ Powered by INSAIT’s BgGPT, Odis can cut audit time by up to 4x, integrating with Bulgaria’s EOP platform to deliver transparent, traceable

🚀 Major news! @Google expands its support for INSAIT with a new $1,000,000 contribution - targeting groundbreaking AI research and expanding INSAIT’s local ecosystem initiatives. 💰 Google’s total support for INSAIT now well exceeds $6 000 000, further strengthening INSAIT’s

🚀 Big news for INSAIT, Bulgaria & Europe! @WIRED (read by 30M+ people/month) just profiled SPEAR-1 — INSAIT’s new foundation robotic model, the first released by Europe! 🤖 As WIRED notes, SPEAR-1 matches leading global models trained on many times more data - a huge leap

🔥 We’re releasing SPEAR-1 ( https://t.co/iiAvKRGIHJ) - a new robotic AI foundation model that achieves state-of-the-art performance with 20× less robotic data 🧠 Why it matters:SPEAR-1 is like the ChatGPT for robots - a single model that can perform many tasks, on any robot, in

🚀 INSAIT makes an impact at @ICCVConference! With more than 10,000 participants, ICCV is the world’s leading conference in AI and computer vision - and INSAIT’s booth has become one of its most vibrant spots. Hundreds of researchers, industry leaders, and students stopped by to

🔗 Project page: https://t.co/IIxuQQZj3N 💻 Code:

🎥 Can AI video models truly understand physics? The newly released Physics-IQ benchmark, developed by INSAIT and Google DeepMind and led by Saman Motamed, PhD student at INSAIT, has sparked major discussion across the AI community following its presentation at #ICCV2025. 🔬 The

🎤 INSAIT at #ICCV2025! On the first conference day, Dr. Jan-Nico Zaech, research scientist at INSAIT, delivered a keynote at the “Foundation Data for Industrial Tech Transfer” workshop. 🤖 Theme was: building more capable robotic AI beyond robot demonstrations, leveraging human

MathArena goes visual: We evaluated models such as GPT-5 on Math Kangaroo 2025, a recent contest for ages 6-19 where most tasks require visual reasoning. Models struggle the most with tasks for younger kids. For example, they get this task for 1st graders only 3% of the time 🧵

🏹 Job alert: Faculty Positions in AI and Computer Science (Tenure-Track and Tenured) at @INSAITinstitute 📍Sofia 🇧🇬 📅 Apply by Jan 30th, 2026 🔗

🚀⚛️ Major result: we are announcing qblaze – a state-of-the-art quantum simulator, built by researchers at INSAIT and @ETH_en! 🥇 qblaze sets a record for the largest number factored to date with Shor’s algorithm by a quantum circuits simulator – a 39 bit number (549 755 813

📄 https://t.co/miN24A1XPW 💻 https://t.co/LrkSb0wZqE 🤗

🚀 We are excited to announce BrokenMath, the first benchmark designed to systematically evaluate sycophancy in theorem proving with large language models (LLMs), now live at https://t.co/pkm5dhMkxy! 🧩 We show that even the best LLMs can produce convincing but wrong proofs when

Paper: https://t.co/kydr6IVmBw Project Page: https://t.co/MKBZaG9tsF (more interesting video demos) Github Repo: https://t.co/WCj8KcFmA5 (all data, code, and models are released, check it out)

🎓 We are delighted to announce that our work, ObjectRelator, was selected as a Highlight Paper at the upcoming #ICCV2025 this month! ICCV is a top conference in AI and computer vision and only a small number of accepted papers are selected as highlights! 📄ObjectRelator is a

🤖 INSAIT had a strong presence at #CoRL2025 – the leading conference in AI for robotics – held this year in Seoul which gathered more than 2500 participants! 🚀 In exciting news, INSAIT’s robotics team was one of two able to qualify for RoboArena - a challenge for evaluating

MathArena Update: Claims about Grok 4 Fast seem to check out, it matches the performance of Grok 4 but is much faster and 20-50x cheaper. Good release! This holds across final-answer competitions, Apex problems, and Project Euler. 🧵

Learn more here:

🚀 We are delighted to release MamayLMv1.0 - the first open and efficient multimodal LLM for Ukrainian that can handle both text and visual data! 📊 MamayLMv1.0 outperforms up to 5x larger open models on Ukrainian tests, maintains strong English skills  and surpasses proprietary

A new open reasoning model, K2-Think, was recently released boasting scores comparable to GPT-OSS 120B and getting a lot of media attention. However, their performance relies on flawed evaluation marked by contamination, unfair comparisons, and misrepresentation of results. 🧵