Nevanlinna's three-omitted-values question in a half-plane

Non-Blaschke counterexample

Model / AI: GPT-5.6 Sol Ultra

Seven authors report that the core construction and proof were generated in a seven-hour autonomous model run and then audited and revised by humans. The explicit meromorphic function omits three values while its point divisors fail the relevant Blaschke condition, giving a negative answer.

Source read 2026-09-08. Read the abstract and numbered AI-use declaration in arXiv v1. The proof was not independently checked.

• Paper — Paper