Loading activity…
@carinalhong
@axiommathai : https://axiommath.ai/careers
AI
A researcher says the three wrote to OpenAI leadership and believes they were fired for prioritizing safety.
AI
404 Media reports that the team used frontier LLMs with no prior training data to navigate a simple parking lot course.
AI
A post alleges that AI labs spend millions, if not billions, experimenting at others' expense and falsely blame their negligence on 'agent intent.'
AI
A user argues that mathematics’ biggest impact will come from proofs for software, not the millennium problems, and sees automated research loops as a way to tackle verification at a billion-line scale.
AI
A recruiting post lists work on models, evaluations, hardware design and product engineering, plus go-to-market roles in Axiom’s founder’s office.
AI
Carina Hong says her Forbes Talks conversation tackled commercialization, including how to calculate the total addressable market for formal theorem proving.
AI
Powdr announced the move. One founder says he joined to help scale formal verification and believes AI can expand where it works.
AI
Posts say 25 Fields Medal winners signed a declaration warning of a mismatch between AI companies and mathematics. Supporters stress understanding and scientific communities; critics say AI proofs can still yield insights.
AI
OpenAI repo provides conditional Lean formalization proving infinitely many prime pairs differ by at most 186.
AI
Axiom Math researchers announce a human-AI result that lowers the bound on prime gaps to 212.
AI
She leads Axiom Math, an AI startup for mathematical reasoning and autoformalization.
AI
Axiom Math CEO retweets praise for public release of math formalizations.
AI
Retweet states formalizing Ferma is required to saturate the benchmark
AI
Dimitris Papailiopoulos recounts pivoting his group after early exposure to davinci.
AI
Axiom Math's AI system produced a Lean formalization of the prime gap bound.
