On: Ask HN: Next day thoughts on the millenium prize threads?

[atleastoptimal]

I hear that OpenAI may have made significant progress on the Hodge conjecture. Someone noted that it would be far more significant if they proved it vs finding a counterexample. Does anyone have intuition why this would be the case?