The mathocalypse
34
votes
Showing only topics with the tag "mathematics".
Back to normal view
-
-
Association for Human Mathematics statement on OpenAI’s October 6 release of mathematical documents
23 votes -
OpenAI releases findings on 377 math problems, further roiling field
27 votes -
The spectacle of AI taking over the world
3 votes -
If math is more than proof, we need to better celebrate the rest of it
8 votes -
YouTuber RedLogic built a custom Minecraft simulation to see if the game could ever beat itself without a player ever joining – the simulation took 1.97 billion years, but it did complete
21 votes -
Some disagreement makes groups more trustworthy, mathematical framework finds
11 votes -
The age of wonders and terrors
15 votes -
A beginning for mathematics
8 votes -
Overview of the proofs behind the Navier-Stokes $1 million millennium prize problem
29 votes -
The four-color theorem gets a rare new proof
14 votes -
OpenAI solved the Navier–Stokes millennium prize problem
34 votes -
A case study on emergent cheating and whistleblowing in autonomous research swarms
13 votes -
An environment where multiple AI agents pursue scientific discovery and build a shared literature
7 votes -
Postmortem for Lean kernel soundness bug #14576
12 votes -
Some thoughts about Anthropic’s new cryptanalysis results
15 votes -
A digestion of the Jacobian conjecture counterexample
13 votes -
Human mathematicians are being outcounterexampled
37 votes -
How Terry Tao became an evangelist for AI in math
12 votes -
The fall of the theorem economy
18 votes -
An OpenAI model has disproven a central conjecture in discrete geometry
35 votes -
Turning meshes into horrifying piecewise functions
5 votes -
A mathematical analysis of M. C. Escher’s art
16 votes -
Daily Sums (beta)
12 votes -
Did Kellogg’s do the math on donut holes?
13 votes -
So this is 2nd grade subtraction
22 votes -
What are junk theorems?
4 votes -
Mathematically extra-complicated Secretest Santa 2025
14 votes -
How maths can help you wrap your presents better
10 votes -
Putting rigid bodies to rest
8 votes -
Conway's Game of Life, but musical
13 votes -
Fuzzy graphing
20 votes -
New proofs probe soap-film singularities
9 votes -
Who can name the bigger number?
35 votes -
First shape found that can’t pass through itself
54 votes -
AI being used to locate human solutions to Erdos problems
6 votes