Robinhood Boss grundar AI-start: Utvärdering av 875 miljoner dollar harmoniska AI!

Robinhood Boss grundar AI-start: Utvärdering av 875 miljoner dollar harmoniska AI!

Palo Alto, Kalifornien, USA - I den spännande teknikvärlden har ett nytt företag etablerat sig som försöker överträffa ambitionerna från Elon Musks och Sam Altmans AI -visioner. Harmonic AI, en start, som grundades av Vlad Tenev, VD för Robinhood Markets, har just samlat 100 miljoner dollar i en serie B-finansieringsrunda. Detta ger dig ett imponerande betyg på 875 miljoner dollar, bara ett stenkast från statussymbolen till oorn, miljarder dollar. Som rapporter [South China Morning Post] (https://amp.scmp.com/tech/tech-trends/article/331779/robinhood-ai-ai-ai-mahs-start-us875-million just-shy-unicorn-status), har företaget sina rötter i palo alto, Kalifornien 2023 Såg ljuset av dag.

Målet med harmonisk AI är inget mindre än utvecklingen av en AI som kan lösa komplexa matematiska problem med en enastående nivå - en matematisk superintelligens. Enligt meddelandet har företaget samlat in poäng från smarta investerare, inklusive små Perkins, Sequoia Capital, Index Ventures och Paradigm. Dessa investerare verkar tro på visionen om harmonisk, eftersom de erbjuder ekonomiskt stöd för utvecklingen av "Aristoteles" Aistoteles, som snart kommer att användas av forskare och allmänheten.

Varför matematik?

Ambitionerna från harmoniska är inte exakt små, eftersom grundarna förlitar sig på idén att påskynda matematiska lösningar kan möjliggöra betydande framsteg inom områden som teoretisk fysik och teknik. Som beskrivs [Siliconangle] (https://siliconangle.com/2025/10/harmonic-raises-100m-nearly- 900m-värderingsskala-ai-formal-matematisk-rening/), har Ki-modell aristotel en imponerande framgångshastighet för benchmarks som utvärderar AI-modeller i en formell argument. Den använder Lean 4 Proof Assistant för att översätta naturliga matematiska problem till verifierbara bevis. Systemet kan förbättra sig genom en "självspelslinga", vilket innebär att det överförs från enkla uppgifter till komplexa teorem och kan göra mer än det till en början verkar.

I detta lopp för AI -intelligens finns det dock inte bara harmonisk AI. En annan namn på denna arena är säker superintelligens, ett nytt företag som grundades av Ilya Sutskever, den tidigare chefen för OpenAI -forskningsdirektören. Enligt Tagesschau, är målet för denna start-up allt om "säker superintelligence". Sutskever vill kapsla in från den förtryckande kommersiella rasen och arbeta mot sina egna revolutionära genombrott utan pressmedlen för kommersiell produktutveckling. Hans vision påminner om de ursprungliga målen för OpenAI, som inte koncentrerade sig så mycket på vinst, utan på användbara framsteg inom AI -utvecklingen.

titta in i framtiden

Diskussionen om farorna med kraftfulla AI -system är lika gamla som själva teknologierna. Medan harmonisk AI syftar till lösningen av olösta matematiska problem, förväntas säker superintelligens i sin tur beröra de etiska aspekterna av AI -superintelligens. Utmaningarna är komplexa och kräver både teknisk kunskap och noggrant övervägande av riskerna, som Sutskever och hans medkampanjer betonar.

Teknologisk utveckling förblir spännande, och de frågor som handlar om säkerheten och potentialen för dessa system är långt ifrån besvarade. Det är bara att hoppas att framstegen i AI kommer att gynna både för vetenskap och samhälle och leda loppet om superintelligens i en positiv riktning. Vi kommer att hålla ett öga på utvecklingen av harmonisk AI och säker superintelligens!