{"entity":"company","company":{"id":36882,"name":"Axiom","domain":"axiommath.ai","logo":"https://alion.io/storage/2026/0823/3a2f7667ff.256.webp","description":"Axiom is a research company building an artificial intelligence system for mathematics that can prove theorems and generate new results rather than only assist a human mathematician. Its work combines formal verification, proof search and reinforcement learning over symbolic reasoning, with the goal of a self improving mathematical reasoner. The laboratory was founded by researchers who see mathematics as the cleanest testbed for verifiable machine reasoning; its long term target is mathematics that machines can verify end to end without human checking.","industry":"Artificial Intelligence","segment":"Machine Learning","size":null,"founded":2025,"hq":{"city":"San Francisco","country":"US"},"links":{"github":"https://github.com/axiommath","linkedin":"https://www.linkedin.com/company/axiommath","x":"https://x.com/axiommathai"},"hiring_now":true,"url":"https://alion.io/company/axiommath","open_jobs":2},"pages":{"profile":"https://alion.io/company/axiommath","jobs":"https://alion.io/company/axiommath/jobs","technologies":"https://alion.io/company/axiommath/technologies","salaries":"https://alion.io/company/axiommath/salaries","visa":"https://alion.io/company/axiommath/visa"},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","call":{"mcp_tool":"get_company","arguments":{"id":36882},"rest":"https://alion.io/mcp/rest/get_company?id=36882"},"human":"https://alion.io/catalog?offer=company.slices&for=company%2Faxiommath"},{"id":"company.list","title":"Companies by industry, country, size, technology and hiring","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per company in a list","note":"companies like this one: the same industry segments, technologies, country and size","call":{"mcp_tool":"similar_companies","arguments":{"company":36882},"rest":"https://alion.io/mcp/rest/similar_companies?company=36882"},"human":"https://alion.io/catalog?offer=company.list&for=company%2Faxiommath"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per posting in a list","call":{"mcp_tool":"search_jobs","arguments":{"company":36882},"rest":"https://alion.io/mcp/rest/search_jobs?company=36882"},"human":"https://alion.io/catalog?offer=job.search&for=company%2Faxiommath"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"company/axiommath\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=company%2Faxiommath"}],"html_url":"https://alion.io/company/axiommath","json_url":"https://alion.io/company/axiommath.json","meta":{"generated_at":"2026-10-16T19:25:02Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":4903,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-17T00:00:00Z"}}}