2026-10-28T17:32:19Z https://nostr.now Nostr notes by José A. Alonso José A. Alonso https://nostr.now/npub1ryjqkfye2wr4anezdqvegv50h8u6cz3szd65y2kkfltgsx6z386smsl943 https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg https://nostr.now/nevent1qqspyz7d3n2ha4k8jp0mxmlsx4jqz2lgwf7pk3a8yglv3ps2a327hmgzyqvjgzeyn9fcwhk0yf5pn9pj37ulntq2xqfh2s326e8adzqmg2yl25r68ky FLT: Anthropic has beaten me to it (one of their internal models, ... FLT: Anthropic has beaten me to it (one of their internal models, using the prove2.me platform, has formalized a complete proof of Fermat’s Last Theorem (FLT) in Lean). ~ Kevin Buzzard. <a href="https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/">https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/</a> #AI4Math #LeanProver #ITP 2026-09-05T07:23:56Z