#mathstodon — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mathstodon, aggregated by home.social.
-
Problem for September 4th from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon -
Problem for September 4th from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon -
Problem for September 4th from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon -
Problem for September 4th from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon -
Problem for September 4th from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon -
Problem for September 3rd from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon -
Problem for September 3rd from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon -
Problem for September 3rd from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon -
Problem for September 3rd from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon -
Problem for September 3rd from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon -
The world was recently stunned by a major breakthrough on the Riemann Hypothesis: >67% of zeta zeros are on the critical line and simple. The AI proof was sprawling. Today, a HUMAN stepped in to show how it's done with pure elegance.
Youness Lamzouri (U. of Lorraine) reproved this result in a super slick way, replacing heavy machinery with a clean Hilbert space inequality.
This is Terry Tao's "digestion" at its finest: pure human ingenuity and mathematical taste.
Youness kindly gave Axiom Math a sneak peek, and we formalized his proof in Lean, formal verification on day one!
A monumental milestone for mathematics.
Read it here on https://arxiv.org/pdf/2609.02882
#RiemannZeta #RiemannHypothesis #NumberTheory #Mathematics #AnalyticNumberTheory #PrimeNumbers #ZetaFunction #ComplexAnalysis #MathematicalResearch #Mathstodon
-
The world was recently stunned by a major breakthrough on the Riemann Hypothesis: >67% of zeta zeros are on the critical line and simple. The AI proof was sprawling. Today, a HUMAN stepped in to show how it's done with pure elegance.
Youness Lamzouri (U. of Lorraine) reproved this result in a super slick way, replacing heavy machinery with a clean Hilbert space inequality.
This is Terry Tao's "digestion" at its finest: pure human ingenuity and mathematical taste.
Youness kindly gave Axiom Math a sneak peek, and we formalized his proof in Lean, formal verification on day one!
A monumental milestone for mathematics.
Read it here on https://arxiv.org/pdf/2609.02882
#RiemannZeta #RiemannHypothesis #NumberTheory #Mathematics #AnalyticNumberTheory #PrimeNumbers #ZetaFunction #ComplexAnalysis #MathematicalResearch #Mathstodon
-
The world was recently stunned by a major breakthrough on the Riemann Hypothesis: >67% of zeta zeros are on the critical line and simple. The AI proof was sprawling. Today, a HUMAN stepped in to show how it's done with pure elegance.
Youness Lamzouri (U. of Lorraine) reproved this result in a super slick way, replacing heavy machinery with a clean Hilbert space inequality.
This is Terry Tao's "digestion" at its finest: pure human ingenuity and mathematical taste.
Youness kindly gave Axiom Math a sneak peek, and we formalized his proof in Lean, formal verification on day one!
A monumental milestone for mathematics.
Read it here on https://arxiv.org/pdf/2609.02882
#RiemannZeta #RiemannHypothesis #NumberTheory #Mathematics #AnalyticNumberTheory #PrimeNumbers #ZetaFunction #ComplexAnalysis #MathematicalResearch #Mathstodon
-
The world was recently stunned by a major breakthrough on the Riemann Hypothesis: >67% of zeta zeros are on the critical line and simple. The AI proof was sprawling. Today, a HUMAN stepped in to show how it's done with pure elegance.
Youness Lamzouri (U. of Lorraine) reproved this result in a super slick way, replacing heavy machinery with a clean Hilbert space inequality.
This is Terry Tao's "digestion" at its finest: pure human ingenuity and mathematical taste.
Youness kindly gave Axiom Math a sneak peek, and we formalized his proof in Lean, formal verification on day one!
A monumental milestone for mathematics.
Read it here on https://arxiv.org/pdf/2609.02882
#RiemannZeta #RiemannHypothesis #NumberTheory #Mathematics #AnalyticNumberTheory #PrimeNumbers #ZetaFunction #ComplexAnalysis #MathematicalResearch #Mathstodon
-
The world was recently stunned by a major breakthrough on the Riemann Hypothesis: >67% of zeta zeros are on the critical line and simple. The AI proof was sprawling. Today, a HUMAN stepped in to show how it's done with pure elegance.
Youness Lamzouri (U. of Lorraine) reproved this result in a super slick way, replacing heavy machinery with a clean Hilbert space inequality.
This is Terry Tao's "digestion" at its finest: pure human ingenuity and mathematical taste.
Youness kindly gave Axiom Math a sneak peek, and we formalized his proof in Lean, formal verification on day one!
A monumental milestone for mathematics.
Read it here on https://arxiv.org/pdf/2609.02882
#RiemannZeta #RiemannHypothesis #NumberTheory #Mathematics #AnalyticNumberTheory #PrimeNumbers #ZetaFunction #ComplexAnalysis #MathematicalResearch #Mathstodon