| Date | Title | Description |
| 31.08.2026 | ИИ использовали для проверки самого сложного на сегодняшний день математического доказательства | Будущие версии смогут проверять правильность кода, сгенерированного ИИ
Важной вехой в математических исследованиях с использованием ИИ стал пример команды компании Axiom Math, которая впервые автоматически проверила доказательство теоремы, ... |
| 16.03.2026 | Axiom Math Secures $200M Funding |
PALO ALTO, CA, Axiom has raised $200 million in new funding from venture capital firms Menlo Ventures, Greycroft and Madrona, valuing the company at $1.6 billion.
>> Click here for more funding data on Axiom Math
>> To export A... |
| 15.03.2026 | Axiom Secures $200M: Proving AI Code Safety | Axiom secures $200 million. The startup battles AI's fundamental flaw: unprovable code. Its "Verified AI" approach uses formal mathematics in Lean. This ensures AI-generated software is provably safe, accurate. It eliminates dange... |
| 12.03.2026 | Verifiable AI startup Axiom raises $200M to prove AI-generated code is safe to use
Send us a News Tip
EXTRACT THE SIGNAL FROM THE NOISE
Cookies | Axiom Quant Inc. said today it’s ready to step up to the plate and make sure that the tsunami of artificial intelligence-generated code is safe, secure and accurate after raising $200 million in early-stage funding.
The Series A round, whic... |
| 04.02.2026 | Реклама в ChatGPT, Claude управляет марсоходом, драма в стартапе Миры Мурати: главные события января в ИИ | Пока мы вспоминали пароли от рабочих ноутбуков и мужественно возвращались в реальность после праздников, ИИ-индустрия, кажется, вообще не сбавляла темп. Видимо, оливье в Кремниевой Долине не в почете — иначе как объяснить, что январь там вы... |
| 04.10.2025 | AI Math Pioneer Axiom Secures $64M to Forge New Knowledge | Axiom Math, an artificial intelligence startup, raised $64M in seed funding, valuing it at $300M. The company is building an "AI mathematician" to solve complex problems, generate verifiable proofs, and create new mathematical kno... |
| 02.10.2025 | AI startup Axiom gets $64M to develop new knowledge with advanced mathematics
Send us a News Tip
EXTRACT THE SIGNAL FROM THE NOISE
Cookies | Mathematics-focused artificial intelligence startup Axiom Quant Inc. stepped out from the shadows today to announce it has raised $64 million in a funding round that values it at $300 million.
The lead investor in the round was B-Capital, w... |
| 01.10.2025 | Axiom Math Raises $64M in Seed Funding | Axiom Math, a San Francisco, CA-based startup building self-improving superintelligence, raised $64M in seed funding.
x
Please enable JavaScript
Video Player is loading.Play Video
Play
Unmute
1xPlayback Rate
2x1.5x1x, selected0.5x
Captions
... |
| 04.06.2025 | Stanford math PhD student’s AI startup, Axiom, is raising $50M at $300 million valuation | Carina Hong isn’t waiting for graduation to take on Wall Street.
The Stanford math PhD student is raising $50 million for her AI startup, Axiom, according to an exclusive report from The Information.
The company hasn’t launched a product ye... |
| - | Axiom Math AI | “The starting point for reasoning” |
