Reported
Update on: Claude AI manages to formalize in eleven days the proof of Fermat's last theorem
The report of Le Monde — Une summarizes the main elements available, maintaining the assertions attributed to their sources.
· 1 min read
The report of Le Monde — Une summarizes the main elements available, maintaining the assertions attributed to their sources.