Charles

[Charles @CharlesZiv]

@CalumWorthy Black Mirror Season 8!

[Charles @CharlesZiv]

@whyvert "🎵Park like an Egyptian...🎵"

[Pabli! 🔥💥💫 @OmarBessa]

<psa>a very interesting opportunity is appearing and I might need some refs

I'll have to source the smartest people I can find, preferably math phds

already have a short list but I'm not sure how available are they

DMs open

thanks for reading</psa>

[Lex Fridman @lexfridman]

Here's my conversation with Terence Tao, one of the greatest mathematicians in history.

We talk about the hardest problems in mathematics & physics, and how AI might help us humans to solve them. This conversation was a huge honor for me. I can't quite put it into words, but once again I'm grateful for whatever simulation code resulted in me having the life I do 🙏

To further confirm simulation, podcast length accidentally turned out to be 3:14 (pi=3.141592). But it's not 3:14:15, because the simulation code has some bugs 🤣

Podcast is here on X in full, and is up everywhere else (see comment).

Timestamps:
0:00 - Introduction
0:49 - First hard problem
6:16 - Navier–Stokes singularity
26:26 - Game of life
33:01 - Infinity
38:07 - Math vs Physics
44:26 - Nature of reality
1:07:09 - Theory of everything
1:13:10 - General relativity
1:16:37 - Solving difficult problems
1:20:01 - AI-assisted theorem proving
1:32:51 - Lean programming language
1:42:51 - DeepMind's AlphaProof
1:47:45 - Human mathematicians vs AI
1:57:37 - AI winning the Fields Medal
2:04:47 - Grigori Perelman
2:17:30 - Twin Prime Conjecture
2:34:04 - Collatz conjecture
2:40:50 - P = NP
2:43:43 - Fields Medal
2:51:18 - Andrew Wiles and Fermat's Last Theorem
2:55:16 - Productivity
2:57:55 - Advice for young people
3:06:17 - The greatest mathematician of all time

[Charles @CharlesZiv]

@OmarBessa Should be a national holiday now. Incarcerated Kirchner Day.

[Charles @CharlesZiv]

@OmarBessa Is everyone cheering in the streets?

[Charles @CharlesZiv]

@OmarBessa HAHAHA

[Charles @CharlesZiv]

@OmarBessa love it

[Charles @CharlesZiv]

@OmarBessa I'll put my money on you.

[Charles @CharlesZiv]

@OmarBessa What an entertaining shitshow

[Charles @CharlesZiv]

https://t.co/ra76LCFKo1

[Original Spike1962 @Spike19621]

Remember when comedians were funny, and people weren't so sensitive?😂😄😂😄😂

[Charles @CharlesZiv]

@MartinShkreli Cramer much?

[Charles @CharlesZiv]

https://t.co/2BCmay2BpT