[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 […]