Computer Science
Dive into the fascinating world of mathematics with our captivating articles, written by passionate experts. Whether you are a curious amateur or a seasoned mathematician, our articles cover a wide range of topics, from fundamental concepts to the latest discoveries, including practical applications and philosophical reflections.
Terence Tao warns: AI writes proofs no one can read
Terence Tao warns of a new threshold: AI is accelerating proof formalization, but producing results too verbose for humans to understand.
When AI "solves" a conjecture without proof: mathematicians push back
The mathematical community is mobilizing in response to AI's claims. The Leiden Declaration draws the line between generating and verifying proofs.
Human brain mechanism that's revolutionizing self-driving AI
A team at the University of Valencia transposes a mechanism from the visual cortex into neural networks, improving autonomous driving by 20% in difficult conditions.
Leibniz, the Yi Jing and binary: an unlikely encounter
Discover how Leibniz found a forerunner of the binary system that would revolutionize modern computing in the Chinese Book of Changes.
abc conjecture: why computer verification could solve math's biggest scandal
Since 2012, Shinichi Mochizuki's proof of the abc conjecture has divided the mathematical community. Researchers are turning to computer-assisted formal verification to finally settle the matter.
Busy Beaver: the function beyond all computability
The Busy Beaver function grows faster than any computable function. Discover why some numbers are mathematically inaccessible.
Terence Tao and AI: what they are changing in mathematics
Terence Tao, a Fields Medalist, shares his experience with AI in mathematical research: an exploration partner that is transforming the way problems are formulated.
Alkindi 2026: cryptanalysis final for middle schoolers at the École des Mines
Twenty teams of middle and high school students go head-to-head on 13 May at the École des Mines de Paris to win the title of France's best junior cryptanalyst.
Ace: the math-powered robot beating ping-pong champs
Discover how Ace, a robot that combines reinforcement learning with event-based vision, can beat ping-pong champions. We break down the mathematics behind this feat, published in Nature.
Econometrics: measuring to understand | Insee
Econometrics uses mathematics and statistics to uncover causal relationships in economic phenomena and inform public policy.