Kevin Weil praises Tyler Cowen's post on AI and mathematics

Kevin Weil, OpenAI's account owner, shares a Marginal Revolution post by Tyler Cowen on AI and mathematics and calls its last paragraph particularly excellent. The post links to a Marginal Revolution article titled "The mathematicians rebel against AI," but the body does not describe its specific arguments.