L’IA “formalise” le dernier théorème de Fermat en seulement ...

Renaud Lifchitz

npub1renaud65zug8r570ndztde2xhk206z3v50a5mwa3kp2xshy3zmjqkqaw97

hex

f5aa3373390fce43358a2e35756959e8fe82701966647e6eb77fad77ce0d3810

nevent

nevent1qqs0t23nwvuslnjrxk9zudt4d9v73l5zwqvkver7d6mhltthecxnsyqprpmhxue69uhhyetvv9ujuem4d36kwatvw5hx6mm9qgspue77xa2pwyr3608ek39ku4rtm98apgk2876dhwcmq4rgtjg3deq8drtxc

Kind-1 (TextNote)

2026-09-08T23:26:35Z

L’IA “formalise” le dernier théorème de Fermat en seulement onze jours https://www.courrierinternational.com/article/mathematiques-l-ia-formalise-le-dernier-theoreme-de-fermat-en-seulement-onze-jours_268898 #nostrfr

Raw JSON

{
  "kind": 1,
  "id": "f5aa3373390fce43358a2e35756959e8fe82701966647e6eb77fad77ce0d3810",
  "pubkey": "1e67de3754171071d3cf9b44b6e546bd94fd0a2ca3fb4dbbb1b054685c9116e4",
  "created_at": 1788909995,
  "tags": [
    [
      "t",
      "nostrfr"
    ]
  ],
  "content": "L’IA “formalise” le dernier théorème de Fermat en seulement onze jours \nhttps://www.courrierinternational.com/article/mathematiques-l-ia-formalise-le-dernier-theoreme-de-fermat-en-seulement-onze-jours_268898\n#nostrfr",
  "sig": "4725592e6350b2efdf9efc664632dc78906566fc5d4be313015ca8fb523331a25db2204de9701a2623eb4fc46f73ca90a19306c2107929a9de1d777386471185"
}