A Central Limit Theorem for High-Temperature SYK Model: A case study on mathematical research using AI and Lean
Yoshinori Kamijima, Shuta Nakajima, Ryoichiro Noda, Kôhei Sasaya
AI use, as the source states it
“In addition to the mathematical results, we discuss how the proofs were developed and refined through interaction between human researchers and AI, and we describe the subsequent formalization of the main arguments in Lean 4.”
Named here, or see a mistake? Write to privacy@papex.org.