Aug 21, 2026
Hopf-threefold counterexample
Model / AI: Rethlas, GPT-5.6 Sol
self-reported
Xia and Zhang report that a Rethlas agent using GPT-5.6 Sol constructed the initial counterexample, later improved by a human collaborator. They prove that the bounded mass property fails on the standard Hopf threefold.
Source read 2026-09-08. Read the abstract, comments and AI-use disclosure in arXiv v1. The proof was not independently checked.