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 · 1 day 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 # 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.

46 users / day
391 users / week
794 users / month
1.48K users / 6 months
5 local subscribers
154 subscribers
851 Posts
394 Comments
Modlog

mods:
beep@piefed.world