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

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

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

Появление &Truth на рынке отражает растущую потребность в более надёжных методах проверки программного обеспечения, превосходящих традиционное тестирование. Компания обещает значительно повысить стандарты качества и безопасности кода, что будет востребовано в различных отраслях, сталкивающихся с вызовами кибербезопасности и стабильности работы сложных ИТ-систем.