DeepMind’s latest: An AI for handling mathematical proofs

AlphaProof can handle math challenges but needs a bit of help right now.

Computers are extremely good with numbers, but they haven’t gotten many human mathematicians fired. Until recently, they could barely hold their own in high school-level math competitions.

But now Google’s DeepMind team has built AlphaProof, an AI system that matched silver medalists’ performance at the 2024 International Mathematical Olympiad, scoring just one point short of gold at the most prestigious undergrad math competition in the world. And that’s kind of a big deal.

True understanding

The reason computers fared poorly in math competitions is that, while they far surpass humanity’s ability to perform calculations, they are not really that good at the logic and reasoning that is needed for advanced math. Put differently, they are good at performing calculations really quickly, but they usually suck at understanding why they’re doing them. While something like addition seems simple, humans can do semi-formal proofs based on definitions of addition or go for fully formal Peano arithmetic that defines the properties of natural numbers and operations like addition through axioms.

Read full article

Comments

The evolution of rationality: How chimps process conflicting evidence

Chimps can take in new evidence, evaluate its strength, and change their minds.

When Aristotle claimed that humans differ from other animals because they have the ability to be rational, he understood rational to mean that we could form our views and beliefs based on evidence, and that we could reconsider that evidence. “You know—ask ourselves if we should really believe that based on the evidence we’ve got,” says Jan M. Engelmann, an evolutionary anthropologist at the University of California, Berkeley.

Engelmann says that from the beginning of the Western intellectual tradition, people thought that only humans are rational. So, he designed a study to see if rationality shows up in chimpanzees. It turned out that they’re almost as rational as we are.

Food puzzles

“There was quite a bit of research showing that chimpanzees can form their beliefs in response to evidence,” Engelmann says. The experiments usually involved chimpanzees deciding which of the two boxes contained a snack. When the researchers shook both boxes and there was a rattling sound coming from one of them, the chimps almost always chose the box where the rattling came from.

Read full article

Comments

Wyoming dinosaur mummies give us a new view of duck-billed species

Exquisitely preserved fossils come from a single site in Wyoming.

Edmontosaurus annectens, a large herbivore duck-billed dinosaur that lived toward the end of the Cretaceous period, was discovered back in 1908 in east-central Wyoming by C.H. Sternberg, a fossil collector. The skeleton, later housed at the American Museum of Natural History in New York and nicknamed the “AMNH mummy,” was covered by scaly skin imprinted in the surrounding sediment that gave us the first approximate idea of what the animal looked like.

More than a century later, a team of paleontologists led by Paul C. Sereno, a professor of organismal biology at the University of Chicago, got back to the same exact place where Sternberg dug up the first Edmontosaurus specimen. The researchers found two more Edmontosaurus mummies with all fleshy external anatomy imprinted in a sub-millimeter layer of clay. For the first time, we uncovered an accurate image of what Edmontosaurus really looked like, down to the tiniest details, like the size of its scales and the arrangement of spikes on its tail. And we were in for at least a few surprises.

Evolving images

Our view of Edmontosaurus changed over time, even before Sereno’s study. The initial drawing of Edmontosaurus was made in 1909 by Charles R. Knight, a famous paleoartist, who based his visualization on the first specimen found by Sternberg. “He was accurate in some ways, but he made a mistake in that he drew the crest extending throughout the entire length of the body,” Sereno says. The mummy Knight based his drawing on had no tail, so understandably, the artist used his imagination to fill in the gaps and made the Edmontosaurus look a little bit like a dragon.

Read full article

Comments

Tiny chips hitch a ride on immune cells to sites of inflammation

Tiny chips can be powered by infrared light if they’re near the brain’s surface.

Standard brain implants use electrodes that penetrate the gray matter to stimulate and record the activity of neurons. These typically need to be put in place via a surgical procedure. To go around that need, a team of researchers led by Deblina Sarkar, an electrical engineer and MIT assistant professor, developed microscopic electronic devices hybridized with living cells. Those cells can be injected into the circulatory system with a standard syringe and will travel the bloodstream before implanting themselves in target brain areas.

“In the first two years of working on this technology at MIT, we’ve got 35 grant proposals rejected in a row,” Sarkar says. “Comments we got from the reviewers were that our idea was very impactful, but it was impossible.” She acknowledges that the proposal sounded like something you can find in science fiction novels. But after more than six years of research, she and her colleagues have pulled it off.

Nanobot problems

In 2022, when Sarkar and her colleagues gathered initial data and got some promising results with their cell-electronics hybrids, the team proposed the project for the National Institutes of Health Director’s New Innovator Award. For the first time, after 35 rejections, it made it through peer review. “We got the highest impact score ever,” Sarkar says.

Read full article

Comments

Corals survived past climate changes by retreating to the deeps

A recent die-off in Florida puts the spotlight on corals’ survival strategies.

Scientists have found that the 2023 marine heat wave caused “functional extinction” of two Acropora reef-building coral species living in the Florida Reef, which stretches from the Dry Tortugas National Park to Miami.

“At this point, we do not think there’s much of a chance for natural recovery—their numbers are so low that successful reproduction is incredibly unlikely,” said Ross Cunning, a coral biologist at the John G. Shedd Aquarium.

This isn’t the first time corals have faced the borderline of extinction over the last 460 million years, and they have always managed to bounce back and recolonize habitats lost during severe climate changes. The problem is that we won’t live long enough to see them doing that again.

Read full article

Comments

Some stinkbugs’ legs carry a mobile fungal garden

A dedicated organ grows the fungus, which deters parasitic wasps.

Many insect species hear using tympanal organs, membranes roughly resembling our eardrums but located on their legs. Grasshoppers, mantises, and moths all have them, and for decades, we thought that female stinkbugs of the Dinidoridae family have them, too, although located a bit unusually on their hind rather than front legs.

Suspecting that they use their hind leg tympanal organs to listen to male courtship songs, a team of Japanese researchers took a closer look at the organs in Megymenum gracilicorne, a Dinidoridae stinkbug species native to Japan. They discovered that these “tympanal organs” were not what they seemed. They’re actually mobile fungal nurseries of a kind we’ve never seen before.

Portable gardens

Dinidoridae is a small stinkbug family that lives exclusively in Asia. The bug did attract some scientific attention, but not nearly as much as its larger relatives like Pentatomidae. Prior work looking specifically into organs growing on the hind legs of Dinidoridae females was thus somewhat limited. “Most research relied on taxonomic and morphological approaches. Some taxonomists did describe that female Dinidoridae stinkbugs have an enlarged part on the hind legs that looks like the tympanal organ you can find, for example, in crickets,” said Takema Fukatsu, an evolutionary biologist at the National Institute of Advanced Industrial Science and Technology in Tokyo.

Read full article

Comments

Bats eat the birds they pluck from the sky while on the wing

A handful of bat species hunt birds, and new sensor data tells us how.

There are three species of bats that eat birds. We know that because we have found feathers and other avian remains in their feces. What we didn’t know was how exactly they hunt birds, which are quite a bit heavier, faster, and stronger than the insects bats usually dine on.

To find out, Elena Tena, a biologist at Doñana Biological Station in Seville, Spain, and her colleagues attached ultra-light sensors to Nyctalus Iasiopterus, the largest bats in Europe. What they found was jaw-droppingly brutal.

Inconspicuous interceptors

Nyctalus Iasiopterus, otherwise known as greater noctule bats, have a wingspan of about 45 centimeters. They have reddish-brown or chestnut fur with a slightly paler underside, and usually weigh around 40 to 60 grams. Despite that minimal weight, they are the largest of the three bat species known to eat birds, so the key challenge in getting a glimpse into the way they hunt was finding sensors light enough to not impede the bats’ flight.

Read full article

Comments

Even with protections, wolves still fear humans

European wolves flee human conversation faster than dogs’ barking.

Back in May 2025, the European Parliament changed the status of wolves in the EU from “strictly protected” to “protected,” which opened the way for its member states to allow hunting under certain conditions, such as protecting livestock. One of the arguments behind this change was that the “tolerance of modern society towards wolves” led to the emergence of “fearless wolves” that are no longer afraid of people.

“Regulators made it clear though that there is no scientific evidence to back this up,” says Michael Clinchy, a zoologist at the Western University London, Canada. “So we did the first-of-its-kind study to find out if wolves have really lost their fear of humans. We proved there is no such thing as a fearless wolf.”

Red riding hood

The big bad wolf trope is found in plenty of our myths and fables, with Little Red Riding Hood being probably the most famous example. This mythical fear of wolves, combined with real damage to livestock, led to extensive hunting. By the mid-20th century, we’d pushed wolves to the verge of extinction in Western and Central Europe. Human-wolf encounters became very rare, and the big bad wolf myth faded away. But starting in the 1970s wolves became a protected species across Europe and North America, which caused wolf populations to bounce back and reoccupy some of their old habitats.

Read full article

Comments