Analysis studies functions, limits, and transformations.
4 records · Includes focused interests · How we rate progress
Alpöge and Furman report an unconditional lower bound of 0.6725 for the proportion of nontrivial zeta zeros that are simple and lie on the critical line.
Original report: 2026-08-10OpenAI claims a finite degree-dependent upper bound for the total number of isolated periodic trajectories of any planar polynomial vector field.
Read original source Pinned primary manuscript · family 143github.com
Original report: 2026-10-06OpenAI claims a conformal circle-domain model for an arbitrary planar domain, allowing uncountably many complementary components.
Read original source Pinned primary manuscript · family 071github.com
Original report: 2026-10-06OpenAI’s manuscript reports that all Dirichlet L-functions and finite-order Hecke L-functions over Q(√−3) have no zeros with real part greater than 7/8.
Read original source Original manuscript · family 003github.com
Original report: 2026-10-06Analysis studies functions, limits, and transformations. Conformal uniformization and operator estimates require their precise domain and regularity assumptions.
Background review: 2026-10-11. Selected sources:
Publication dates and editorial changes.
Claude: a reported improvement in the proportion of zeta zeros on the critical line
OpenAI reports: Uniform bounds for planar polynomial limit cycles
Claude: a reported improvement in the proportion of zeta zeros on the critical line
Claude: a reported improvement in the proportion of zeta zeros on the critical line
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
