Comment by HarHarVeryFunny
7 hours ago
> Rumor was they were sitting on the solution to the Hodge conjecture
I think someone at OpenAI (Brockman?) claimed they had "made substantial progress on it", but there is a mathematician on Twitter offering a $25,000 bet, with no takers, that they have not solved it, and that the "substantial progress" they have probably made would still leave them a lot further from a solution than they imagine.
I also see someone else on Twitter claiming to have used AI to understand what the Hodge conjecture is. :)
I really wish OpenAI would fire their PR department (incl. mathematicians), and concentrate on trying to build AGI, or RSI, or generate tons of money, or whatever they are trying to do.
Edit: Apparently not Brockman - some unknown leaker saying there was progress or an expected result soon
PR is important for getting investor money, which is important for building infrastructure and AGI, I don't think they're spending millions on pure math for fun.
> there is a mathematician on Twitter offering a $25,000 bet, with no taker
OpenAI spent $15 mil working on Navier Stokes.
So you're saying OpenAI not taking a $25k bet is proof of something?
I wouldn't expect the person who paid the $15M bill to be the one to take the bet, but the "expect to solve/announce it soon" rumor apparently came from some OpenAI employee, so the ship seems to be leaking, and yet nothing more.
I can see Altman sitting on 100 less famous math results waiting for the best PR opportunity to release them, but hard to see him sitting on this, risking being scooped by a competitor.