Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...
Two mathematicians have proved that a straightforward question—how hard is it to untie a knot?—has a complicated answer.
In “The Great Math War,” Jason Socrates Bardi takes on a battle for the soul of numbers that divided the experts of its day.
For over a decade, mathematicians have failed to agree whether a 500-page proof is actually correct. Now, translating the ...
DeepMind’s AlphaEvolve helps solve a math puzzle with Terence Tao, showing how AI can now invent new ideas—and prove old ones ...
Georgetown University psychologist Shadab Tabatabaeian, the paper’s lead author, imagines a “cool application” of their ...
Do you need to fairly allocate players to teams, or sort out a pot of badly brewed coffee? Katie Steckles has a mathematical ...
Mathematician Grigori Perelman solved the Poincaré conjecture, and then rejected the $1 million prize that came with it.
New research from UBC Okanagan mathematically demonstrates that the universe cannot be simulated. Using Gödel’s ...
Dr. Lance Bryant How can a cylinder look perfectly circular and yet appear square in the mirror? In this talk, we explore ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback