@mods User is inactive, I think this can resolve NO.

@BrunoJ Sorry to be unhelpful here, but can you provide some evidence for this claim in a comment here and ping the mods again? I read the question title and comment section and I can't see anything that would tell me how to resolve it.

We should also give at least a day for @vluzko to respond

@Eliza Thanks for the response — I'm not sure how I could provide evidence for a claim that something doesn't exist. I think it should resolve NO in the absence of evidence for a YES resolution...

@BrunoJ if someone was able to say "look, a person tried this and it didn't work", I could resolve no. But if no one tried it, and no one knows if it would have worked, we could end up having an N/A instead. And the further away from 1 Jan we get, the harder it will be to figure out.

@BrunoJ @Eliza I'm not inactive. This market, like many of my other 2024 markets, is waiting on more information about o1 to resolve. It will very likely resolve NO.

@vluzko Good to hear!

Would be interested in 01 pro and DSv3 results on this. Is this market based off demonstrated abilities or will resolution wait for a test of top models and NA without such testing? I assume the latter?

Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?, 8k, beautiful, illustration, trending on art station, picture of the day, epic composition