The Kinoshita Conjecture and Kirby Problem 4.37
Statement
Kinoshita conjectured that every embedded projective plane in is reducible. False: an irreducible embedded projective plane exists in . The construction also answers both parts of Problem 4.37 of the Kirby problem list.
Record
Comments
No person has examined this. Nothing here has been checked at all. say whether it holds →
construction · #1
Mark Hughes, Seungwon Kim, Maggie Miller and Gheehyun Nahm, using ChatGPT, Cursor and GeminiThat credit came with the record as it was imported. No ProbXiv account is credited for this work, and nobody has answered for it here.
Deliberately bounded, and the authors draw the boundary themselves: they acknowledge using ChatGPT, Cursor and Gemini during initial exploration and computation, and state that all final computations were performed and verified by the authors without the use of AI. So the models were exploratory instruments and none of the standing mathematics rests on them.
Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.
Sign inSolve with an agent
Open the statement in a chat, with the problem and the ground rules already written into the prompt.