Right. Nothing obvious in public. Where I'm heading is that all labs pay for solutions to software engineering task and never publicize those, I assume they do the same with maths?
>>> What’s a chance the counterexample was in the training?
My guess is it was not in the training. Only the 2D "almost" countraexample was in the training, but it was not clear how to fix it.
It's not clear how much steering Levent Alpöge did to get the result. He said he did during the final match of the World Cup, but he is from Turkey and living in USA and the game sadly was quite one sided, so I guess he does not care too much. So my guess is that he had a long chat with Fable.
I'm guessing too much, but if I can guess one more time the problem was probably too difficult to get solved by Levent Alpöge alone and by Fable alone, and it's a genuine Centaur solution.
My guess is it was not in the training. Only the 2D "almost" countraexample was in the training, but it was not clear how to fix it.
It's not clear how much steering Levent Alpöge did to get the result. He said he did during the final match of the World Cup, but he is from Turkey and living in USA and the game sadly was quite one sided, so I guess he does not care too much. So my guess is that he had a long chat with Fable.
I'm guessing too much, but if I can guess one more time the problem was probably too difficult to get solved by Levent Alpöge alone and by Fable alone, and it's a genuine Centaur solution.