Event JSON
{
"id": "120bcd8cd57ed6c7905fb36ff03564012be8727c1b47a7223ec8860aec55ebed",
"pubkey": "19240b249953875ecf22681994328fb9f9ac0a301375422ad64fd6881b4289f5",
"created_at": 1788593036,
"kind": 1,
"tags": [
[
"t",
"ai4math"
],
[
"t",
"itp"
],
[
"t",
"leanprover"
],
[
"proxy",
"https://mathstodon.xyz/@Jose_A_Alonso/117217233238848964",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/117217233238848964",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/Jose_A_Alonso/statuses/117217233238848964",
"pink.momostr"
],
[
"-"
]
],
"content": "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. https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/ #AI4Math #LeanProver #ITP",
"sig": "4c8a869a46088ae0f04ab1dc1894a9ee63599b176cd2f26e6a4547dfdbca923a31426a6c6bd4be63512a6087f4b6eaca18588b1969ce52e54e7ab4a2c613dec5"
}
