DeepMind debuts an AI built to tackle mathematical proofs

www.msn.com

DeepMind debuts an AI built to tackle mathematical proofs

www.msn.com

Universal Monk@lemmy.dbzer0.com to

Mathematics@sh.itjust.works · 28 days ago

MSN

www.msn.com

You must log in or # to comment.

Chat

Mathematics@sh.itjust.works

mathematics@sh.itjust.works

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: !mathematics@sh.itjust.works

“The book of nature is written in the language of mathematics,” claimed Galileo.

Welcome to the Mathematics community!

While I’m not a math expert myself, I’ve always had a curiosity about the subject and wanted to get better at it.

That’s why I created this community—to share interesting math-related topics, news, and discussions, and to learn alongside others.

This space is for everyone to explore, discuss, and appreciate the beauty of math.

Visibility: Public

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

5 users / day
5 users / week
5 users / month
22 users / 6 months
1 local subscriber
97 subscribers
54 Posts
8 Comments
Modlog

mods:
Universal Monk@sh.itjust.works