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

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?