Show HN: Closed Form – OpenAI's 372 math results, explained in plain English

Category: other

Tags: mathematics, ai-generated-content, static-site, knowledge-base, openai

Score: 5.5/10 (Innovation: 5, Technical: 5, Documentation: 8, Utility: 4)

Closed Form is a static site that explains OpenAI's 372 AI-discovered math results in plain English, with trust labels and source checks. It combines deterministic ingestion from the openai/math release with an LLM-based reader-checker pipeline to produce readable entries. The project is interesting as a transparent, community-editable knowledge base for AI-generated mathematics.

Target audience: mathematicians, AI researchers, science communicators, and technically curious general readers

Repository: https://nishachay.github.io/closed-form/ · TypeScript · MIT · 1 stars

View on Hacker News