Studying the epic journey of the iconic jumping plumber can lead to new insights in theoretical computer science—and may help ...

He built interfaces that allowed engineers, scientists and everyday people to solve difficult problems without having to write the underlying code.

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians. What does that mean for their future? Credit...Illustrations by Yoshi ...

Days after fans said they struggled to get tickets for the Carolina Hurricanes' first appearance in a Stanley Cup Final since 2006, the North Carolina Attorney General's Office now wants answers from ...

Contrary to their name, bumblebees are no bumbling oafs. A new study published in Science on Thursday found that these bees utilized tools to solve complex problems to win a sugary treat, even if they ...

Abstract: Metaheuristic algorithms have demonstrated strong effectiveness in solving complex real-world optimization problems. This paper presents two discrete metaheuristic approaches for the ...

Last month many mathematicians were shocked by OpenAI’s announcement that artificial intelligence had solved geometry’s famous “unit distance” problem. For some, the achievement was exciting. But ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics. Reading time 10 minutes Will ...

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 ...

Richard Feynman described a decision-making problem and its solution in handwritten notes, but the meaning of the notes has been a mystery for almost 50 y. We decipher the problem and solution from ...

IPO mania has begun, and nothing kickstarts initial public offerings like spreadsheets flashing green to incite the crowd. SpaceX’s recent S-1 filing promoted an “actionable total addressable market” ...