60 stories tagged with #mathematics, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Mathematics"
Benchmarks in Leipzig
Between April 1 and May 15, 2026, a group of 49 mathematicians compiled a dataset of research-level mathematics questions with known answers. Most of the work was done during the 3…
Mathematicians Puzzled Over a Famous Problem for 80 Years. Now, They've Used A.I. to Identify a Clever Solution
In 1946, the mathematician Paul Erdős posed the unit distance problem—and suggested a winning strategy. An A.I. model has now landed on a better one. Why didn't humans get there fi…
Spherical Voronoi Diagram
End of Civilization News
The big AI/math news is the release today of the Leiden Declaration on Artificial Intelligence and Mathematics. It’s an excellent attempt to identify the new threats to the intelle…
A scientific calculator in C for terminal environments
**Advanced Terminal Calculator** – A powerful CLI scientific calculator with trig, logs, roots, base conversion, equation solver, differentiation, matrix ops, ASCII plotting, and h…
LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks
Large Language Models (LLMs) exhibit strong informal mathematical reasoning but struggle to generate mechanically verifiable proofs in formal languages like Lean. We present LEAP, …
As A.I. Makes Strides in Mathematics, Mathematicians Urge Caution
A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline.…
Claude Mythos solves OpenAI's landmark Erdős problem with simple proof
Shortly after OpenAI disproved Erdős' unit-distance conjecture, Anthropic shows Claude Mythos can solve the problem too - "over the weekend." Engineer Sholto Douglas says Mythos cr…
Holonomy_lib, exact non Euclidean geometry primitives for PyTorch
Research-grade PyTorch math: differential geometry, spectral graph theory, discrete Ricci flow, simplicial topology, persistent homology, cellular sheaves, SO(3) Lie primitives, in…
Who verifies the verifier? Notes on DeepMind's formal proof-search paper
An AI built the machine I said mathematics needed — a compiler that verifies proofs for cents instead of expert weekends. The catch is what it still can't read.…
OpenAI's internal AI model just solved an 80-year-old math problem — and mathematicians verified it
The closest the field has come to solving the planar unit distance problem, first proposed in the 1940s, was in 1984. Now, OpenAI claims an internal model has cracked the puzzle.…
Here’s how to make an origami torus with the fewest folds possible
A mathematician found the most efficient way to fold paper into a doughnutlike shape.…
Feynman diagrams without any physics
blog ⊕ portfolio…
Humans have disproved the sum-product conjectures for real numbers
We disprove the sum-product conjecture for real numbers by constructing arbitrarily large $A\subset \mathbb{R}$ (whose elements are algebraic integers in a number field of degree $…
Cayley Graphs and Pretty Things
A fun approachable introduction to Cayley Graphs (and a little bit of group theory), and a writeup to [this little web widget I made](https://juliapoo.github.io/Cayley-Graph-Plotti…
Computational Mean-Field Games on Manifolds
Conventional Mean-field games/control study the behavior of a large number of rational agents moving in the Euclidean spaces. In this work, we explore the mean-field games on Riema…
10 Most Important Things You Should Learn in Lean 4
Most programmers spend years learning how to make software work. Very few spend time learning how to...…
Beyond the Numbers: How Ada Lovelace Envisioned the Dawn of Symbolic Computation (1833–1834)
In the early 1830s, London was a city defined by the clatter of industrial machinery and the soot of...…
STEM Professors in University of California System Rebel
STEM professors in the University of California demand reinstating math standards amid equity debates.…
Raft Consensus with a Minority of Nodes
How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification
How Google DeepMind's AlphaProof Nexus Cracks 56-Year-Old Math Problems: A Deep Dive into...…
Reasoning, Code, or Both? How Large Language Models Handle Variations in Math Questions
Large Language Models (LLMs) achieve impressive accuracy on mathematical reasoning benchmarks, yet their performance drops when problems are modified with simple changes like diffe…
What will you think of when you read about a neural network!!? Mathematics? 🤔
The Math Behind Neural Networks — Explained Like Nobody Did for Me 🧨 ...…
Modeling Snakes and Ladders: The Board
Autopoietic Networks (a few more examples)
The Three-Cylinders Problem – When AI Models Choose Beauty over Truth
We give four frontier AI models a clean geometry problem, and watch three of them choose beauty over truth.…
Seventy years of mathematics built the thing we call AI
How seventy years of mathematics built the thing that we are call it AI — and why “sudden” is the most misleading word in the conversation…
AP EDCET-2026 results out, 99.30% qualify; Mathematics tops with 99.86% pass rate
AP EDCET-2026 results declared by APSCHE. Of 19,880 candidates who appeared, 19,741 qualified at an overall pass percentage of 99.30%.…
More than 500,000 students enter Tashkent maths Olympiad as STEM interest grows
The TasIMO competition brought together 350 finalists from Europe and Asia following a sharp rise in entries.…
Making Equation (2.2) of the OpenAI Erdős Result Executable
Why a proved theorem still needs reproducible claim custody On May 20, 2026, OpenAI...…
A Dynamical Framework for Cognitive Processes Based on Transformations and Semantic Equivalence
This paper proposes a structural and dynamical framework for modeling cognitive processes within a cybernetic perspective. Cognitive states are represented as elements of a state s…
Get Started with Lean Proof Assistant
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.…
It’s the Great Fear of Our Time. I’m Mathematically Sure It Won’t Happen.
Let the movies explain.…
Monumental Proof Settles Geometric Langlands Conjecture
In work that has been 30 years in the making, mathematicians have proved a major part of a profound mathematical vision called the Langlands program.…
Individual Logarithm Reduction Step of Discrete Logarithm Problem
Watch now | Damian Weber's Sieve Reduction Algorithm for Descend Phase of DLP…
Can you solve it? Are you on board with these quirky chess puzzles?
Check it out…
RMA: an Agentic System for Research-Level Mathematical Problems
We present $\textbf{Research Math Agents (RMA)}$, an agentic framework for automated reasoning on research-level mathematical problems. Unlike prior studies centered on competition…
ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
Formal mathematics libraries are rapidly expanding, creating a growing need to refactor verified proofs for maintainability and to improve training data quality for neural provers.…
Did Amphetamines Help Erdős?
Google DeepMind's Al agent autonomously solved 9 of 353 open Erdos problems in mathematics, at a cost of a few hundred dollars per problem.
Advancing Mathematics Research with AI-Driven Formal Proof Search
Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to gener…
Why the gradient is a list of partial derivatives
Building the gradient formula from scratch using a ski-slope picture, with minimal calculus assumed.…
Squares in Squares
AI Proves Mathematicians Wrong
An OpenAI AI has brought mathematics one step closer to solving a famous Erdős problem. Researchers have been stuck on this for 80 years.…
The Meaning of Doing Mathematics
Can AI solve all math? What do we actually mean by doing mathematics? How do we communicate mathematics? What is mathematics beyond problem solving? This essay is my attempt to a…
Beware the "Natural" Quaternion
Introduction Rotation math can be confusing. But it didn’t need to be this confusing. I think the reason that 3D rotations can be tricky to work with is that there are so many choi…
Seeking a Language in Mathematics 1523-1571
The Verification Problem (On OpenAI's Erdős Disproof)
An AI disproved one of Erdős's favorite conjectures. The interesting part isn't the proof — it's who read it, and what happens when nobody can.…
Machine Learning Mathematics
Dumbo Could Already Fly
100% pure human copium about OpenAI solving Erdős problems…
How to Mathematically Choose the Optimal Bins for Your Histogram
Optimal Resolution in Histograms: A Rigorous Bayesian Approach to Density Fitting…
NuMaTS camp begins at IIST
The NuMaTS camp at IIST empowers talented students in mathematics through training and support, fostering their skills and interests.…
Google DeepMind’s AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures
Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal verification, with implications for crypto security.…
Only 17% of all 64-bit Integers are products of two 32-bit integers
In software programming, the product between two integers is often computed to a fixed number of bits with overflow. Consider 8-bit integers. If you multiply 127 by 127, you get ba…
AI's Role in Revolutionizing Mathematics and the Quest for Ethical Science
The conversation you’re referencing touches on a critical intersection of mathematics, machine learning, and the evolving role of artificial intelligence (AI) in the realm of scien…
A revolution in mathematics? What happened a century ago and why it matte [pdf]
Where Logic, Mathematics, and Philosophy Reside in Structure A11
In Structure A11, these levels (logic, mathematics, philosophy, and “something else”) are not placed...…
Lower Bounds for Advection-Diffusion Equations: An Exploration with AI-Generated Proofs
We establish explicit lower bounds for advection-diffusion equations in three settings: a polynomial $\dot H^{-1}$ bound for inviscid shears with $u\in L^\infty_t W^{1,1}_y$, a uni…
An explicit lower bound for the unit distance problem
We show that there are sets of $n$ points in the plane with $n$ arbitrarily large that contain more than $n^{1.014}$ pairs of points separated by a distance exactly $1$. This impro…
Checking the math behind OpenAI and Anthropic's latest headlines
Always read the fine print…