Israeli Startup DoubleAI Challenges AI Giants With Novel Math Problem-Solving Approach

Israeli startup DoubleAI has introduced a specialized system called 'Double Agent' that is challenging the dominance of large-scale foundation models in the field of mathematics. Unlike broad, resource-intensive models developed by global tech giants, DoubleAI employs an 'Artificial Expert Intelligence' methodology. This system focuses on deep, domain-specific analysis, allowing it to generate mathematical hypotheses, verify them through formal verification tools like Lean, and learn from the resulting derivations. Recently, the system successfully solved a 1988 mathematical problem, demonstrating a highly efficient path to discovery. By focusing on specific mathematical areas, the startup aims to provide a more reliable and verifiable alternative to general-purpose generative AI. The company has already achieved a valuation exceeding $1 billion, signaling strong market confidence in its specialized approach to machine learning and automated reasoning. This development highlights Israel's growing role in high-end AI research, moving beyond simple chatbots toward autonomous agents capable of complex scientific inquiry.