Math Thesis Defense - Lean4 Machine Assisted Proof Framework for Chip Firing Game & Graphical Riemann-Roch

First Proof Project

Independent, transparent evaluation of AI in research mathematics.

ACM Transactions on Algorithms (talg) Vol 22, Issue 3

Google DeepMind Paper On New AlphaProof Nexus Framework: Advancing Mathematics Research with AI-Driven Formal Proof Search

ACM Transactions on Mathematical Software (toms) Vol 52, Issue 2

Trustworthy Concurrency in the Agentic Lakehouse: Reconciling Academic Proofs with High-Frequency Production Writes

> **Cross-posted.** This article's canonical home is [iceberglakehouse.com](

GitHub Repository: AI-Generated Proofs for Open Problems in Mathematics and Computer Science

Contribute to Pengbinghui/pipeline-math development by creating an account on GitHub.