This blog post by Terence Tao discusses the implications of AI on proving the Hodge conjecture, highlighting the ongoing intersection between mathematics and technology. It reflects on the resource investment by AI companies in mathematical research, sparking a conversation about the future of mathematics in the AI era.