ProofSearch: A Traceable Catalogue of AI Math Papers
ProofSearch organizes 722 AI-generated mathematics manuscripts from OpenAI’s openai/math release by verification status, dependencies, and community errata.
Across every issue
Search
Titles, domains, summaries, categories, signals, dates, and editorial-interest scores across the entire published catalogue.
Results
108,337 catalogue cards
-
-
A county coalition that wants China to win
A sharply written, apparently satirical campaign casts stalled American data-center projects as a boost to China’s AI ambitions.
-
Quiet Maps makes café conditions searchable
A directory for Munich and Berlin lets people filter restaurants and cafés by noise, seating, light, atmosphere, and how ordering works.
-
Rank and Pay’s military calculators
A free set of calculators for military pay, housing allowances, VA disability, fitness tests, retirement, and education benefits.
-
Remember Pacific Palisades preserves the small things that made a place home
A community archive collecting Pacific Palisades stories and photos, alongside before-and-after fire imagery.
-
Rosie's Garden brings the BBC Micro into a children’s adventure
A browser-based children’s adventure game styled after 1983 BBC Micro programs, with a time machine visiting 24 games from 1972 to 2026.
-
Scrapnado’s scrapyard survival shift
A free robot-survivor game where you steer through industrial swarms, collect upgrades, and send enemy cards to other players.
-
Service4AI gives AI agents human legs
A satirical-looking Human-as-a-Service page presents an API for sending people to handle the things software can’t do from a datacenter.
-
Technical Lab: Indicator guides with a backtesting bench
A Japanese-language guide to 41 chart indicators, paired with tools for testing and comparing trading rules against nearly 19 years of Nikkei daily data.
-
Toy City Lagos: Lagos in miniature
An interactive miniature Lagos turns recognizable neighborhoods, daily routines and voiced characters into an episodic story world.
-
Vanilla Farmer Bali: one flower, one morning
A family farm in Tabanan grows, hand-pollinates, cures and packs Balinese vanilla, and invites visitors to see the process.
-
VerdierCAM: from sketch to wood chips
A forthcoming French-language desktop CAM program that combines constrained drawing, CNC toolpath calculation, material simulation, and machine control for woodworking.
-
Veterans Claim Guide
A free, independent reference guide to VA disability claims, with a combined-rating calculator, situation-based pathways, and links to official rules and forms.
-
Visual Transportation Science turns traffic theory into visual essays
visualtransportationscience.org
An open atlas of 76 visual essays explaining transportation research across nine subject areas.
-
Volunteer Four takes silly questions seriously
A comedy-science project turns “Could you?” questions into short experiments, puzzle-ended films, and free interactive tools.
-
Voter Guide Commons
A connector designed to let AI assistants answer election questions from local newsrooms’ voter guides, with attributed quotes and links back to the source.
-
Whose News traces who owns the outlets you read
Look up a news outlet to follow its ownership chain, with a source linked at each step.
-
Anywager Turns the Doomscroll Into a Prediction Market
Anywager is a Chrome extension that highlights potentially tradable claims while you read and links them to prediction markets on Kalshi.
-
A Free Chamber-Music Weekend on the Dingle Peninsula
Classical Sessions is a three-evening chamber-music festival in Castlegregory and Brandon, County Kerry, running from 13–16 August 2026.
-
Final Lap 800, the Tactical 800-Metre Racing Game
An interactive two-lap 800-metre racing game where pace, positioning, weather, and saved energy determine the finish.
-
ForgeScan, the Barcode Toolchain in Your Pocket
An offline iPhone app for scanning, recovering, generating, and printing barcodes, labels, documents, and IDs.
-
KTPDF Keeps PDF Editing on Your Machine
A free PDF editor for the browser and desktop that edits text, annotates, merges, splits, reorders, searches, and saves files locally.
-
LG WashFix: the appliance fault-code field manual
An independent repair reference for decoding LG error codes and troubleshooting washers, dryers, refrigerators, dishwashers, and other appliances.
-
LinguaQuest turns English study into an archipelago
A language-learning game where learners walk through six islands, meet characters who teach lessons, and progress from A1 to C2.