{"id":"harmonic","name":"Harmonic","kind":"organization","aliases":[],"summary":"Harmonic develops systems that generate mathematical reasoning and proofs, including Aristotle.","url":"https://www.harmonic.fun/","referenceUrls":["https://www.harmonic.fun/","https://arxiv.org/abs/2510.01346v2"],"sourceIds":["harmonic"],"topicIds":["intelligence-and-discovery"],"version":"entity-catalog-v1","path":"/entities/harmonic","json":"/entities/harmonic.json","markdown":"/entities/harmonic.md","relationships":{"sourceIds":["harmonic"],"noteIds":["aristotle-proof-checking-2025"],"perspectiveIds":["tenev-check-the-specification"],"parallelIds":["right-answer-wrong-question"],"topicIds":["intelligence-and-discovery"]},"publications":"/api/pipeline/publications?entity=harmonic"}