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.

“Math 2.0” will need to value mathematical progress more holistically(mathstodon.xyz)

579 points by ent101 18 days ago | 603 comments

A Mastodon post by Terence Tao arguing that "Math 2.0" should value exposition, community building and new directions over raw problem solving, with AI playing a role.

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.

All grown-ups were once children, but only few of them remember it(mathstodon.xyz)

225 points by yurivish 1 month ago | 170 comments

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

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

196 points by bertman 1 year ago | 96 comments

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples(github.com)

20 points by tootie 19 days ago | 6 comments

GitHub directory in OpenAI's math repository containing hundreds of preprints of mathematical proofs and counterexamples.

The Mathocalypse(scottaaronson.blog)

361 points by 6bitquant 18 days ago | 380 comments

Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.

I am stepping down as the CEO of Mastodon(blog.joinmastodon.org)

540 points by Tomte 11 months ago | 379 comments

Op-ed on the Mastodon blog by founder Eugen Rochko announcing he is stepping down as CEO and taking a strategy and product advisor role.

Why Math Dumped OpenAI(raymyers.org)

11 points by xeonmc 9 days ago | 0 comments

A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.

OpenAI releases 722 math manuscripts(github.com)

9 points by jumploops 19 days ago | 1 comments

A CONTENTS.md file in OpenAI's GitHub math repository indexing a collection of 722 mathematics manuscripts covering 372 result families, with an overview PDF.

Sharing AI progress in mathematics(openai.com)

1314 points by OfficialTurkey 19 days ago | 1488 comments

OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.