Harmonic vs Skild AI
Side-by-side comparison of AI visibility scores, market position, and capabilities
Math AI research startup raised $295M total at $1.45B valuation; Aristotle model solved 5/6 IMO 2025 problems with formal verification; 96.8% on code generation benchmark
About
Harmonic is an AI research company founded to advance the frontier of machine reasoning in mathematics and formal verification. The company was built on the belief that rigorous mathematical reasoning is a key benchmark for general intelligence, and that solving formal math is a tractable path toward more capable AI systems. Its core technology centers on the Aristotle model, a specialized reasoning system trained to solve olympiad-level and graduate mathematics problems with formal, verifiable proofs.\n\nHarmonic's Aristotle model demonstrated world-class mathematical performance by solving five of six problems at the 2025 International Mathematical Olympiad with formal verification — a result that surpassed all prior AI systems on the competition. The model also achieved 96.8% accuracy on competitive coding benchmarks, reflecting the cross-domain benefits of its formal reasoning approach. Harmonic's platform is designed for research institutions, AI labs, and enterprise customers who require AI systems capable of producing verified, auditable reasoning rather than probabilistic outputs.\n\nHarmonic has raised $295 million in total funding at a $1.45 billion valuation, establishing it as the best-capitalized pure-play math AI company. Its IMO 2025 result generated significant industry attention and positioned the company at the leading edge of the formal reasoning research agenda. As demand grows for AI that can be trusted in high-stakes scientific, engineering, and financial domains, Harmonic's verifiable reasoning approach offers a differentiated and defensible foundation.
Universal robot brain startup raised $1.4B Series C at $14B valuation in Jan 2026 led by SoftBank with Nvidia and Bezos; $30M 2025 revenue; deployed at Foxconn
About
Skild AI is building a universal robot brain — a foundation model for physical intelligence that can power a broad range of robot types without requiring task-specific training for each deployment. Founded to solve the fragmentation problem in robotics AI, where every robot type and task requires separate model development, Skild's approach trains a single generalist model on diverse robotic data and fine-tunes it rapidly for specific deployments. The company was founded by robotics AI researchers who identified the model reuse gap as the primary barrier to scalable robot deployment.\n\nSkild's generalist robot model has been deployed across more than 30 distinct robot types — spanning manipulation arms, mobile platforms, and humanoid form factors — demonstrating the cross-hardware generalization that most robot AI systems lack. The platform targets robotics manufacturers, logistics operators, and industrial automation companies that need AI-capable robots but lack the internal ML infrastructure to develop foundation models themselves. By offering a model-as-a-service layer, Skild enables robot OEMs and systems integrators to add AI capabilities without building the underlying research infrastructure.\n\nSkild AI raised a $1.4 billion Series C in January 2026 at a $14 billion valuation, led by SoftBank with co-investment from NVIDIA and Jeff Bezos. The round was one of the largest in robotics AI history and reflects institutional conviction in the physical AI market's scale. With $30 million in 2025 revenue and accelerating enterprise deployments, Skild is building the financial foundation to match its valuation. The SoftBank-NVIDIA investor combination positions Skild at the center of the global robotics deployment wave.
AI Visibility Head-to-Head
Key Details
Capabilities & Ecosystem
Capabilities
Also Compare
Track AI Visibility in Real Time
Monitor how your brand performs across ChatGPT, Gemini, Perplexity, Claude, and Grok daily.