Auto Added by WPeMatico
There’s a Hot New Egg-Freezing Startup. It’s Weirder Than You Could Imagine Read More »
Cockroach Milk, How to Blow Your Nose, and Mosquito Printers: The Ig Nobels of 2026 Read More »
OpenAI says an internal model proved that 3D Navier-Stokes can develop a singularity in finite time, using about 10,000 agents over 88 hours. It described the result on a press call and had not published the proof. Tristan Buckmaster and Levent Alpoge, working on related problems, published preprints with Lean formalisations that anyone can machine-check. […]
This story continues at The Next Web
Google DeepMind put 100 AI agents in a room and asked them to prove hard mathematics. One found a way to cheat. Twenty-seven minutes later the entire problem set was gone. The paper, published on arXiv last week by six DeepMind researchers, is a case study rather than a benchmark. Nobody set out to test […]
This story continues at The Next Web
100 DeepMind agents were told not to cheat. 14% did anyway Read More »
EcoFlow makes the miniature power station even smaller Read More »
Two of the Universe’s Great Mysteries May Have Their Own Dimension Read More »
Astronomers Have Completed the Largest Map of Space. Yes, You Can Play With It. Read More »
Plastics Companies Are Writing Lesson Plans. What Could Go Wrong? Read More »
Europe has its first commercial orbital rocket Read More »
A mathematician holds a five-year grant to formalise Fermat’s Last Theorem. It has been done for him in eleven days, and he says the result tells us nothing about mathematics. Anthropic published the proof on Friday. Dozens of Claude agents wrote 13 million lines of Lean code and proved 30,300 intermediate theorems. They used 29,500 […]
This story continues at The Next Web
The man paid to prove Fermat by hand says Claude did it in 11 days Read More »