Anthropic's Claude recently formalized Fermat's Last Theorem in just 11 days, a task Kevin Buzzard's £1 million project aims to complete over five years.
Jon Markman is a Contributor at TheStreet. He specializes in investment research and technology, with a focus on themes such as artificial intelligence, machine learning, and blockchain. His insights and analyses have been featured in notable publications including Forbes, MoneyShow, and Yahoo News Singapore.