SMRTR summary
AxiomProver has formally verified in Lean 4 that infinitely many prime pairs exist within 246 of each other—the strongest known prime gap result—with machine-checked proof credited to 41 contributors.
SMRTR provides this summary for quick context. The original article belongs to Unite AI.
Read the original articleThis archive is built from SMRTR newsletter stories. Subscribe for hand-picked stories without the extra noise.
Filmed at 875,000 fps, the Slow Mo Guys captured glass shattering in stunning detail—flexing like water before cracks race outward at the speed of sound, revealing the surface's...
Singapore researchers built the world's first biological data center, using 16 million human neurons across 20 computing units. It could dramatically cut energy consumption...
Mice in artificial hibernation lost over half their synapses yet retained full memories upon waking. Surviving synaptic clusters rebuilt precisely, suggesting memory relies on...
Using six-femtosecond laser pulses, Japanese researchers observed a hidden electronic state form in 30 femtoseconds within a metal-organic framework, revealing an unknown...
Researchers have developed a nitrogen-frozen optical fiber that guides both light and sound, boosting their interaction 1,000x over standard fibers—enabling highly efficient...
Researchers used fiber-optic cables to detect "thunderquakes"—seismic waves from lightning—and built a 3D model of how thunder travels through soil and rock. Testing against real...