Стартап &Truth привлёк $70 млн на разработку ПО для математической верификации

Финансирование возглавили венчурные фонды Radical Ventures и Innovation Endeavors. Также в раунде участвовали такие инвесторы, как Felicis Ventures, Lightspeed Venture Partners, и основатель Snowflake Фрэнк Слутман. Общая сумма инвестиций в 70 миллионов долларов подчеркивает высокий интерес к инновационным решениям в сфере обеспечения надёжности и безопасности программного кода.

&Truth планирует использовать привлечённые средства для ускорения разработки своей уникальной технологии. Она направлена на использование математических методов для доказательства корректности работы программ, что критически важно для сложных систем, где ошибки могут привести к серьёзным последствиям. Это включает финансовые системы, критическую инфраструктуру и автономные технологии.