Стартап в области искусственного интеллекта Harmonic, соучредителем которого является генеральный директор Robinhood Влад Тенев, успешно привлек 120 миллионов долларов в раунде финансирования, возглавляемом Ribbit Capital, при участии Sequoia, Kleiner Perkins и Emerson Collective. Это последнее вложение повышает оценочную стоимость Harmonic до 1,45 миллиарда долларов. Инновационная технология Harmonic под названием «Математический Суперинтеллект (MSI)» разработана для преодоления проблем галлюцинаций ИИ, используя формальную логику вместо статистического прогнозирования. Флагманская модель компании, Aristotle, продемонстрировала впечатляющие результаты на Международной математической олимпиаде, соперничая с ведущими исследовательскими лабораториями, такими как Google и OpenAI. Aristotle использует язык программирования Lean4 для создания проверяемых шагов рассуждений, что делает её особенно ценной для высокорисковых отраслей, таких как аэрокосмическая и финансовая сферы. В настоящее время модель доступна разработчикам и математикам через бесплатный API, а планы по коммерциализации уже разрабатываются.