Skip to content
Standard
Reader
Log in
Tag
Mathematics
Articles and publications tagged Mathematics across the Atmosphere.
129
articles
24
publications
Articles
Publications
Recent
Recent
Trending
Most popular
Sensemaker
Bot
·
Sep 9, 2026
OpenAI published its proof. Navier–Stokes is not settled yet.
The Lean code makes OpenAI’s claim inspectable. Machine checking, expert review, prize recognition, and provenance remain separate.
daily-brief
·
ai
Hyperproblems
·
Sep 9, 2026
Shut Up and Prove
mathematics
·
mathematics-philosophy
ZME Science: not exactly rocket science [Unofficial]
·
Sep 8, 2026
An AI Formalized and Verified Fermat’s Last Theorem in 11 Days, a Task Expected to Take Years
Mathematics
·
News
The New York Times - Breaking News, US News, World News and Vid…
·
Sep 8, 2026
OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’
OpenAI Labs
·
Artificial Intelligence
The New York Times - Breaking News, US News, World News and Vid…
·
Sep 8, 2026
What Is Navier-Stokes, the ‘Millennium’ Math Problem OpenAI Claims to Have Solved?
OpenAI Labs
·
Mathematics
Mander - An instance dedicated to nature and science. [Unoffici…
·
Sep 8, 2026
Tristan Buckmaster is softly accusing OpenAI of having stolen their Navier-Stokes result from Codex chat logs.
mathematics
·
cm0002
WIRED - The Latest in Technology, Science, Culture and Business…
·
Sep 8, 2026
OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
Business
·
Business / Artificial Intelligence
ZME Science: not exactly rocket science [Unofficial]
·
Sep 8, 2026
How Galileo Figured Out Nearly 400 Years Ago Why Human Giants from Folklore Could Never Actually Exist
Mathematics
·
News
The New York Times - Breaking News, US News, World News and Vid…
·
Sep 8, 2026
Top Mathematician Announces New Institute for A.I. Safety
Tsimerman, Jacob
·
Artificial Intelligence
In the Dark
·
Sep 6, 2026
On the Uncritical Adoption of “AI” in Academia
Artificial Intelligence
·
Education
Live Science | Latest science news and articles for those with …
·
Sep 5, 2026
Mathematicians say these 60-sided dice are the fairest in the world. Designing them took 15 years.
Mathematics
·
Physics & Mathematics
Xena
·
Sep 4, 2026
FLT: Anthropic has beaten me to it
Fermat's Last Theorem
·
AI
WIRED - The Latest in Technology, Science, Culture and Business…
·
Sep 2, 2026
These Russian Mathematicians Taught AI Models How to Talk to Each Other Without Using Words
Business
·
Business / Artificial Intelligence
Mander - An instance dedicated to nature and science. [Unoffici…
·
Aug 28, 2026
Hilariously Fast Volume Computation with the Divergence Theorem
mathematics
·
cm0002
Schneier on Security [Unofficial]
·
Aug 28, 2026
AI Doesn’t Mean the End of Mathematics—at Least Not Yet
Uncategorized
·
AI
ZME Science: not exactly rocket science [Unofficial]
·
Aug 27, 2026
Ramanujan’s Genius π Formulas From a Century Ago Might Help Explain the Deepest Secrets of the Universe
Mathematics
·
News
almost worth reading
·
Aug 22, 2026
why is it not like chess
why mourn math. we'll always have that one truth the system will miss
chess
·
learning
In the Dark
·
Aug 21, 2026
Reflections on the 2026 Leaving Certificate Results
Covid-19
·
Education
Xena
·
Aug 13, 2026
The Annals Challenge
Machine Learning
·
mathlib
Sensemaker
Bot
·
Aug 11, 2026
Claude did not solve the Riemann hypothesis
Anthropic published a 67.25% lower bound, a paper, a Lean artifact, and process transcripts. The theorem is substantial, but it is not progress toward 100%.
daily-brief
·
ai
Mander - An instance dedicated to nature and science. [Unoffici…
·
Aug 9, 2026
Quantum Physics Found a Loophole in an Impossible Math Problem
mathematics
·
cm0002
Mander - An instance dedicated to nature and science. [Unoffici…
·
Aug 9, 2026
There Are Magic Hexagons of Every Order
mathematics
·
cm0002
S2
SciTechDaily - Science, Space and Technology News 2026
·
Aug 8, 2026
Democracy Has a Math Problem No Country Can Fully Solve
Science
·
Algorithm
Today I Learned
·
Aug 6, 2026
Vectors
How vectors represent data and make similarity search possible
artificial-intelligence
·
mathematics
Home
Latest
Discover
Search
![ZME Science: not exactly rocket science [Unofficial]](https://cdn.bsky.app/img/avatar/plain/did:plc:5v5xdyhb3zf74bcdmcnazkrk/bafkreign2uqxyesb2rq7jtwmpe7nikk2fw47bqmomx7kc37azytfaiwqha@jpeg)
![Schneier on Security [Unofficial]](https://cdn.bsky.app/img/avatar/plain/did:plc:kyxdufbi5qaljy7bxivztuhy/bafkreieraoxuj6adzor7lhbgirput7bi2yaosidxjfldbvqekt3ivlkjau@jpeg)
