The humble pocket calculator may not be able to keep up with the mathematical capabilities of new technology, but it will never hallucinate.
The device’s enduring reliability equates to millions of sales each year for Japan’s Casio, which is even eyeing expansion in certain regions.
Despite lightning-speed advances in artificial intelligence, chatbots still sometimes stumble on basic addition.
The Math Inc. team is excited to introduce Gauss, a first-of-its-kind autoformalization agent for assisting human expert mathematicians at formal verification. Using Gauss, we have completed a challenge set by Fields Medallist Terence Tao and Alex Kontorovich in January 2024 to formalize the strong Prime Number Theorem (PNT) in Lean (GitHub).
The translation of human mathematics into verifiable machine code has long been a grand challenge. However, the cost of doing so is prohibitive, requiring scarce human expertise. In particular, after 18 months, Tao and Kontorovich recently announced intermediate progress in July 2025 toward their goal, obstructed by core difficulties in the field of complex analysis.
In light of such difficulties, we are pleased to announce that with Gauss, we have completed the project after three weeks of effort. Gauss can work autonomously for hours, dramatically compressing the labor previously reserved for top formalization experts. Along the way, Gauss formalized the key missing results in complex analysis, which opens up future initiatives previously considered unapproachable.
Analysis of a large dataset from the Tokyo Stock Exchange validates a universal power law relating the price of a traded stock to the traded volume.
One often hears that economics is fundamentally different from physics because human behavior is unpredictable and the economic world is constantly changing, making genuine “laws” impossible to establish. In this view, markets are never in a stable state where immutable laws could take hold. I beg to differ. The motion of particles is also unpredictable, and many physical systems operate far from equilibrium. Yet, as Phil Anderson argued in a seminal paper [1], universal laws can still emerge at the macroscale from the aggregation of widely diverse microscopic behaviors. Examples include not only crowds in stadiums or cars on highways but also economic agents in markets.
Now Yuki Sato and Kiyoshi Kanazawa of Kyoto University in Japan have provided compelling evidence that one such universal law governs financial markets. Using an unprecedentedly detailed dataset from the Tokyo Stock Exchange, they found that a single mathematical law describes how the price of every traded stock responds to trading volume [2] (Fig. 1). The result is a striking validation of physics-inspired approaches to social sciences, and it might have far-reaching implications for how we understand market dynamics.
When the team posted their proof in August, many mathematicians were excited. It was the biggest advance in the classification project in decades, and hinted at a new way to tackle the classification of polynomial equations well beyond four-folds.
But other mathematicians weren’t so sure. Six years had passed since the lecture in Moscow. Had Kontsevich finally made good on his promise, or were there still details to fill in?
And how could they assuage their doubts, when the proof’s techniques were so completely foreign — the stuff of string theory, not polynomial classification? “They say, ‘This is black magic, what is this machinery?’” Kontsevich said.
This was a monumental breakthrough in the philosophy and foundations of quantum mechanics. Bell derived a mathematical inequality that showed if there were any local “hidden variables” (underlying, deterministic factors) explaining the “spooky” correlations in quantum entanglement, those correlations would have to obey certain limits. Experiments inspired by his theorem (starting with Alain Aspect in the early 1980s) have repeatedly shown that these limits are violated, confirming that quantum entanglement is real, non-local, and that nature fundamentally disagrees with Einstein’s idea of “local realism.”
John Bell, with whom I had a fruitful collaboration and warm friendship, is best known for his seminal work on the foundations of quantum physics, but he also made outstanding contributions to particle physics and accelerator physics.
Go to https://ground.news/sabine to get 40% off the Vantage plan and see through sensationalized reporting. Stay fully informed on events around the world with Ground News.
In quantum physics, a wave function is a mathematical way to describe everything in the universe. But since quantum physics emerged, physicists have argued about whether or not the wave function is real. A group of physicists recently conducted a test of a theorem that describes the mechanics of the wave function, and they’ve told the press that they’ve settled the question: Yes, the wave-function is real. Let’s take a look.
Paper: https://arxiv.org/abs/2510.
👕T-shirts, mugs, posters and more: ➜ https://sabines-store.dashery.com/
💌 Support me on Donorbox ➜ https://donorbox.org/swtg.
👉 Transcript with links to references on Patreon ➜ / sabine.
📝 Transcripts and written news on Substack ➜ https://sciencewtg.substack.com/
📩 Free weekly science newsletter ➜ https://sabinehossenfelder.com/newsle… Audio only podcast ➜ https://open.spotify.com/show/0MkNfXl… 🔗 Join this channel to get access to perks ➜ / @sabinehossenfelder 📚 Buy my book ➜ https://amzn.to/3HSAWJW #science #sciencenews #quantum #physics.
👂 Audio only podcast ➜ https://open.spotify.com/show/0MkNfXl…
🔗 Join this channel to get access to perks ➜
/ @sabinehossenfelder.
📚 Buy my book ➜ https://amzn.to/3HSAWJW
#science #sciencenews #quantum #physics
Viazovska was born in Kyiv, the oldest of three sisters. Her father was a chemist who worked at the Antonov aircraft factory and her mother was an engineer. [ 6 ] She attended a specialized secondary school for high-achieving students in science and technology, Kyiv Natural Science Lyceum No. 145. An influential teacher there, Andrii Knyazyuk, had previously worked as a professional research mathematician before becoming a secondary school teacher. [ 7 ] Viazovska competed in domestic mathematics Olympiads when she was at high school, placing 13th in a national competition where 12 students were selected to a training camp before a six-member team for the International Mathematical Olympiad was chosen. [ 6 ] As a student at Taras Shevchenko National University of Kyiv, she competed at the International Mathematics Competition for University Students in 2002, 2003, 2004, and 2005, and was one of the first-place winners in 2002 and 2005. [ 8 ] She co-authored her first research paper in 2005. [ 6 ]
Viazovska earned a master’s from the University of Kaiserslautern in 2007, PhD from the Institute of Mathematics of the National Academy of Sciences of Ukraine in 2010, [ 2 ] and a doctorate (Dr. rer. nat.) from the University of Bonn in 2013. Her doctoral dissertation, Modular Functions and Special Cycles, concerns analytic number theory and was supervised by Don Zagier and Werner Müller. [ 9 ]
She was a postdoctoral researcher at the Berlin Mathematical School and the Humboldt University of Berlin [ 10 ] and a Minerva Distinguished Visitor [ 11 ] at Princeton University. Since January 2018 she has held the Chair of Number Theory as a full professor at the École Polytechnique Fédérale de Lausanne (EPFL) in Switzerland after a short stint as tenure-track assistant professor. [ 4 ] .
