Benchmarks
Tasks, baselines, evaluations, and expert review sets for testing theory reasoning.
Resources
Events and related efforts.
A shared index of papers, tools, benchmarks, datasets, workshops, and reference links for AI-for-theory work.
Milestones
AI-first discoveries
Examples of AI systems proposing conjectures, mechanisms, calculations, or checks.
Formalized corpus
Formalization projects, structured paper corpora, proof libraries, and scientific datasets.
Knowledge compression
Concept maps, ontologies, surveys, dependency graphs, and reusable theory summaries.
Collecting
Events
Talks, working sessions, workshops, and community meetings.
Related efforts
Tools, papers, datasets, and research infrastructure worth tracking.