AI helps unlock discoveries hidden in Kurt Gödel's notebooks
24
votes
Showing only topics with the tag "mathematics".
Back to normal view
-
-
“…and the proof is checked in Lean”
27 votes -
Lo Pi radio
20 votes -
The afterlife of Pi
21 votes -
AI proved the Quasi-Riemann hypothesis. What happens Now?
14 votes -
Inside the Intel 8087 chip: floating-point addition and subtraction
15 votes -
There's never been a better time to go into math
6 votes -
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
25 votes -
The mathocalypse
34 votes -
Association for Human Mathematics statement on OpenAI’s October 6 release of mathematical documents
24 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