“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: 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.

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

196 points by bertman 1 year ago | 96 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.

Tao on “blue team” vs. “red team” LLMs(mathstodon.xyz)

507 points by qsort 1 year ago | 161 comments

A Mastodon post by Terence Tao contrasting blue-team (building) and red-team (vulnerability-finding) roles, applied to how LLMs might be used.