In another episode of "you can just do things"... An app for designing protein binders with state-of-the-art diffusion models!

Kleiner Perkins leads $100 million investment in Robinhood CEO’s AI startup, aiming to build mathematical superintelligence. bloomberg.com/news/articles/…

Mathematical reasoning is at the heart of intelligence. Thrilled to partner with Tudor Achim and Vlad Tenev and the Harmonic team and lead their Series B as they build Mathematical Superintelligence: verified AI for high-stakes fields from mission critical software to finance

We’re thrilled to be increasing velocity towards MSI with this latest round of fundraising. Thank you Kate Clark and Bloomberg

Huge congrats to Tudor Achim Vlad Tenev and the entire team at Harmonic! 💪🏾

We're building superintelligence of the mathematical kind. Announcing Harmonic's $100M Series B led by Kleiner Perkins, with participation from Paradigm and many other great investors Welcome Ilya Fushman ... excited to partner (again) businesswire.com/news/home/2025…

We’re already seeing Aristotle, our first model, aiding and enabling researchers as they drive progress in theoretical mathematics. Before too long, we believe Aristotle will be contributing to solving significant open problems, not just in mathematics but also in related

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

Mathematical superintelligence is near. Join us on 7.28.25 ✨

From the birthplace of Silicon Valley, a new chapter begins. Be among the first to experience Mathematical Superintelligence. Live on X at 3 PM PT on Monday, July 28th

x.com/i/broadcasts/1…

Join us live from the birthplace of Silicon Valley @ 3 PM PT to be among the first to experience Mathematical Superintelligence: x.com/i/broadcasts/1…

Congrats to Harmonic for IMO Gold!! 🏆🏅Excited to test out Aristotle!

This year, Harmonic tested our advanced reasoning model Aristotle on the International Mathematics Olympiad (IMO), achieving Gold Medal-level performance and producing formally-verified proofs in Lean. We livestreamed our results from the HP Garage, check it out!

Couldn’t be more proud of our team

TRACeR story was rejected by the same Science editor before, which is ok, but the fact that 2/3 new papers did not mention or cite us made me very sad😔 I left academia, I don’t need Science paper, but I need our contribution to the field to be properly credited and recognized

Introducing Yuclid and Newclid 3.0; the systems responsible for our success on Problem 2 and contributing to our Gold Medal-level performance at the IMO. We’re excited to see how researchers and mathematicians will leverage these in their own work as we continue our quest for MSI

Take a peek behind the curtain of our IMO Gold-level AI model