{"entity":"company","company":{"id":48286,"name":"Harmonic","domain":"harmonic.fun","logo":"https://alion.io/storage/2026/0827/826e8d5831.256.webp","description":"Harmonic is a research laboratory building mathematical superintelligence with verifiable reasoning at its core. Its Aristotle system generates proofs in the Lean formal language so that every claim it makes can be checked mechanically rather than trusted, an approach aimed directly at eliminating hallucination in reasoning. The company was co-founded by the Robinhood founder Vlad Tenev and reached gold medal level performance on international mathematical olympiad problems; its long term aim is a system whose mathematical output requires no human verification.","industry":"Artificial Intelligence","segment":"AI for Science","size":null,"founded":2023,"hq":{"city":"Palo Alto","country":"US"},"links":{"linkedin":"https://www.linkedin.com/company/harmonicmath","x":"https://x.com/harmonicmath"},"hiring_now":true,"url":"https://alion.io/company/harmonic-fun","open_jobs":8},"pages":{"profile":"https://alion.io/company/harmonic-fun","jobs":"https://alion.io/company/harmonic-fun/jobs","technologies":"https://alion.io/company/harmonic-fun/technologies","salaries":"https://alion.io/company/harmonic-fun/salaries","visa":"https://alion.io/company/harmonic-fun/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":48286},"rest":"https://alion.io/mcp/rest/get_company?id=48286"},"human":"https://alion.io/catalog?offer=company.slices&for=company%2Fharmonic-fun"},{"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":48286},"rest":"https://alion.io/mcp/rest/similar_companies?company=48286"},"human":"https://alion.io/catalog?offer=company.list&for=company%2Fharmonic-fun"},{"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":48286},"rest":"https://alion.io/mcp/rest/search_jobs?company=48286"},"human":"https://alion.io/catalog?offer=job.search&for=company%2Fharmonic-fun"},{"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/harmonic-fun\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=company%2Fharmonic-fun"}],"html_url":"https://alion.io/company/harmonic-fun","json_url":"https://alion.io/company/harmonic-fun.json","meta":{"generated_at":"2026-10-16T21:06:30Z","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":1901,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-17T00:00:00Z"}}}