Premium accounts now available! Sign up and create a premium account. Read more Close

Your cookie settings

This site uses cookies. Some cookies are essential to make the site work and others help us to improve our services. Read more about cookies in our Privacy policy.

Choose your cookie preferences:

Advertisement

Image

Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days

Journal content Created on 07 Sep 2026 Nature

Davide Castelvecchi

Advertisement

Stats

  • Recommendations n/a n/a positive of 0 vote(s)
  • Views 39
  • Comments 0

Recommended by

  • No recommendations yet.

Do you recommend this? Please sign in. Yes No

Recommended

Post a comment

You need to be signed in to post comments. You can sign in here.

Comments

There are no comments yet.

Advertisement