Lemmy.World
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
@joelthelion to mathEnglish • 8 hours ago

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

www.youtube.com

message-square
0
6
external-link

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

www.youtube.com

@joelthelion to mathEnglish • 8 hours ago
message-square
0
alert-triangle
You must log in or register to comment.

math

[email protected]

Subscribe from Remote Instance

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.

  • 10 users / day
  • 12 users / week
  • 60 users / month
  • 459 users / 6 months
  • 866 subscribers
  • 101 Posts
  • 262 Comments
  • Modlog
  • mods:
  • @mrh
  • UI: 0.19.3
  • BE: 0.19.3-7-g527ab90b7
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org