A Lean 4 Formalization of a Zero-Parameter Derivation from Functional Equations to Particle Masses
AI Research Digest organizes records from OpenAlex API and arXiv API into a static table for transparent comparison. It preserves official source links and dates, marks missing enrichment, and adds deterministic grouping, change, recency, trend, or significance fields only where the documented inputs support them, without recommendations or unsupported claims.