Many "serious" mathematicians are aghast(twitter.com)

17 points by tosh 3 months ago | 6 comments

I’ve joined Anthropic(twitter.com)

1366 points by dmarcos 5 months ago | 572 comments

Tweet by Andrej Karpathy announcing he has joined Anthropic to return to LLM R&D, while planning to resume his education work later.

Wikidata, with 12B facts, can ground LLMs to improve their factuality(twitter.com)

195 points by raybb 2 years ago | 78 comments

The MTEB benchmark is dead(twitter.com)

34 points by herecomethefuzz 1 year ago | 11 comments

Gap in Mochizuki's proof of ABC confirmed by Lean(twitter.com)

13 points by ogogmad 3 months ago | 1 comments

"Coding" was never the source of value(twitter.com)

20 points by mfiguiere 2 years ago | 2 comments