Mastodon Feed
cwebber@social.coop ("Christine Lemmer-Webber") wrote:
This comes on the heels of @tao's observations that AI corporations throwing compute at developing proofs (and largely in private) for the sake of viral social media is removing the most valuable part of exploring said problems: the insights and next-problems that develop from trying to solve those problems. https://mathstodon.xyz/@tao/117207856734787448