Quantitative AI progress needs accurate and transparent evaluation(mathstodon.xyz)

196 points by bertman 1 year ago | 96 comments

Terence Tao: The role of small organizations in society has shrunk significantly(mathstodon.xyz)

968 points by bertman 1 year ago | 490 comments

A Mastodon post by mathematician Terence Tao reflecting on how society operates at four scales and how the role of small organized groups has shrunk.

“Erdos problem #728 was solved more or less autonomously by AI”(mathstodon.xyz)

590 points by cod1r 9 months ago | 334 comments

Terence Tao's Mastodon post reporting that Erdős problem #728 was solved more or less autonomously by AI, and discussing emerging AI-powered capabilities in mathematics.

Terence Tao: At the Erdos problem website, AI assistance now becoming routine(mathstodon.xyz)

260 points by dwohnitmok 11 months ago | 56 comments

I doubt that anything resembling genuine AGI is within reach of current AI tools(mathstodon.xyz)

56 points by gmays 10 months ago | 33 comments

Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory(mathstodon.xyz)

516 points by IngoBlechschmid 3 months ago | 217 comments

Mastodon thread by Ingo Blechschmidt describing how since Linux 6.9 the LUKS suspend tool silently failed to wipe disk-encryption keys from memory.