An unreleased version of Claude has made strides on a problem related to the Riemann hypothesis. It improved the lower bound for the fraction of zeros of the Riemann zeta function that satisfy the hypothesis, increasing it from 41.6% to 67.2%.
More than five-twelfths of the zeros of $ζ$ are on the critical line
The second moment of the Riemann zeta-function twisted by a normalized Dirichlet polynomial with coefficients of the form $(μ\star Λ_1^{\star k_1} \star Λ_2^{\star k_2} \star \cdots...
dollspace-gay/Riemann-zeta-function-exploration
Contribute to dollspace-gay/Riemann-zeta-function-exploration development by creating an account on GitHub.
Claude for Chrome | Claude
Bring Claude's AI assistance to your browser. Ask questions, analyze data, automate tasks, and navigate sites in Chrome. Works with Claude Code and Desktop.
Introducing Claude Opus 4.6
Tony Feng on Twitter / X
I am a mathematician but I avoided commenting on this because the problems are (far) outside my domain. Even if I sat down to read the technical details (which I have not), it would be hard to appreciate the context of prior work, etc. But I've gotten enough sense of things… https://t.co/VZzosBYFto— Tony Feng (@tonylfeng) August 5, 2026
Przemek Chojecki | PC on Twitter / X
The Growing Map of Open Mathematical Problems.We mapped 15,000+ conjectures from UnsolvedMath to show potential links between concepts.It also shows how under formalized the frontier is (less than 10%). pic.twitter.com/nm0PCpXVPf— Przemek Chojecki | PC (@prz_chojecki) August 28, 2026
Bartosz Naskręcki on Twitter / X
Congrats to @LechMazur for the solution and to Terence Tao for the digestion and storytelling. You see the trend. Mathematicians are still needed if we want to make any sense of the formal proofs. For now... Maybe the next gen LLMs will simply read allthe blogs of Terry and… https://t.co/yXiISCrNAF— Bartosz Naskręcki (@nasqret) August 13, 2026
Michael Truell on Twitter / X
We believe Cursor discovered a novel solution to Problem Six of the First Proof challenge, a set of math research problems that approximate the work of Stanford, MIT, Berkeley academics. Cursor's solution yields stronger results than the official, human-written solution.…— Michael Truell (@mntruell) March 3, 2026
How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer. | Quanta Magazine
For 50 years, mathematicians have believed that the total number of real numbers is unknowable. A new proof suggests otherwise.
AI's solution to 87-year-old riddle takes mathematicians by surprise | New Scientist
Mathematicians have been trying to prove the Jacobian conjecture for nearly a century, but now the Claude Fable 5 AI has apparently found a counterexample that disproves it
About - Project Euler
A website dedicated to the fascinating world of mathematics and programming
Ahmad on Twitter / X
HUGEGLM 4.5 beats Claude in Agentic Workflows> beats them head-to-head> 72x cheaper than opus 4 ($207 vs $2.9)> 15x cheaper than sonnet 4 ($41 vs $2.9> leading the Berkeley Function-Calling Leaderboard V4I have been saying this for a month now :) https://t.co/KOKaWo7yH5 pic.twitter.com/LJCnaeBK1t— Ahmad (@TheAhmadOsman) August 28, 2025
Claude
Claude is Anthropic's AI, built for problem solvers. Tackle complex challenges, analyze data, write code, and think through your hardest work.
Claude
Claude is Anthropic's AI, built for problem solvers. Tackle complex challenges, analyze data, write code, and think through your hardest work.
