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

www.youtube.com

cross-posted to:
[email protected]

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

www.youtube.com

joelthelion to

mathEnglish · 3 months ago

cross-posted to:
[email protected]

You must log in or # to comment.

Chat

math

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: [email protected]

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.

1 user / day
1 user / week
5 users / month
315 users / 6 months
478 local subscribers
940 subscribers
106 Posts
262 Comments
Modlog

mods:
mrh