Scientists used a new error correction method to encode 70 logical qubits and solve a problem that is intractable for classical computers. The quantum computation ...

Bonsai 27B is a multi-billion parameter model small enough to fit into a smartphone. It’s useful for dev and research work, ...

Neurosurgery researcher Jin Shanmu has very little formal education in mathematics but solved a major problem in linear ...

Latin squares are arrangements of symbols in a grid in which every symbol appears exactly once in each row and column. These ...

Linear programming (LP) is among the most fundamental optimization techniques. However, solving LP problems on conventional digital hardware is increasingly constrained by the polynomial computational ...

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

In a new study, bumble bees solve a completely novel object-manipulation task. What makes this behavior especially remarkable is that the bees had never been trained. The findings challenge the ...

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

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

It started almost by accident. At my startup Dwelly, I constantly push the limits of what AI tools can actually do. One day I just typed into a chat: “Can you prove P ≠ NP?”—referring to the problem ...

Some readers may solve the problem procedurally: line up the two numbers, add the ones column, carry the one, and add the tens to get 43. Others might instead notice a creative shortcut: 29 + 14 is ...