You are looking for
Advanced search
Proof Assistant Makes Jump to Big-League Math
Mathematicians using the computer program Lean have verified the accuracy of a difficult theorem at the cutting edge of research mathematics. Computer proof assistants have been an intriguing subplot in...
The Deep Link Equating Math Proofs and Computer Programs
...1934, the mathematician and logician Haskell Curry noticed a similarity between functions in mathematics and the implication relationship in logic, which takes the form of “if-then” statements between two propositions....
Pierre de Fermat’s Link to a High School Student’s Prime Math Proof
How Fermat’s less famous “little theorem” got mathematicians young and old to play with prime-like Carmichael numbers. Like many math students, I had dreams of mathematical greatness. I thought I...
Math’s ‘Game of Life’ Reveals Long-Sought Repeating Patterns
John Conway’s Game of Life, a famous cellular automaton, has been found to have periodic patterns of every possible length. In 1969, the British mathematician John Conway devised a beguilingly...
‘Groups’ Underpin Modern Math. Here’s How They Work.
What do the integers have in common with the symmetries of a triangle? In the 19th century, mathematicians invented groups as an answer to this question. Mathematics started with numbers...
The Year in Math
...the world of mathematics and opened up new vistas for mathematicians to explore. Now mathematicians are trying to predict what that will look like with AI. Sphere-Packing Records Get...
Quanta’s Science and Math Crossword Puzzle
This holiday season, catch up on science and math news while solving our year-end crossword. There is no new Insights puzzle this month, but I come bearing a holiday gift...
Pencils Down: The Art of Teaching Math and Science
...this linchpin of our education system, Quanta Magazine followed four master science and math teachers into their classrooms. Wilson Hester, Max Cantor, Rachel Globe and Lisa Iaboni for Quanta Magazine...
The (Math) Problem With Pentagons
...how to fit shapes together to make toys, floors, walls and art — and to understand the mathematics behind such patterns — for thousands of years. But it was only...