Hiverge Ltd
Hiverge Ltd builds an AI discovery engine that writes and optimises algorithms for critical optimisation problems, combining LLMs, symbolic AI and formal verification.
Hiverge Ltd builds what it calls algorithmic superintelligence: an AI discovery engine that writes breakthrough algorithms for hard optimisation problems. The company was founded by researchers from Google DeepMind and the University of Cambridge, whose earlier work includes AlphaTensor, FunSearch and the Nobel Prize-winning AlphaFold. It emerged from stealth with $5 million in seed funding.
Its product, The Hive, is described as an algorithm factory. It deploys multiple AI agents in parallel to discover and optimise code against explicit performance metrics. The platform combines large language models with symbolic AI components, and applies formal verification to ensure that outputs are mathematically correct and satisfy user-defined constraints - an approach the company contrasts with conventional code-generation tools.
Technical work spans algorithm discovery and optimisation, AI agents, large language models, symbolic AI, formal verification, machine learning and code optimisation, with benchmark-driven design at the centre of the method. Target verticals include technology, cloud computing infrastructure and financial trading systems, where optimisation problems are critical. The team's stated emphasis is on verifiable, benchmark-driven results rather than unverified code.
