About AMRAL Research Lab
AMRAL is a replayable research lab for human-led, semi-autonomous, autonomous, and multi-agent mathematical research. It originally grew out of RIITG, RAB, KCPE, and the AMRAL autonomous research loop — now referred to collectively as AMRAL-Core — but the platform itself does not require every research case to use the same methodology. Different cases may adopt AMRAL-Core, direct search, computational exploration, the Triadic Research Protocol (TRP), QCI quantitative closure, formal verification, or other future research methods.
Every research case is described by the following five independent axes, not a single fixed pipeline.
What is being studied? The Riemann Hypothesis, the Erdős conjecture series, WOWII graph-theory conjectures, and so on.
How are research paths generated, expanded, and converged? Could be AMRAL-Core, direct search, a future method, or no fixed methodology at all.
Axis CHow do the AI / research roles collaborate? Currently TRP (Triadic Research Protocol); may be extended in the future.
Axis DWho holds the research direction and scheduling? human-led / semi-autonomous / autonomous / multi-agent-autonomous.
Axis EHow are research results legitimized, quantitatively closed, and verified? QCI, adversarial review, blind re-derivation, formal proof, and so on.
AMRAL — the umbrella concept, the Research Lab / Platform, everything on this site.
AMRAL-Core — the original methodology (RIITG + RAB + KCPE + the nine-step research loop), one option under the Methodology axis, not a site-wide mandatory pipeline.
AMRAL Case — an individual research case on the site, e.g. the Riemann Hypothesis, the P/NP duality rehearsal.
The equation AMRAL methodology = everything on this site no longer holds.
AMRAL's core requirement is not "every piece of research follows the same route," but that the research process must be:
Traceable
Replayable
Falsifiable
Revisable
Verifiable
Failed and superseded routes are not deleted; finite computation does not masquerade as infinite proof; candidate conjectures are not written up as active proof projects — the full rules are in the original hand-off document linked below.