{"exhaustive":{"nbHits":false,"typo":false},"exhaustiveNbHits":false,"exhaustiveTypo":false,"hits":[{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"csheehan10"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["kannan","lovasz","simonovits"],"value":"Presenting a proof of the <em>Kannan-Lov\u00e1sz-Simonovits</em> conjecture"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://arxiv.org/abs/2610.05474"}},"_tags":["story","author_csheehan10","story_49982838"],"author":"csheehan10","created_at":"2026-10-06T19:23:09Z","created_at_i":1791314589,"num_comments":0,"objectID":"49982838","points":2,"story_id":49982838,"title":"Presenting a proof of the Kannan-Lov\u00e1sz-Simonovits conjecture","updated_at":"2026-10-06T19:38:32Z","url":"https://arxiv.org/abs/2610.05474"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"zone411"},"comment_text":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["kannan","lovasz","simonovits"],"value":"I maintain an LLM-ranked list of the 500 most important open problems in math at <a href=\"https://www.proofatlas.ai/open-problems/\" rel=\"nofollow\">https://www.proofatlas.ai/open-problems/</a>. This problem was ranked #159, and it also resolved #244, &quot;All-Pairs Shortest Paths in Truly Subcubic Time.&quot; It is formalized in Lean.<p>But what's crazy is that within the last day or so, we've also gotten LLM-assisted solutions to #95, the <em>Kannan\u2013Lov\u00e1sz\u2013Simonovits</em> (KLS) conjecture, by three different authors in parallel (all extending Song\u2013Zhang's key criterion introduced on Oct. 1), #278, the Mumford\u2013Shah conjecture, and #227, Zauner's conjecture on SIC-POVM existence in every dimension, which also represents a major claimed advance on Hilbert's twelfth problem (#36) for real quadratic fields.<p>This is likely because OpenAI's solutions to 100 open conjectures are expected to drop any day, so everyone is in a hurry not to get scooped."},"story_title":{"matchLevel":"none","matchedWords":[],"value":"Subquadratic 3SUM and Subcubic APSP"},"story_url":{"matchLevel":"none","matchedWords":[],"value":"https://arxiv.org/abs/2610.06783"}},"_tags":["comment","author_zone411","story_49977437"],"author":"zone411","children":[49983790],"comment_text":"I maintain an LLM-ranked list of the 500 most important open problems in math at <a href=\"https:&#x2F;&#x2F;www.proofatlas.ai&#x2F;open-problems&#x2F;\" rel=\"nofollow\">https:&#x2F;&#x2F;www.proofatlas.ai&#x2F;open-problems&#x2F;</a>. This problem was ranked #159, and it also resolved #244, &quot;All-Pairs Shortest Paths in Truly Subcubic Time.&quot; It is formalized in Lean.<p>But what&#x27;s crazy is that within the last day or so, we&#x27;ve also gotten LLM-assisted solutions to #95, the Kannan\u2013Lov\u00e1sz\u2013Simonovits (KLS) conjecture, by three different authors in parallel (all extending Song\u2013Zhang&#x27;s key criterion introduced on Oct. 1), #278, the Mumford\u2013Shah conjecture, and #227, Zauner&#x27;s conjecture on SIC-POVM existence in every dimension, which also represents a major claimed advance on Hilbert&#x27;s twelfth problem (#36) for real quadratic fields.<p>This is likely because OpenAI&#x27;s solutions to 100 open conjectures are expected to drop any day, so everyone is in a hurry not to get scooped.","created_at":"2026-10-06T20:29:47Z","created_at_i":1791318587,"objectID":"49983654","parent_id":49977437,"story_id":49977437,"story_title":"Subquadratic 3SUM and Subcubic APSP","story_url":"https://arxiv.org/abs/2610.06783","updated_at":"2026-10-08T17:13:25Z"}],"hitsPerPage":20,"nbHits":2,"nbPages":1,"page":0,"params":"query=Kannan-Lovasz-Simonovits&advancedSyntax=true&analyticsTags=backend","processingTimeMS":10,"processingTimingsMS":{"_request":{"roundTrip":28},"fetch":{"query":9,"total":10},"total":10},"query":"Kannan-Lovasz-Simonovits","serverTimeMS":11}
