A curated registry of scientific and math results produced by or with AI systems. 52 records so far, spanning Math, CS, biology, physics, chem, and med.
Schema: each record has a title, claim, field, date, lab/model, source links (paper, announcement, coverage), and two graded fields:
- verification: formal, peer-reviewed, independent, author-verified, claimed, disputed, refuted
- autonomy: autonomous, ai-led, collaborative, ai-assisted, search-scaffold, retrieval
Refuted and already-known results are kept and labeled rather than dropped, so it doubles as a record of claims that did not hold up. One JSON file is the source of truth; also published as RSS and JSON Feed.
Data (single JSON file) is here and got Schema docs at this md file.
CC-licensed and actively maintained. Feedback on the schema welcome.
submitted by /u/kenanthecommander
[link] [comments]
