Harmonic - About
harmonic.fun · 211 words · saved by 3 readers
AI for Formal Mathematical Reasoning
BUILDINGTHEWORLD’S MOSTADVANCED REASONINGENGINE ✦Our Mission & Values OUR MISSION IS TO EXPLORETHE FRONTIERS OFHUMAN UNDERSTANDING 01 Truth We always seek and speak the truth, no matter how uncomfortable the path may be. 02 Tenacity We are working to solve some of the world's hardest problems, and we refuse to fail for a lack of effort or focus. 03 Craftsmanship Mathematics and art are inextricably linked. We take pride in the aesthetics of what we build, from our user interface down to our backend infrastructure. 04 Humanity We believe that humans must direct the progress of…
saved by
related reading
- Hudson Labs | High-precision AI for financehudson-labs.com
- Datacurve | The data engine for frontier AIdatacurve.ai
- UI Skills for Design Engineers | UI Skillsui-skills.com
- We build AI that works for humans - Imbueimbue.com
- Amelia Wattenbergerwattenberger.com
- There's An AI For That® — The front page of AItheresanaiforthat.com
- Formalizing Fermat's Last Theoremanthropic.com
- Harmonicharmonic.fun
- startup review: axiom mathil0vemilktea.substack.com
- Prompting best practicesdocs.anthropic.com
- MAI-Thinking-1 | Microsoft AImicrosoft.ai
- Prompt generation | OpenAI APIplatform.openai.com