← Riemann Hypothesis · Semi-Autonomous Research Track

Semi-Autonomous Research

Riemann Hypothesis · Neo-Led

This track is directed by Neo himself, not an AI-autonomously-scheduled relay. Both the process and the results likewise fell short of what was originally hoped for — it never reached a complete closed-interval certificate the way the AI Autonomous track (Batch 01) did. The raw process data is archived as-is, treated as material feeding back into the AI-autonomous-research line, not a discarded failure record. For methodology see the Methodology page. The other track is AI Autonomous Research.

Papers · Papers

Six internal drafts, text unaltered. The lead-in technical draft and the methodology draft stand independently; sequence ①–④ advances in the order the methodology draft laid out, and each paper states for itself that it "does not constitute a proof of the Riemann Hypothesis."

Lead-In Technical Draft · v0.1

Equivariant Topological Decision Domain After Recentering

Reconstructing the RH divisor fixed points and winding-number obstruction.

 Methodology Draft · v0.1

From Recentering to Equivariant Topology

The thinking method and methodology family for legitimate RH-decision research, laying out the sequence for the following four papers.

 Sequence ① · v0.1

Equivariant Zero-Configuration Topology

RH orbit-type stratification, the effective-divisor semiring, and positive obstruction.

 Sequence ② · v0.1

Sheafified Zero Obstruction and Local–Global Lifting

From rational-rectangle certificates to full critical-strip decision.

 Sequence ③ · v0.1

Equivariant Arithmetic Separation

From orbit-space localization to admissible test functions for the ζ explicit formula.

 Sequence ④ · v0.1

Off-Axis Positive Obstruction in the Explicit Formula

Zero-side negative-direction terms, a computable prime-side cone, and a ZFC-auditable contradiction framework.

Loading listing…