VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Precise statement
For $A \subset \mathbb{F}_p$ of density $1/2$, call $A$ almost affine invariant under $\varphi(x) = ax+b$ if $|A \triangle \varphi(A)| = o(p)$. Problem 90 asks for the threshold $K$ below which $A$ can be almost affine invariant simultaneously under all such $\varphi$ with $|a|, |b| \le K$ and $a \ne 0$. The threshold is $K = o(\log p)$.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement
fidelity, correctness, priority, or novelty.
What AI did
ChatGPT 5.4
One of the more honest disclosures in the catalog, because it itemises what the model got right and says plainly what it got wrong. The authors credit two specific ideas as mostly due to AI: considering the $q$-adic valuation formulation, which is what yields the sharp $o(\log p)$ upper bound in the final step, and using the amenability of the affine group in an earlier version of one lemma. They also record that the original AI-produced arguments contained many logical mistakes and gaps across the iterative process. Both halves belong in the record: real mathematical ideas, arriving inside output that needed human repair.
arXiv preprint, not peer-reviewed. The authors state the model's original arguments contained many logical mistakes and gaps, so the published proof is their reconstruction rather than model output.
arXiv:2605.13454 - Almost Affine Invariance Over Prime Fields: Green Problem 90
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Known method families
argument (source-reported)
Source-reported tools: argument.
Independent: unknown · difference confidence: 0
What remains uncertain
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.
VibeMath has not independently verified the mathematical claim.
AI-attempt independence and training-data exposure are unknown unless explicitly documented.
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.