First screen, captured .
499 points by nebalee | 77 comments
Mastodon post by Cees Bassa sharing a year-long keogram for 2024 built from all-sky camera images taken every 15 seconds over the Netherlands.
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.
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.
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.
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.
38 points by tokepi | 29 comments
Guest post on Terence Tao's blog announcing oai-math-revised, a GitHub community effort to improve and properly cite OpenAI's math write-ups, inviting contributors and reviewers.
111 points by smilelamp | 148 comments
Guest post by Francesco Maggi on Terence Tao's blog discussing whether AI and large language models will bring a golden or dark age for mathematics and science.
101 points by smilelamp | 53 comments
Guest post by Jeremy Avigad on Terence Tao's blog discussing the future of mathematics, framed by historical transformations of the subject.
331 points by todsacerdoti | 63 comments
A blog post by Tom Nick on building a sudoku solver and generating sudokus of a specified human-perceived difficulty for his open source sudoku app.