About packet classes
These are public packet classes from the discovery run. Full solutions and counterexamples are the main candidate outputs; the remaining classes record partial progress or literature bookkeeping.
Full solution
Claimed proof of the extracted question as stated in the source paper.
Counterexample
Construction satisfying the hypotheses while violating the proposed conclusion.
Partial result
Solved subcase, reduction, obstruction, or quantitative improvement.
Conditional result
Argument with an explicitly isolated remaining dependency.
Explicit literature answer
A later or supporting paper explicitly answers the original question.
Implied literature answer
Existing theorem answers the question after an agent-made identification.
Model Manuscripts
Selected Proofs
These manuscripts are the raw GPT5.5 Pro results that formed the basis of Part 2 of the paper. They were produced on human-selected targets outside the automatic paper-pipeline loop.