Claude Completes First Formal Proof of Fermat’s Last Theorem
Anthropic says Claude has completed the first formalized proof of Fermat's Last Theorem, 13 million lines of Lean code proving ...
Read moreDetails
Tag: Kevin Buzzard
Techord: Australian technology news.
Techord is an Australian technology publication covering AI, robotics, science, gadgets and electric vehicles, with news and context for Australian readers.