36 stories on the front page, newest first. Scroll down to watch the site change over time.
579 points by ent101 | 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.
845 points by pred_ | 787 comments
Mastodon thread by mathematician Andreas Thom questioning whether researchers can trust OpenAI with unpublished mathematics shared via ChatGPT, citing the non-sofic group result.
418 points by _alternator_ | 359 comments
A Mastodon thread by Terence Tao arguing that good, fruitful open math problems are a scarce resource being mined non-renewably, using a drinking-water analogy.
516 points by IngoBlechschmid | 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.
590 points by cod1r | 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.
968 points by bertman | 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.
507 points by qsort | 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.
359 points by ColinWright | 79 comments
Mastodon post by Terence Tao announcing part two of Grant Sanderson's video interview with him on the cosmic distance ladder, plus a blog post with commentary.
788 points by GavCo | 256 comments
A Mastodon post by mathematician Terence Tao noting a journal rejected one of his papers and reflecting on how common, yet rarely discussed, rejection is in academia.
553 points by pkaeding | 200 comments
A Mastodon thread by John Carlos Baez explaining the lemniscate constant ϖ, an analogue of pi tied to the lemniscate curve and its sl and cl functions.
626 points by dselsam | 404 comments
Mastodon post by mathematician Terence Tao describing his experiments with OpenAI's o1 model on research-level mathematical tasks.
516 points by pera | 144 comments
A Mastodon post by Terence Tao describing Guth and Maynard's improvement to Ingham's 1940 zero density bound for the Riemann zeta function.
463 points by gridentio | 207 comments
Terence Tao's Mastodon post explaining how formalizing his paper in Lean 4 revealed a small bug in an argument for small values of n.
180 points by admp | 200 comments