On the Hodge conjecture

[This is a guest post by Burt Totaro. This blog post was initially written in a different file format and converted using AI. — T.] These are strange times for mathematicians. It now seems possible that AI companies will burn through vast resources in order to prove some new fact about the Hodge conjecture. I’d like to discuss the current status of the Hodge conjecture, in order to think about the value to the mathematical community of exploring such hard problems. Thanks to Terry Tao for sugges...