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.

ChatGPT's breakthrough is not what it seems.

Bumblebees faced with a challenge know how to play ball. Buff-tailed bumblebees can figure out on their own how to use a ball as a ladder to nab sugar from an out-of-reach fake flower, researchers ...

German psychologist Wolfgang Köhler set up a famous experiment more than 100 years ago that changed how scientists understand animal intelligence and the power of insight — or spontaneous ...

Despite having tiny brains, bumblebees have demonstrated a remarkable ability to socially learn how to use tools, solve simple puzzles, and cooperate to achieve a goal. It seems they can also solve ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

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

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

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

At Data + AI Summit, Databricks CEO Ali Ghodsi unveiled LTAP, a new architecture that collapses the 40-year unification ...

During Chapter 3: All the Time in the World, you'll be tasked with investigating the Dining Room during your pursuit for the blond man. While a few clues are spread out around the room, 007 First ...

The first of a new generation of neutrino experiments has begun to make its mark. With just two months of data, the Jiangmen Underground Neutrino Observatory (JUNO) experiment in Guangdong, China, has ...