Claude formalized a Lean 4 proof of Fermat's Last Theorem in 13 million lines of code

www.anthropic.com

Claude formalized a Lean 4 proof of Fermat's Last Theorem in 13 million lines of code

www.anthropic.com

beep@piefed.worldM to

Technology@piefed.worldEnglish · 11 days ago

Formalizing Fermat's Last Theorem

www.anthropic.com

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

You must log in or register to comment.

Chat

Technology@piefed.world

tech@piefed.world

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !tech@piefed.world

Blacklisted Sites

List inspired by other community rules.

Mac Rumors;
Al Jazeera;
NBC;
CNBC;
Tom’s Hardware;
ZDNet;
TechSpot;
Ars Technica;
Engadget;
TechCrunch;
Gizmodo;
Futurism;
PCWorld;
ComputerWorld;
Mashable;
Fortune;
Hackaday;
WCCFTECH;
Neowin;
Jacobin;
Yahoo;
Freethink;
Big Think;
Newsweek.

Technology news, blogs and articles.

Forbidden:

Paywalled content.
Older than 1 month articles;
External video links(non native videos);
Article talking about article, research or news.(Always use original articles).
[New] Substack links: you can link to substack blogs, but the link should be a custom domain(not XXXX.substack.com).

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

55 users / day
363 users / week
374 users / month
374 users / 6 months
1 local subscriber
168 subscribers
135 Posts
82 Comments
Modlog

mods:
beep@piefed.world