Update on: Claude AI manages to formalize in eleven days the proof of Fermat's last theorem

Le Monde — Une reports an evolution concerning "Le point sur: L'IA Claude manages to formalize in eleven days the proof of Fermat's last theorem", without the available excerpt allowing the story to be extended beyond the facts cited.

The available report indicates that the Anthropic agent translated this proof of extraordinary complexity into a programming language, allowing it to be verified automatically. The report also states that this experiment paves the way for possible progress in the validation of mathematical results.

Any statements, assessments and figures are attributed to the persons or bodies cited by the source. The extract does not constitute a complete documentary file in itself and does not necessarily present the response of all the parties concerned.

Official press releases or subsequent updates could provide additional context. As it stands, this report is limited to the elements directly supported by the title and the excerpt transmitted.