TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON)

Show HN: TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON)

Based, TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON) works in show hn launch.

Profile

We’re building TheorIA— an open, high quality dataset of theoretical physics results: equations, derivations, definitions, and explanations — all in structured, machine- and human-readable JSON.Why? Physics is rich with beautiful, formal results — but most of them are trapped in PDFs, LaTeX, or lecture notes. That makes it hard to:- train symbolic/physics-aware ML models,- build derivation-checking tools,- or even just teach physics interactively.THEORIA fills that gap. Each entry includes:A result name (e.g., Lorentz transformations)Clean equations (AsciiMath)Straightforward step-by-step derivation with reasoningSymbol definitions & assumptionsProgrammatic validation using sympyReferences,

The company sits in the show hn launch segment, where it competes on its core product or service.

It is recorded at the Show HN launch stage.

Website: theoria-dataset.github.io/theoria-dataset