Mathematician @ElliotGlazer is nearly certain OpenAI proved a significant partial case of the Hodge conjecture, but says the full problem is still nowhere close: "I am nearly certain at this point that some non-trivial case of the Hodge conjecture was in fact proven. It's likely that both labs have independently achieved at least a partial version of that result." "A significant result is very different from substantially reducing timelines on the full thing being solved, because abelian…