A Central Limit Theorem for High-Temperature SYK Model: A case study on mathematical research using AI and Lean

arXiv:2610.18440 · math.PR, math-ph, math.HO, math.MP · Submitted 2026-10-13 · Read on arXiv

math.PR, math-ph, math.HO, math.MP

Submitted: 2026-10-13

Updated: 2026-10-27

Terminology

Related papers