Harmonic

Overview

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

Part of the Silicon Valley ecosystem

Related

• Berkeley SkyDeckRuns accelerator and incubator programs for startups, with partner-referred acceleration, early-stage growth support, and self-serve access to workshops and events.
• ExtropicBuilds thermodynamic computing hardware and software tools for probabilistic AI workloads, including frameworks and APIs to program and simulate thermodynamic sampling units.
• In-Q-TelBuilds a nonprofit investment platform that identifies strategic technology startups and adapts their technologies to meet current and future government partner mission needs.
• Piris LabsDevelop optical hardware and systems (e.g., free-space light-based processors) to accelerate AI model computations and reduce datacenter energy use.
• QC WareBuilds quantum computing software and services, including molecular simulation and AI tools for drug discovery teams tackling computational chemistry and hard optimization problems.
• SandboxAQBuilds large quantitative models using AI and quantum techniques to predict real-world outcomes for drug discovery, materials, energy, defense, cybersecurity, and navigation customers.
• SLAC National Accelerator LaboratoryBuilds scientific tools and runs large-scale research facilities using X-rays, lasers and electron beams for scientists studying physics, biology, energy and materials.
• Stanford UniversityEducates students, conducts interdisciplinary research, develops technologies, supports human health, and applies policy work to address societal needs and benefit humanity.
• UC BerkeleyConducts research, offers degree programs, provides admissions and financial aid guidance, and supports students through housing, dining, athletics, and campus events.
• Y CombinatorRuns a three-month startup program four times yearly, invests in each company, provides founder advising and office hours, and hosts investor and press presentations.
• 8VCBuilds and invests in technology companies, partnering with entrepreneurs to develop platforms addressing areas such as healthcare, zero-emission aircraft, privacy enforcement, and urban tunneling.
• Arena PhysicaAnnounces Heaviside-1 and Atlas Fields Studio (beta) and describes team expertise in AI, RF, electrical engineering, ML, and computational electromagnetics for product and research work.