Robinhood Boss fonde la start-up de l'IA: évaluation de 875 millions de dollars AI harmonique!

Robinhood Boss fonde la start-up de l'IA: évaluation de 875 millions de dollars AI harmonique!

Palo Alto, Kalifornien, USA - Dans le monde passionnant de la technologie, une nouvelle entreprise s'est établie qui essaie de dépasser les ambitions d'Elon Musks et des visions d'IA de Sam Altman. Harmonic AI, une start-up, fondée par Vlad Tenev, PDG de Robinhood Markets, vient de collecter 100 millions de dollars dans un tour de financement de la série B. Cela vous donne une note impressionnante de 875 millions de dollars, juste un lancer de pierre du symbole de statut à l'or, la société de milliards de dollars. Comme les rapports South China Morning Post, la société a ses racines à Palo alto, Californie 2023 a vu le jour de la journée.

L'objectif de l'IA harmonique n'est rien de moins que le développement d'une IA qui peut résoudre des problèmes mathématiques complexes avec un niveau exceptionnel - une superintelligence mathématique. Selon le message, la société a collecté des points auprès d'investisseurs intelligents, notamment des petits Perkins, de la Sequoia Capital, des Ventures Index et du paradigme. Ces investisseurs semblent croire en la vision de l'harmonique, car ils offrent un soutien financier pour le développement de l'Aistote "Aristote", qui sera bientôt utilisé par les chercheurs et le public.

Pourquoi mathématiques?

Les ambitions de l'harmonique ne sont pas exactement petites, car les fondateurs s'appuient sur l'idée que l'accélération des solutions mathématiques pourrait permettre des progrès significatifs dans des domaines tels que la physique théorique et l'ingénierie. Comme décrit [siliconangle] (https://siliconangle.com/2025/10/harmonic-raises-100m-nearly-900m-valuation Scale-ai-Formal-Mathematical-Reaning /), le ki-modell Aristotle a un taux de réussite impressionnant de benchmarks qui évaluent les modèles AI dans un argument mathématique formel. Il utilise l'assistant Lean 4 Proof pour traduire les problèmes mathématiques naturels en preuves vérifiables. Le système peut s'améliorer à travers une «boucle d'auto-play», ce qui signifie qu'il est transféré des tâches simples aux théorèmes complexes et peut faire plus qu'il ne semble initialement.

Dans cette course pour l'intelligence de l'IA, cependant, il n'y a pas seulement l'IA harmonique. Une autre homonyme dans cette arène est la super-entitelligence sûre, une nouvelle société fondée par Ilya Sutskever, l'ancien chef de la directrice de la recherche OpenAI. Selon le Tagesschau, l'objectif de cette start-up est entièrement sur "la superfigence sûre". Sutskever veut résumer de la race commerciale oppressive et travailler vers ses propres percées révolutionnaires sans la pression des moyens de développement de produits commerciaux. Sa vision rappelle les objectifs originaux d'Openai, qui se concentraient non pas tant sur le profit, mais sur des progrès utilisables dans le développement de l'IA.

Regardez dans le futur

La discussion sur les dangers des puissants systèmes d'IA est aussi ancienne que les technologies elles-mêmes. Alors que l'IA harmonique vise la solution de problèmes mathématiques non résolus, une superintelligence sûre devrait à son tour concerner les aspects éthiques de la superintelligence de l'IA. Les défis sont complexes et nécessitent à la fois un savoir-faire technique et un examen attentif des risques, comme le soulignent Sutskever et ses collègues militants.

Le développement technologique reste excitant et les questions qui concernent la sécurité et le potentiel de ces systèmes sont loin d'être répondues. Il est à espérer que les progrès de l'IA bénéficient à la fois pour la science et la société et diriger la race pour la superintelligence dans une direction positive. Nous garderons un œil sur les développements de l'IA harmonique et de la superintelligence sûre!