Where Scientific Search Agents Fail: Decision-Checkpoint Auditing of Exposure and Inspection Attempts
Research by Hongmin Li and Wanli Zhao on how to audit exposure to and attempts to inspect target papers during scientific search.
2026 · News A new direction for AlphaScience Lab
Researcher · Tokyo
AI for Science,
across disciplines.
Research in AI-assisted science and mathematics, together with writing about how that research is done.
AlphaScience Lab · Research and writing
Research, methods,
and the work in progress.
AI for Science spans more than one method or one paper. Here are selected preprints, research practice, and writing. Each work is labeled by its current publication and verification status.
01 / Selected work
Research with a record.
Read paper ↗
The Hodge Conjecture for Odd-Degree Fermat Fourfolds
Preprint by Hongmin Li. Claims and proofs require independent verification.
Low-t Coefficients of the Valley Delta Conjecture
Preprint by Hongmin Li. Claims and proofs require independent verification.
Resolutions of linear p-cyclic quotient singularities
Research by Linghu Fan and Hongmin Li. Read the paper for its results and scope.
The Calibration Turn in AI-Assisted Research
A conceptual framework for matching scientific claims to the evidence available.
02 / Writing
From research to conversation.
Blog · Medium
A Mathematician, a Non-Mathematician, and a Machine
A first-person account of what we learned running AI on a real mathematical research problem.
Read the essay ↗03 / Connect
Research is a conversation.
Interested in AI for Science, mathematical research, or how research claims are evaluated? Explore the work or get in touch.
AlphaScience Lab · AI Mathematics
AI Mathematics
on rStation.
AI-generated mathematical manuscripts released for human verification on rStation, an online platform for research preprints with platform review.
Accepted on rStation means accepted after rStation platform review; it is not journal peer review. The manuscripts were generated with AI assistance and their proofs require independent human verification. None of these papers claims to resolve the Riemann Hypothesis, the Hodge conjecture or P versus NP.
01 / Accepted on rStation
Released for verification.
A Positive Reciprocal-Product Criterion for the Riemann Hypothesis
Accepted on rStation (platform review).
Cutoff-free positivity of localized Weil forms through the (log 11)/2 threshold
Accepted on rStation (platform review).
A small-diagonal transfer from a degree-33 Fermat character to the quartic-CM determinant of a Prym eightfold, and the Hodge conjecture for its powers under explicit quotient hypotheses
Accepted on rStation (platform review). Conditional on explicit quotient hypotheses stated in the paper.
Balanced Cyclic Prym Families and the Generalized Hodge Conjecture for All Powers
Accepted on rStation (platform review).
Generalized Thomas Sections and Density-Corrected Residue Selectors
Accepted on rStation (platform review).
Moving Apolar Constraints on Hodge Cycles of the Fermat Sextic Fourfold
Accepted on rStation (platform review).
Truth-Table Quotients Do Not Close One-Tape MCSP Magnification: Small Fibers, Exact Cosets, and a Defect-Inflation Dichotomy
Accepted on rStation (platform review).
A Single Modular Character Is Complete for SYM∘LTF Counting
Accepted on rStation (platform review).
Tight Ordered Width for Exponential-Threshold MCSP
Accepted on rStation (platform review).
Exponentially Many Barnette Graphs with the Global H+− Property
Accepted on rStation (platform review).
Concentration of Random Tensor Sumsets
Accepted on rStation (platform review).