In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...
The transcript explores Goldbach’s conjecture, the simple-looking claim that every even number greater than 2 can be written ...
The bat-and-ball problem is a famous math puzzle that more than half of people—even Harvard graduates—get wrong. It's ...
Most executives know a bad Google result is a problem. Very few have done the math to find out how big a problem it actually ...
The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.
Most of us have not tested our arithmetic skills since we were forced to in grade school, but some are reaching back into their memories to solve a math equation that has left social media users ...
Working memory is like a mental chalkboard we use to store temporary information while executing other tasks. Scientists worked with more than 200 elementary students to test their working memory, ...
Think about placing dots on a flat surface. You want as many pairs as possible to be separated by the same distance. For any amount of dots, what is the greatest possible number of pairs that can be ...
Place any number of dots on a two-dimensional plane—say, a piece of paper—and measure the distance between each pair. If you rearrange the dots, how many pairs could be positioned exactly the same ...