These Russian Mathematicians Taught AI Models How to Talk to Each Other Without Using Words

I recently met with some brilliant Russian mathematicians who showed me a way for artificial intelligence models to communicate via something akin to machine telepathy. The mathematicians work for a startup called Mostik—the Russian word for bridge.
TechCrunch

DeepSeek upgrades its math-focused AI model Prover

Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version of Prover, V2, and a distilled variant to AI dev ...

Switching gravity on and off leaves particles behind, mathematical model finds

Hawking radiation causes black holes to eventually evaporate. This is because particle pairs are spontaneously created near the event horizon (the position of the last ray of light that can escape the black hole's gravitational pull).
VentureBeat

New open-source math model Light-R1-32B surpasses equivalent DeepSeek performance with only $1000 in training costs

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for enterprises and researchers to take, deploy, fine-tune or ...
Forbes

Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong, a PhD student at Stanford University, spent her ...
Ars Technica

An OpenAI model solved a famous math problem that stumped humans for 80 years

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 years. OpenAI gave several mathematicians early access to ...

Texas researchers replaced more than half of potting soil with recycled glass; peppers and herbs grew faster

Researchers at the University of Texas Rio Grande Valley have made an exciting breakthrough by utilizing recycled glass as a growing medium for crops. Initial greenhouse experiments indicate that plants flourish more rapidly and retain water more effectively in this unique substrate.

Nvidia finds that simple linear math can replace costly AI model handoffs

Nvidia researchers found a simple linear math technique that swaps AI models mid-task up to 25x faster than recomputing from scratch, cutting compute costs.

When biology inspires mathematics: Hidden symmetries explain why widely used evolutionary methods can give false answers

Why do some groups of organisms contain thousands of species while others have only a handful? Evolutionary biologists have spent decades trying to answer this question using mathematical models that estimate how biological traits and environmental factors influence the formation and extinction of species.