A century-old shortcut may finally be broken
- What it is
- A paper claims a complex-function counterexample that challenges whether three special values control half-plane behavior; authors report machine-generated core work.
- Who did it
- Quanyu Tang, Bokai Cui, Wei He, Tao Hu, Yanyang Li, Ke Wang, and Zijun Yu
- What it could mean
- An AI-generated argument may have found a hole in a century-old mathematical expectation. Verifying it would both sharpen the rules for complex functions and put a concrete machine-discovery claim to the test.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Three omitted values and non-Blaschke point divisors in half-planes ↗See the proposed checks
Independently reconstruct the function and prove the half-plane growth/divisor assertions; highest risk is the global analytic passage from the construction to the bounded-type and Blaschke conclusions.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- Constructs a real meromorphic function with the three designated preimage sets real, not of bounded type in either half-plane, and stronger non-Blaschke statements; the authors say the core construction/proof was generated during an autonomous GPT-5.6 Sol Ultra run.
- Why this could matter
- A century-old shortcut may finally be broken The claim says three special output values do not control a complex function's behavior in a half-plane as mathematicians had hoped. Because the core argument was machine-generated, it is also a striking test of autonomous mathematical discovery.
- If it holds up
- Foundational: complex analysts lose a century-old shortcut and gain a new example that redraws the boundary between special-value data and global growth.
- If it does not
- The old question stays open, while the failed construction shows exactly where autonomous reasoning lost control of an infinite analytic argument.
- Impact horizon
- Foundational · Complex analysis · Autonomous mathematics
- Version
- submitted 2026-08-26 17:30:53 UTC.
- Why we tracked it
- fresh claimed century-scale counterexample with an explicit AI-generated core construction; compare before any docket action with the related Nevanlinna intake below.
- Highest-risk dependency
- the global analytic passage from the construction to the bounded-type and Blaschke conclusions.
- Available artifacts
- Fresh primary submission; no formal or code artifact linked on the arXiv record; no current social signal used.
- Current boundary
- Intake record only; examination not started.