#TerryTao hashtag - Bluesky

@sailing-dulce.bsky.social

6 months ago

<h2>Gorinchem (54)</h2> Dinsdag 22-09-2015 Gisteravond lichte koorts vanwege fikse verkoudheid. Ook vandaag voel ik me beroerd met een nare hoest. We zouden vanmorgen in Spijkenisse op de koffie gaan bij onze zeilvrienden J....

Vandaag 10 jaar geleden sailing-dulce.nl/home/article... #gorinchem #discrepantievermoeden #paulerdös #terrytao Dinsdag 22-09-2015 Gisteravond lichte koorts vanwege fikse verkoudheid. Ook vandaag voel ik me beroerd met een nare hoest. We zouden vanmorgen in Spijkenisse op de koffie gaan bij onze..

0 0 0 0

Hacker News Companion

@hncompanion.com

9 months ago

A significant part analyzed Terry Tao's interview with Lex Fridman. Participants debated Tao's renowned clarity in explaining complex math and evaluated the interviewer's depth of understanding on the subject matter. #TerryTao 4/6

0 0 1 0

Brendan Hayward

@bmjhayward.bsky.social

10 months ago

Formalizing a proof in Lean using Github copilot and canonical In this experiment, I took a statement in universal algebra that a collaborator of mine (Bruno Le Floch) on the Equational Theories Project had written a one-page human proof of, and set the task of formalizing the proof in a very low-level, "line by line" fashion, with heavy reliance on both the la

The man is using #lean
www.youtube.com/watc...
#terrytao #mathematics #formalproof

0 0 0 0