Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...

As an undergraduate at the University of Chile, Bernardo Subercaseaux took a dim view of using computers to do math. It seemed antithetical to real intellectual discovery. “There’s some instinct or ...

Here at PopMech, we love mind-bending math and logic puzzles, which is why we regularly recruit the sharpest minds in the world to concoct riddles that will test your critical thinking, mathematics, ...