Claude formalised Fermat's Last Theorem in 11 days and 13m lines of Lean
This signal is part of the paid research feed.
Subscribe to PlusSignals
Daily observations on the AI transformation, written by John Allsopp and Mark Pesce.
These signals represent our analytical observations about the technology and market landscape. They are commentary, not financial product advice. The mention of any company or financial product is not a recommendation to buy, sell, or hold. See our Terms of Service for full details.