Ascend invested in Athanor AI, a developer tools company, in July 2026.
JUL 1, 2026
Builds Kairos, an AI-orchestrated verification engine that proves or refutes computational claims about software, hardware, and protocols
Builds Kairos, an AI-orchestrated verification engine that proves or refutes computational claims about software, hardware, and protocols. AI models propose candidates while formal methods tools and the Lean 4 proof assistant check results; outputs include replayable proof certificates, concrete counterexamples, or explicit inconclusive boundaries. The company also develops open-source Lean 4 libraries and infrastructure for applied mathematics verification.