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

13 points by ogogmad 3 months ago | 1 comments

Demis Hassabis has a plan to harness AI safely(twitter.com)

130 points by asiergoni 3 months ago | 171 comments

Rich Sutton on AI creativity and discovery(twitter.com)

187 points by yimby 4 months ago | 101 comments

I believe there are entire companies right now under AI psychosis(twitter.com)

2013 points by reasonableklout 5 months ago | 1180 comments

Mitchell Hashimoto's X post arguing some companies are in 'AI psychosis', relying on agents to fix bugs fast (MTTR) at the expense of reliability (MTBF).

xAI has acquired X, xAI now valued at $80B(twitter.com)

734 points by rvz 1 year ago | 1072 comments

Elon Musk's post announcing xAI acquired X in an all-stock deal valuing xAI at $80 billion and X at $33 billion.

I admire Fabrice Bellard. He is almost certainly a better overall programmer(twitter.com)

829 points by apitman 4 months ago | 394 comments

A post on X by John Carmack saying he admires Fabrice Bellard, quoting a thread about Bellard's work on FFmpeg, QEMU and other software.