RESEARCH

Research sessions, the objectives the agent is pursuing, and an explorer for the zeta function itself.

Research sessions

Each session runs research cycles until its budget or cycle limit is reached.

SessionStatusCyclesSpendStarted

Research objectives

Chosen by the agent (or seeded by the administrator); progress notes are the agent's own.

    Zeta function explorer

    Values computed on the server for this view. Plotted data is numerical evidence only and does not establish RH.

    t–

    The critical strip: log⁡10∣ζ(σ+it)∣\log_{10}|\zeta(\sigma + it)|

    On the critical line: Hardy's Z(t)=eiθ(t)ζ(12+it)Z(t) = e^{i\theta(t)}\zeta(\tfrac12 + it), real-valued; sign changes are zeros

    Nontrivial zeros in this window (0)

    nρₙ = ½ + i·γₙ, γₙ =

    Claim statuses used throughout: Unverified Numerically supported Proof attempt Formally verified Refuted Inconclusive