bluesky — Thomas Dietterich — 13 Sep 2026
An alternative is to create a new kind of venue where AI-written and verified results could be submitted and made availa…
#ai-mathematics #formal-verification #research-infrastructure
An alternative is to create a new kind of venue where AI-written and verified results could be submitted and made available to the research community for examination and analysis. Like aiXiv, there would be no human author, only a "corresponding human". 5/