On May 23rd, King Harald V of Norway, will present the Abel Prize to French mathematician Yves Meyer. Each year, the prize is awarded to a laureate for "outstanding work in the field of mathematics". Yves Meyer makes wavelets with his…
OpenAI has announced three new scientific discoveries spanning mathematics, computer science, and physics, and is adopting a new approach to sharing AI-generated research with the academic community. The announcement comes weeks after the company released more than 700 pages of solutions…
The Riemann hypothesis is a fundamental statement about the distribution of prime numbers. The Riemann hypothesis has been an open problem for over 160 years. Resolving it would enable mathematicians to better understand the nature of prime numbers, one of math’s…
By Supat Charoensappuech, in collaboration with DeepSeek V4 (October 9, 2026) (Generated by Grok 4) Instead, it asks a structural question: What happens when the four branches of the zeta function are tested against the behavior of poles, trivial zeros, and derivatives? The author…
A public lecture titled Math 2.0 was delivered yesterday evening at the California Institute of Technology, outlining a transformative vision for the future of mathematical research in the age of artificial intelligence. Originally conceived over a year ago under the working…
Author: Jackie H. Blankenship (j)Continue reading on Medium » The Adelic Langlands Program: vol. 41100.0, Adelic Algebraic Topology II Author: Jackie H. Blankenship (j) Adelic Langlands Program Gravity Extended (ALPG-E): A Comparative Literature Review Across Galois Theory, p-Adic Geometry, Trapped-Ion Microarchitecture, and Cosmological…
Standing Residue, Part Four On September 19th, 2026, an Anthropic engineer factored RSA-896, a 270-digit cryptographic challenge number, using Claude to …
Home > Prelims Pointers > Fermat’s Last Theorem Fermat’s Last Theorem, proposed by Pierre de Fermat in 1637, states that xⁿ + yⁿ = zⁿ has no integer solutions for n > 2. Read more about Fermat’s Last Theorem, Latest News By Vajiram Prelims Team - Sep 13, 2026, 12:30 IST…
The idea of using computers to assist with proofs is not new. The first major computer-assisted proof was published in 1976, the proof of the four color theorem by Kenneth Appel and Wolfgang Haken. The authors reduced the proof of the…
Anthropic announced that AI model Claude nearly autonomously formulated Fermat's Last Theorem as computer code within 11 days, generating around 13 million lines of Lean code and nearly 29,500 intermediate theorems. Anthropic announced that the AI model "Claude" managed, in a semi-independent manner,…
The Lean proof assistant and Mathlib: formalization projects such as Fermat's Last Theorem, computer-checked proofs and Lean formalizations of conjectures.
An article joins this feed when it matches these terms. Each one is also a search of its own.