Company
Funding data: Recent Funding. Each amount links to the announcement it came from.
Athanor
Athanor builds Kairos, a verification platform that uses mathematical proofs to verify the correctness of AI-generated chip design code.
Rounds
| Date | Stage | Amount | Valuation | Investors | Source |
|---|
About
- Website
- athanor-ai.com
Investors
Plug and Play
On GitHub
17 stars across its repos · linked because its GitHub profile's website is athanor-ai.com
- pythiaLean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering, mechanics, control, queueing, info theory. Axiom-clean against the kernel triple.17 ★
- neurips-2026-anytime-valid-replicationReplication package for 'Sharp quantization slack rates for anytime-valid confidence sequences' (NeurIPS 2026)0 ★
- riscv-athanorrisc-v optimizations using athanor-kairos0 ★
- ci-toolchain-pinsPinned CI toolchain binaries for reproducible builds0 ★
- ai4math-2026-kairosKairos: A Self-Evolving Agent for Formal Verification of Scientific Claims (AI4Math @ ICML 2026)0 ★