Harmonic
@HarmonicMath
Followers
4K
Following
17
Media
2
Statuses
24
Building Mathematical Superintelligence
Joined January 2024
This past week, Harmonic had the opportunity to represent our advanced mathematical reasoning model, Aristotle, at the International Mathematics Olympiad - the most prestigious mathematics competition in the world. To uphold the sanctity of the student competition, the IMO Board
12
56
545
RT @vladtenev: We’re already seeing Aristotle, our first model, aiding and enabling researchers as they drive progress in theoretical mathe….
0
24
0
RT @tachim: I’m incredibly proud of the progress the Harmonic team has made thus far and even more excited about what’s ahead. This funding….
bloomberg.com
Harmonic AI, an artificial intelligence startup co-founded by Robinhood Markets Inc. Chief Executive Officer Vlad Tenev, has raised $100 million in funding to tackle a problem that has sometimes...
0
17
0
RT @vladtenev: We're building superintelligence of the mathematical kind. Announcing @HarmonicMath's $100M Series B led by @kleinerperkins….
businesswire.com
Harmonic, the artificial intelligence lab leading the development of Mathematical Superintelligence (MSI), announces a $100 million Series B funding round at...
0
56
0
RT @ilyaf: Mathematical reasoning is at the heart of intelligence. Thrilled to partner with @tachim and @vladtenev and the @HarmonicMath te….
0
20
0
We’re thrilled to be increasing velocity towards MSI with this latest round of fundraising. Thank you @KateClarkTweets and @business.
Kleiner Perkins leads $100 million investment in Robinhood CEO’s AI startup, aiming to build mathematical superintelligence.
3
6
39
RT @vladtenev: 🦾 Announcing $75M Series A for @HarmonicMath, led by Sequoia and with significant participation from Index. Thanks for belie….
nytimes.com
Chatbots like ChatGPT get stuff wrong. But researchers are building new A.I. systems that can verify their own math — and maybe more.
0
13
0
RT @IndexVentures: 🔑 The secret key to unlocking the next frontier in AI? Mathematics. We’re thrilled to back @HarmonicMath in its $75M Se….
0
8
0
RT @tachim: Pleased to share that @HarmonicMath has raised $75M in Series A financing, led by @sequoia and with significant participation f….
0
9
0
If you are excited about helping us forge the world’s most advanced mathematical reasoning engine, we are hiring AI researchers, mathematicians, and distributed systems experts. Check out our open roles at 🦾 /2.
harmonic.fun
AI for Formal Mathematical Reasoning
1
4
20
Thanks @CadeMetz for telling the story of Harmonic’s pursuit of mathematical superintelligence. /1.
nytimes.com
Chatbots like ChatGPT get stuff wrong. But researchers are building new A.I. systems that can verify their own math — and maybe more.
2
11
38
For more details, check out our blog. More to come soon 🚀.
harmonic.fun
AI for Formal Mathematical Reasoning
1
2
24
3. An all-new natural-language interface - Aristotle can now speak and understand English, not just Lean4 🙂
1
4
36
2. A public release of our internal updates to MiniF2F in Lean 4. Check out github for the data and a description of our updates.
github.com
Harmonic Datasets. Contribute to harmonic-ai/datasets development by creating an account on GitHub.
1
2
26
We are excited to share three major updates today on our path to mathematical superintelligence 🦾. 1. A new state-of-the-art of 90% on the MiniF2F benchmark. This beats our previously announced 83% from under a month ago.
7
23
174
RT @tachim: 👋 We started Harmonic less than a year ago to build Mathematical Superintelligence (MSI). Here is what we’ve done so far. 1/.
0
11
0
RT @vladtenev: Announcing the formation of Harmonic, a commercial AI research lab building Mathematical Superintelligence (MSI). 1/.
0
87
0