AI-стартап Theorem привлек 6 миллионов долларов на борьбу с программными ошибками, сгенерированными ИИ

Стартап Theorem из Сан-Франциско привлек 6 миллионов долларов в рамках посевного финансирования для разработки автоматизированных инструментов, проверяющих корректность программного обеспечения, сгенерированного ИИ, объявила компания во вторник, 27 января 2026 года. Раунд инвестиций возглавила компания Khosla Ventures при участии Y Combinator, e14, SAIF, Halcyon и бизнес-ангелов, включая Блейка Боргессона, соучредителя Recursion Pharmaceuticals, и Артура Брейтмана, соучредителя блокчейн-платформы Tezos, сообщает VentureBeat.

Theorem появился в весеннем выпуске Y Combinator 2025 года. Компания делает ставку на то, что по мере того, как искусственный интеллект преобразует разработку программного обеспечения, следующим серьезным препятствием для отрасли станет доверие к коду, созданному ИИ. Финансирование будет использовано для создания инструментов, которые направлены на то, чтобы остановить ошибки, написанные ИИ, до того, как они будут выпущены.

Инвестиции поступают в то время, когда помощники по кодированию с использованием ИИ от таких компаний, как GitHub, становятся все более распространенными. Theorem стремится устранить потенциальные риски, связанные с использованием кода, сгенерированного ИИ.

В других новостях, быстрое развитие ИИ влияет на различные сектора, включая визуализацию данных. По данным Avalon Holographics, люди должны оставаться в курсе событий, взаимодействуя с данными и выявляя пробелы между моделированием и реальностью, поскольку системы ИИ становятся все более мощными. Пространственные вычисления все чаще распределяются между людьми и ИИ, что требует сосредоточения внимания на том, как люди взаимодействуют с 3D-данными, чтобы максимизировать преимущества ИИ, сообщает VentureBeat.

Между тем, опасения по поводу конфиденциальности данных и зависимости от услуг, предоставляемых не в ЕС, по-прежнему актуальны для операторов веб-сайтов. Lightwaves.io предлагает бесплатный сканер для анализа зависимости веб-сайтов от таких сервисов, как Google Fonts, Analytics и CDN, предоставляя "Аудит независимости от ЕС", сообщает Hacker News. Аудит проверяет местоположение хостинга, шрифты, аналитику, CDN, видеовставки, инструменты чата, социальные виджеты и карты. Сервис подчеркивает риск признания недействительной Рамочной программы ЕС-США по защите конфиденциальности данных, аналогично предыдущим соглашениям, таким как Safe Harbor и Privacy Shield. Веб-сайты, получившие 100 баллов по результатам аудита, считаются "устойчивыми к будущему".