Mathematicians put AI model AlphaProof to the test

www.nature.com

Mathematicians put AI model AlphaProof to the test

www.nature.com

paywallMB to

NatureEnglish · 23 hours ago

Nature, Published online: 12 November 2025; doi:10.1038/d41586-025-03585-5

Mathematicians use computational tools to prove theorems. An AI model that is trained to use these tools might accelerate mathematical discovery.

From Nature via this RSS feed

You must log in or # to comment.

Chat

Nature

nature

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: !nature@ibbit.at

Community locked: only moderators can create posts. You can still comment on posts.

Nature is a weekly international journal publishing the finest peer-reviewed research in all fields of science and technology on the basis of its originality, importance, interdisciplinary interest, timeliness, accessibility, elegance and surprising conclusions. Nature also provides rapid, authoritative, insightful and arresting news and interpretation of topical and coming trends affecting science, scientists and the wider public.

Don’t post archive.is links or full text of articles, you will receive a temp ban.

Visibility: Public

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

2 users / day
4 users / week
13 users / month
33 users / 6 months
1 local subscriber
13 subscribers
1.54K Posts
10 Comments
Modlog