Showcasing practical examples, projects, and case studies demonstrating how AI models and tools are being applied across various fields.
A 24-row encrypted military briefing from March 1809 has become a revealing test of what frontier AI can do when a problem crosses vision, research, coding, history, and cryptanalysis. The Napoleon letter, sent to General Auguste de Marmont from Eugène de Beauharnais’s headquarters under Napoleon’s instructions, contains about 1,300 cipher units built from 155 distinct … Read more
For decades, mathematicians have studied a deceptively simple question about nonlinear waves: when a wave keeps focusing, must it collapse in finite time, or can it keep concentrating forever without quite reaching a singularity? A new paper by mathematician Leonard Dinh, developed with Meta’s Muse Spark, settles one version of that question for a specific … Read more
A decades-old gap in percolation theory now has a machine-checked proof. Anthropic’s Claude models, working under mathematician Justin Leder’s direction, produced a Lean formalization proving that nearest-neighbour Bernoulli bond percolation on (\mathbb{Z}^d) does not percolate at the critical point for every dimension (d \ge 2). The previously unresolved cases were dimensions (3) through (10). That … Read more
An AI-designed protein can look completely novel. That is the point. But novelty creates a provenance problem: once a model-generated sequence leaves the design tool, how can a synthesis company, database curator, or researcher tell where it came from? Google DeepMind’s answer is SynthID Bio, a family of methods for watermarking AI-generated proteins. Instead of … Read more
For nearly six decades, Grad’s Conjecture hung over one of the strangest questions in plasma physics: can a smooth, fully three-dimensional plasma sit in equilibrium inside nested toroidal surfaces without being forced into a strong symmetry? The intuition said probably not. Stellarator researchers, meanwhile, work precisely with complicated three-dimensional magnetic fields. Then September 2026 produced … Read more
Every closed, simply connected three-dimensional manifold is homeomorphic to the three-sphere. That is the Poincare Conjecture, a statement whose vocabulary takes some unpacking and whose proof took nearly a century. The question is whether a certain test involving loops can identify the overall shape of a three-dimensional space. Grigori Perelman solved it in 2002–2003, building … Read more
A nine-loop scattering amplitude sounds like the kind of phrase designed to make everyone except theoretical physicists close the tab. This one is worth staying for. Anthropic says Claude Fable 5.1, working through its Claude Science research harness, completed a nine-loop calculation for a six-particle amplitude in planar N=4 super Yang-Mills. The model pursued the … Read more