AI proved the Quasi-Riemann hypothesis. What happens Now?
14
votes
Showing only topics with the tag "mathematics".
Back to normal view
-
-
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