Observed arrival · 2026-08-27
State of Proof puts AI mathematics on the docket
A public research initiative examines AI-era mathematical claims and proof steps before formal peer review.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
Field notes
The homepage organizes its material as named dockets rather than general commentary. Records identify a pinned source, retrieval date, defined scope, and the exact next step requiring scrutiny; one active entry separates reproduced matrix and Smith-arithmetic calculations from unsettled meridian-sign and toric zero-section work. Queued entries also cover optimization, graph theory, potential theory, and formalized mathematics, with record changes dated as recently as 2026-08-27.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use
◉HumanPersonal, local, civic, or handmade
One card from the complete issue