← Session 36 — ii′-6-DL dog-leg + side bounds; Paper A review
Now the §3 theorem statement, Step 2 footnote shrink, and the new §3.1.
tool: Edit
input
{
"replace_all": false,
"file_path": "D:\\Python\\Quantum\\research\\paper\\paperA.tex",
"old_string": "\\begin{theorem}[R-004; conditional on computation]\n\\label{thm:finite-height-li}\nAssume the Riemann hypothesis verified to height\n$T_0 = 3\\times 10^{12}$ (Platt--Trudgian \\cite{platt2021riemann},\ninterval arithmetic). Then\n\\[\n\\lambda_n > 0 \\qquad \\text{for all } 1 \\le n \\le N_1 := (T_0-1)^2\n= 8\\,999\\,999\\,999\\,994\\,000\\,000\\,000\\,001 \\approx 9.0\\times 10^{24}.\n\\]\n\\end{theorem}",
"new_string": "\\begin{theorem}[R-004; conditional on computation]\n\\label{thm:finite-height-li}\nAssume (i) the Riemann hypothesis verified to height\n$T_0 = 3\\times 10^{12}$ (Platt--Trudgian \\cite{platt2021riemann},\ninterval arithmetic), and (ii) $\\lambda_n > 0$ for all $n \\le 10^5$\n(finite computation; Step~5). Then\n\\[\n\\lambda_n > 0 \\qquad \\text{for all } 1 \\le n \\le N_1 := (T_0-1)^2\n= 8\\,999\\,999\\,999\\,994\\,000\\,000\\,000\\,001 \\approx 9.0\\times 10^{24}.\n\\]\n\\end{theorem}"
}
raw content_json (database row)
[{"type":"text","text":"Now the §3 theorem statement, Step 2 footnote shrink, and the new §3.1."},{"type":"tool_use","id":"Edit_308","name":"Edit","input":{"replace_all":false,"file_path":"D:\\Python\\Quantum\\research\\paper\\paperA.tex","old_string":"\\begin{theorem}[R-004; conditional on computation]\n\\label{thm:finite-height-li}\nAssume the Riemann hypothesis verified to height\n$T_0 = 3\\times 10^{12}$ (Platt--Trudgian \\cite{platt2021riemann},\ninterval arithmetic). Then\n\\[\n\\lambda_n > 0 \\qquad \\text{for all } 1 \\le n \\le N_1 := (T_0-1)^2\n= 8\\,999\\,999\\,999\\,994\\,000\\,000\\,000\\,001 \\approx 9.0\\times 10^{24}.\n\\]\n\\end{theorem}","new_string":"\\begin{theorem}[R-004; conditional on computation]\n\\label{thm:finite-height-li}\nAssume (i) the Riemann hypothesis verified to height\n$T_0 = 3\\times 10^{12}$ (Platt--Trudgian \\cite{platt2021riemann},\ninterval arithmetic), and (ii) $\\lambda_n > 0$ for all $n \\le 10^5$\n(finite computation; Step~5). Then\n\\[\n\\lambda_n > 0 \\qquad \\text{for all } 1 \\le n \\le N_1 := (T_0-1)^2\n= 8\\,999\\,999\\,999\\,994\\,000\\,000\\,000\\,001 \\approx 9.0\\times 10^{24}.\n\\]\n\\end{theorem}"},"extra_content":null}]