> 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",

> 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.