back to main landing Tweets ⌂

Tweet

2024-06-05T04:15:20+00:00 | 🔗

@timschlomi AI is very good at math. We have alphageometry. Theorem proving is just hard, most people struggle enormously, AI performs appropriately and gets the basics

← Previous Tweet Next Tweet →
ATLANTIC CNN FOX NYT POLITICO QUANTA SEMAFOR TECHNOLOGYREVIEW WSJ
ALL IN CONVERSATIONS W TYLER ECON102 EZRA KLEIN SHOW GRAY AREA HARD FORK HARDCORE HISTORY ODD LOTS ON W KARA SWISHER
ALIGNMENT FORUM BEN THOMPSON DAILY NOUS HACKERNEWS LESSWRONG MATT DRUDGE MATTHEW YGLESIAS NATE SILVER NOAH SMITH PLATFORMER
ANDREJ KARPATHY ANDREW WHITE DARIO AMODEI DILEEP GEORGE GWERN LILIAN WENG PAT WALTERS PAUL GRAHAM SAM ALTMAN STEPHEN WOLFRAM TERENCE TAO
Where else should I get information from? contact me somehow if I'm missing something, I really appreciate new interesting sources of information.