Great. Unsolved Problem A is related to Unsolved Problem B in that both are specific applications of Unknown Structural Theorem 1. Guys, we cracked it. Both Riemann and Collatz are resolvable with the correct framework. Now all we've got to do is figure out whether or not Hunger and Racism might also be solved by Unknown Political Theory 1.
I know its fun to poke fun at silly LLM attempts at the big problems, but did you read any of it? It's worth a deeper look.
Where are your formalizations of your proofs using Lean? Go away and don’t come back until you have them.