Can Kimi K3 solve the same problems that Claude Fable can?

Despite local models getting significantly better, it seems that no one is trying to replicate the existing accomplishments of closed models. When it inevitably drops, would someone be willing to run GLM or Kimi on their local server cluster if you have one, making sure it does not access the Internet and see if it can solve the two famous problems that closed source models recently solved in mathematics (I think GLM was released before the first one so not in training data, and Kimi stopped training before the second one): https://openai.com/de-DE/index/model-disproves-discrete-geometry-conjecture/ https://web.archive.org/web/20260721173628/https://www.newscientist.com/article/2580374-ais-solution-to-87-year-old-riddle-takes-mathematicians-by-surprise/ Or perhaps some of the cyber security problems solved by mythos making sure to use GitHub commits from the past removing recent fixes: https://www.anthropic.com/glasswing And then would any qualified mathematicians or cyber security experts, verify the results from the model outputs? I’m just really curious to see if the world changing stuff that closed models can do is actually within reach for us in open source