Dev builds interactive explorer for OpenAI's 722 abstracts and 372 math results
mhmazur · x · 2026-10-07
A developer shipped an interactive tool for exploring OpenAI's mathematics release.
- Semantic search across all 722 abstracts (find results by meaning, not title)
- A similarity-based map of all 372 results, colored by field
- An A-Z index of 500+ named conjectures/problems with claimed outcomes
- Per-result pages with PDFs, LaTeX source, BibTeX, and notes on what each Lean formalization covers
- Lean coverage stats by field, compared with the IAS advisory group's recommendations
- A roundup of reactions from mathematicians and OpenAI staff
More from Apps
- Google launches Playground experiment in US for paid Gemini users — testingcatalog · 2026-10-07
- SE Visible Adds One-Toggle Brand vs Unbranded Prompt Segmentation for LLM Visibility Tracking — gaganghotra_ · 2026-10-07
- Chain Exa and LinkedIn plugins in ChatGPT to mass-search interesting people — filiksyos · 2026-10-07
- MUSE iPad App Now Out, Announced by Alexandr Wang for 'Tablet Superintelligence' — alexandr_wang · 2026-10-07
- Evidence API Searches 100M+ Papers for For-and-Against Evidence in One Second — james_y_zou · 2026-10-07
- Simple prompt trick: ask ChatGPT what tasks you should offload that you haven't thought of — craigsdennis · 2026-10-07