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.comM to

Mathematics@sh.itjust.works · 4 months ago

MSN

www.msn.com

You must log in or register 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.

1 user / day
1 user / week
4 users / month
19 users / 6 months
1 local subscriber
108 subscribers
62 Posts
10 Comments
Modlog