Ndea is an AI research and science lab developing frontier AI systems that combine intuitive pattern recognition with formal reasoning. Its work focuses on guided program synthesis and AGI for scientific advancement.