Harmonic

Description

Builds a verified reasoning engine and Aristotle API for mathematical reasoning, serving developers, mathematicians, researchers, and the public seeking checkable answers.

Related

• PerplexityAI-powered answer engine combining LLM reasoning with live web search. SF; founded 2022 by Aravind Srinivas (ex-OpenAI).
• ModularBuilds composable AI infrastructure, inference endpoints, and open-source language and engine tools for developers deploying text, audio,…
• SuperRadiantBuilds embodied scientific intelligence systems that combine reasoning and robotic experimentation, fitting into research workflows for…
• OpenAIFrontier AI lab behind GPT and ChatGPT. Multi-modal foundation models for reasoning, code, and content generation.
• LatentBuilds tools that read language models during generation, flag unsupported answers, and route them to reviewers for teams serving models…
• Flapping AirplanesFrontier AI research lab focused on the data-efficiency problem.
• SubquadraticBuilds compute-efficient AI models using sparse attention for enterprises analyzing full repositories, financial filings, and contract…
• Nodus ComputeBuilds an AI compute platform that places and runs training, inference, and agent workloads, with checkpoint recovery and an…
• Astro MechanicaBuilds engines, airframes, and flight systems, including a jet engine designed for efficiency across subsonic and supersonic speeds for…
• ZettascaleBuilds XPU chips for AI inference and training, with an FPGA prototype, planned serving API, and hosted XPU clusters designed to act as one…
• COMSOL ABDevelops mathematical modeling and simulation software; used by engineers, researchers, and lecturers to create physics-based models,…
• KAROSBuilds a carpooling application for daily trips; used by commuters and students for home-to-work, campus, and event journeys with verified…