Harmonic

We're #hiring a new Research Engineer, Formal Methods in Palo Alto, California. Apply today or share this post with your network.

We're #hiring a new Research Engineer, Formal Methods in Palo Alto, California. Apply today or share this post with your network.

We're #hiring a new Formal Verification Engineer in Palo Alto, California. Apply today or share this post with your network.

We're #hiring a new Software Engineer, Product in Palo Alto, California. Apply today or share this post with your network.

A new era for mathematical research is beginning – one where mathematicians shape what AI can achieve. Today, we’re announcing a partnership with the American Institute of Mathematics to develop open, human-centric benchmarks for AI in mathematical research. Unlike traditional AI benchmarks designed primarily around model performance, this initiative puts the mathematical community at the center of defining progress. The benchmark is built around 50+ problems selected by mathematicians to explore how AI can accelerate discovery, from generating new ideas and assisting with experimentation to tackling some of the field’s most challenging questions. At Harmonic, we believe the future of AI is not about replacing human insight, but amplifying it. By combining mathematicians’ creativity with AI’s ability to reason, explore, and verify, we can unlock new possibilities for discovery. Mathematicians are setting the agenda. AI is expanding what’s possible. Read more about the partnership in Axios: https://lnkd.in/eWP8CBR9

At TED AI San Francisco 2025, our CEO Tudor Achim shared an inspiring vision for the future of mathematics – one where human creativity and Mathematical Superintelligence work in tandem to tackle the world’s most complex problems. In his talk, Tudor explored how formal mathematics and tools like Lean and Mathlib are opening a new frontier in AI-driven discovery, empowering systems like Aristotle to verify, formalize and scale mathematical reasoning in ways that were previously unimaginable. Since then, the pace of progress in AI has only accelerated, and the broader industry has picked up on what we’ve been saying all along: scaling reliable reasoning requires formal mathematical methods and rigorous verification. Aristotle is already demonstrating the power of this approach. As we’ve said before, we’re entering a new era for AI and mathematics – slowly... then all at once. Check out Tudor’s talk here: https://lnkd.in/gjbSeJ6s

We're #hiring a new Research Engineer, Training & Inference in Palo Alto, California. Apply today or share this post with your network.

We're #hiring a new Software Engineer, ML Systems in Palo Alto, California. Apply today or share this post with your network.

We're #hiring a new Software Engineer, Infrastructure in London, England. Apply today or share this post with your network.

Our CEO Tudor Achim was on Capitol Hill this week for a Congressional Briefing hosted by the American Mathematical Society and American Institute of Mathematics. Alongside leaders from academia, research and industry, Tudor’s briefing on “Mathematical Foundations for High Tech Innovation” highlighted the critical role of mathematical research to power breakthroughs in AI, robotics, biotech and other frontier industries. The panel also emphasized the need for ongoing collaboration between researchers, policymakers and industry leaders to support the continued progress of companies like Harmonic. We’re proud to contribute to these important policy conversations and help shape a future with deep scientific foundations – one that is powered by Mathematical Superintelligence.