(v.2)
On OpenAI’s Proof of $\mathbb{Z}_p$-Finite Generation of $K(n)$-local Sphere (UPDATING)
Author: Jiahao Li (University of British Columbia, Okanagan)
This website is aimed to understand the proof of OpenAI of the $\mathbb{Z}_p$-finite generation of $K(n)$-local sphere. This is a problem of Hovey-Strickland, here by refer to as problem 313.
M. Hovey’s List of Problems in Morava E and K-Theory, 313 is no. 1
A discussion of usage of AI in mathematics and mathematical sciences
Terence Tao: A severe misalignment of AI in mathematics
Disclaimer of AI Usage
Generative AI are only used for gathering references that contributes to the results. All writings and reinterpretation of results are done by the authors without help of AI.
Digital Signature: Jiahao Li