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 · 4 months 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.

1 user / day
5 users / week
5 users / month
18 users / 6 months
1 local subscriber
105 subscribers
25 Posts
4 Comments
Modlog

mods:
Universal Monk@sh.itjust.works