Terence Tao - Machine-Assisted Proofs (February 19, 2025)

www.youtube.com

Terence Tao - Machine-Assisted Proofs (February 19, 2025)

www.youtube.com

joelthelion@lemmy.world to

math@lemmy.worldEnglish · 6 days ago

You must log in or register to comment.

Chat

math@lemmy.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: !math@lemmy.world

General community for all things mathematics on @lemmy.world

Submit link and text posts about anything at all related to mathematics.

Questions about mathematical topics are allowed, but NO HOMEWORK HELP. Communities for general math and homework help should be firmly delineated just as they were on reddit.

Visibility: Public

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

19 users / day
19 users / week
19 users / month
19 users / 6 months
1 local subscriber
868 subscribers
50 Posts
0 Comments
Modlog

mods:
mrh@lemmy.world