3 ms·

Terence Tao started a YouTube channel

• KiranRao0 1y ago
  Can someone provide a tl;dr on him/why he’s important?
  • npsomaratna 1y ago
    Fields medal winner. Arguably the greatest living mathematician.
    • Zr01 1y ago
      Some would argue more for Wiles or Perelman on account of solving long-standing conjectures.
      • achierius 1y ago
        Top three greatest living mathematician, perhaps?
      • Analemma_ 1y ago
        I think what gives Tao the title is how multidisciplinary he is. He can wander in to a new subfield of mathematics and start making SOTA contributions after not very much time, which is a rare thing.
  • somezero 1y ago
    Gauss 2.0; He’s very prolific, very famous in the math community. In this context, he is noteworthy because he’s taking automated theorem proving seriously which destigmatizes it for other pure mathematicians.
  • 4gotunameagain 1y ago
    Yes, google can provide that in like 3 seconds, human parsing included.
• meltyness 1y ago
  Lean is a lovely language ecosystem, as Tao clearly demonstrates though, LLMs can struggle with it. The language and the tooling is designed heavily around not merely text code, but continuous feedback from a specialized shell, though Tao attributes the issue to another condition, that there are two acutely similar versions of the language.
• AntoniusBlock 1y ago
  Slightly offtopic, but there are other Fields Medalists on youtube too, such as Richard E Borcherds. He has some very nice videos on number theory and abstract algebra. https://www.youtube.com/@richarde.borcherds7998 https://www.youtube.com/@richarde.borcherds7998
• deleted 1y ago
  [deleted]