Statistical anomalies in Russian elections

Statistical analysis of Russian federal election data from 2000 to 2020 reveals patterns indicative of electoral…

Mathematicians Have Discovered the Secret Geometry of Life

Mathematicians from Budapest University of Technology have discovered a new class of natural shapes known as…

The Strangely Serious Implications of Math’s ‘Ham Sandwich Theorem’

Geometry offers a surprising insight into both everyday mishaps and political quandaries through the “ham sandwich…

‘A-Team’ of Math Proves a Critical Link Between Addition and Sets | Quanta Magazine

Mathematicians have solved the Polynomial Freiman-Ruzsa Conjecture (PFR), a problem that has puzzled experts for over…

Mathematicians Have Found The Ninth Dedekind Number, After 32 Years of Searching

After three decades of research and the help of a supercomputer, mathematicians have discovered a new…

Möbius Mystery Solved By Mathematician After 5 Decades

Mathematician Richard Evan Schwartz has potentially solved the 46-year-old Halpern-Weaver Conjecture, which suggests the minimum size…

Behold Modular Forms, the ‘Fifth Fundamental Operation’ of Math | Quanta Magazine

The article explores the complex world of modular forms, mathematical functions with symmetrical properties that fill…

Mathematicians Solve 50-Year-Old Möbius Strip Puzzle

Mathematician Richard Evan Schwartz has solved a long-standing problem about Möbius strips, proving the Halpern-Weaver conjecture.…

An Old Conjecture Falls, Making Spheres a Lot More Complicated

Mathematicians have disproved the telescope conjecture, revealing that the universe of shapes in high dimensions is…

Complexity Theory’s 50-Year Journey to the Limits of Knowledge | Quanta Magazine

Researchers have discovered a connection between meta-complexity and average-case complexity, proving that an average-case MCSP algorithm…

Mathematics Has a Biological Origin, Study Reveals

Arithmetic’s universal truth may have biological roots, according to researchers. The team suggests that the fundamental…

Can LLMs Generate Mathematical Proofs that can be Rigorously Checked? Meet LeanDojo: An Open-Source AI Playground With Toolkits, Benchmarks, and Models for Large Language Models to Prove Formal Theorems in the Lean Proof Assistant

AI summary: Researchers from Caltech, NVIDIA, MIT, UC Santa Barbara, and UT Austin have developed LeanDojo,…

Is math real? The answer has major practical and philosophical implications

AI Summary: The article explores the philosophical debate on whether mathematics is a universal truth or…

Math Reveals How Many Shuffles Randomizes A Deck

GPT-4: Mathematical simulations reveal that seven riffle shuffles are required to randomize a 52-card deck, while…

Why the ‘Sleeping Beauty Problem’ Is Keeping Mathematicians Awake

GPT-4: The Sleeping Beauty problem, a thought experiment in probability, has divided experts in philosophy and…

ChatGPT Gets Its “Wolfram Superpowers”!

GPT-4: ChatGPT, a large language model by OpenAI, has been integrated with Wolfram|Alpha and Wolfram Language,…

Mathematicians discover shape that can tile a wall and never repeat

Aperiodic tiling, in which shapes can fit together to create infinite patterns that never repeat, has…

Finally, a Fast Algorithm for Shortest Paths on Negative Graphs | Quanta Magazine

Researchers can now find the shortest route through a network nearly as fast as theoretically possible,…

DeepMind breaks 50-year math record using AI; new record falls a week later

AlphaTensor discovers better algorithms for matrix math, inspiring another improvement from afar. Read more at Ars…

Chaos Researchers Can Now Predict Perilous Points of No Return

A custom-built machine learning algorithm excels at the formidable task of predicting when a complex system…