[5000 Mana prize] What is the best "Human-solvable, machine-hard puzzle"

Can LLM generate a Lonpos puzzle solution before the end of 2025?

Will someone solve Paul Rubin's cipher by the end of 2032?

Puzzle AGI by 2028

When will AI be able to solve 50% of official Jane Street puzzles?

Will brute force search work to find a solution for this calendar puzzle?

Will someone solve all three Beale Ciphers by the end of 2032?

Will GPT-5 be able to solve A::B system puzzles consistently

Puzzle AGI by 2032

Puzzle AGI by 2040