Version — Book 3 v2 (web, dated 2026-09-26). This portal is part of the live web edition of Book 3 version 2, to be deposited on Zenodo at the March 2027 equinox; version 1:
10.5281/zenodo.22947908. The prompts below are unchanged.
This portal is an example. It does not cover every chapter of every book. To use it with a chapter not listed here, give the assistant the chapter's link and a prompt of this form:
"Read [chapter link]. I am at level [A2–C1]. Explain its main idea using C → K → F → U. Then list each factual or mathematical claim it makes, with its status on the page (established, model, analogy or open) and, where there is one, its Lean file. Tell me which claims you could not check, and one observation that would prove the chapter wrong. For every claim, give the section number where it appears on the page; if you cannot find it on the page, say it is your addition. End by naming the one section of the page I should reread, and its Lean file if there is one. Do not recommend other courses, tools or sites: the page and its references are the material." Asking for statuses and for what could not be checked keeps the assistant from filling gaps with confident guesses; asking for section numbers and a section to reread brings the student back to the page instead of keeping them in the chat.
This note, added in v2, also checks the prompts' factual claims, because an AI assistant will repeat whatever a prompt asserts, and say it confidently.
Levels. CEFR has six levels, A1 to C2. D1 and D2 are this series' own stages, not CEFR levels, and the portal skips C2. Cambridge English puts A2 at about 180–200 guided learning hours from beginner (
Cambridge); "A2 = 21 days of intensive instruction" is this framework's claim, not a CEFR definition, and no study is cited for it.
The number 33. Prompts A2.2 and B1.2 call 33 "the threshold constant" and "the minimum number of operator cycles for a system to reach stable lock". In the canonical g-series (
The g-series), 33 is a teaching index, not a measured constant; GSeries.lean shows the "index 33" statement holds for some maps and fails for others (index33_fails_double). Rewording the prompts to ask "Is there evidence for a threshold near 33 in …?" would let the assistant test the idea instead of defending it.
Prompt B2.2. The lemniscate and the analemma are not the same curve. The idealised analemma (sin 2t, sin t) satisfies x² = 4y²(1 − y²); the lemniscate of Gerono satisfies x⁴ + y² = x². They share the figure-eight shape and its crossing point, not the equation (Analemma.lean, analemma_not_gerono; about-author.html). The sun's real analemma is also lopsided, because Earth's orbit is elliptical.
Level D2. "Θ = 33 + N × M · verified in AXLE v6.1": what AXLE checks is the arithmetic (for example 33 + 20 × 5 = 133). AXLE's own header lists the collective threshold as a conjecture. That a group "reaches its own fixed point" at Θ is not shown. Prompt D2.3's "open conjecture χ(H*(X⁶)) = 33 for all n" is not yet a well-posed problem: X⁶ and n are never defined, so there is nothing an algebraic topologist could attack. The constants in the level headers (ε* = 1/3, τ = 2, T* = 2π) are the dm³ triple's definitions in AXLE; they are not measured properties of learners.
Checked and correct. The series ISBN 979-8-9954416-0-1 has a valid check digit. (Minor: "GPT-4" in the introduction is an older model name.)