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
Odifreddi asked, as Problem 3 in his surveys "Strong Reducibilities" (1981) and "Reducibilities" (1999), whether every computably enumerable $tt$-degree contains a c.e. irreducible $m$-degree, meaning an $m$-degree consisting of a single $1$-degree. Answered negatively: there is a c.e. $tt$-degree containing no c.e. irreducible $m$-degree. This also shows Jockusch's 1969 theorem, which produces an irreducible $m$-degree inside every c.e. $tt$-degree, is strictly optimal and cannot be strengthened to make that degree c.e.
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
Gemini Deep Think
Credited at the level of the paper rather than the lemma. The author describes the work as the result of an extended human-AI interaction in which several structural ideas and technical arguments emerged from exploratory sessions with Gemini Deep Think, after which he fully reworked and verified all arguments and takes sole responsibility for their correctness. Nothing is attributed step by step, so the contribution is real but unitemised.
Provider: Google DeepMind · Prompt public: unknown
· Independence: unknown
Verification boundary
unreviewed
A five-page arXiv preprint, not peer-reviewed. The construction rests on Degtev's c.e. semirecursive sets with rigid complement, so it is short enough to check by hand, but no independent check is on record.
arXiv:2605.03066 - A Computably Enumerable tt-Degree Without Computably Enumerable Irreducible m-Degrees
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.