Dr. Gamma

Bell States on a Chip Rise from Crystal Simplicity

What autoformalization is and why it could matter Mathematics is a language with two dialects. The everyday speech we use to describe a problem is not the same as the precise, machine-checkable language used by proof assistants such as Lean, Coq, or Isabelle. Autoformalization is the project of teaching a computer to translate a natural…

Interactive segmentation sits at a curious crossroads: it asks humans to nudge a machine toward a precise outline, and the machine tries to translate those tiny signals into clean boundaries. The Segment Anything Model, or SAM, became a kind of celebrity in this space by showing how far a single, promptable brain could go with…

In the story of nuclear safety, the math of how neutrons wander through matter sits like a backstage crew quietly ensuring the show never goes off-script. You can’t see them, but their decisions—whether a neutron is absorbed, scattered, or leaks away—determine whether a storage canister stays safely subcritical or drifts toward danger. As the world…

Cardiac MRI has become the quiet translator between a beating heart and medical insight. In pediatric and congenital heart disease, clinicians have long relied on 2D breath-hold cine scans to gauge how the heart fills and pumps. Yet those thin slices tell only part of the story, and asking a child to hold still for…

Massive stars rarely lead solitary lives. In the Small Magellanic Cloud, a nearby dwarf galaxy with a tiny metal content, astronomers have a natural laboratory where stellar duets can be studied in exquisite detail. The environment’s metal paucity means winds are weaker and the life stories of giant stars are written in binary ink. A…

The night sky keeps its secrets not in the grandeur of single points of light, but in the quiet choreography of crowds. A compact duet of stars, sharing a single envelope, whips around each other every few hours. Then, a brighter third star, sitting a little farther out, adds a gravitational wink that slowly tugs…

Quantum measurements have always felt a little mischievous: the act of looking changes what you’re looking at, and the more you try to learn at once, the more you disturb the system. In classical physics, you can imagine measuring several properties in parallel with little to no fuss. In the quantum world, not all properties…

The hum of the engine, the rush of the highway—driving is a symphony of sensations. But what if your car could understand not just your actions, but your inner state? What if it could detect subtle shifts in your physiology, your stress levels, even your fatigue, before you consciously realize them yourself? A New Window…

The Unexpected Geometry of Trees Imagine a vast network, a sprawling city of connections. Each road represents a link, and every path from one point to another is a unique journey. Now, imagine a collection of these journeys, each a distinct route, yet all sharing a common thread – a significant overlap in the roads…

Probability isn’t a single number or a single rule of thumb. It’s a landscape, a space of possibilities where distributions live and move. Mathematicians map that landscape as a density manifold, a place where tiny nudges to a distribution feel like moving along a curve rather than flipping a switch. In that world, what you…

In the world of computer science, some problems feel abstract until you realize they govern everyday systems—databases, search queries, and even the quirks of music generation. One such problem asks: how many words of a given length does a non-deterministic finite automaton (NFA) accept? It sounds like a tiny, technical corner of theory, but it…

The world of pure mathematics often hides its most striking ideas in the language of sequences, sums, and groups. When you strip numbers down to their most basic additive interactions, you can end up with puzzles that feel almost tactile: how long must a random collection of group elements be before you can always pick…

The Higgs boson sits at the heart of the Standard Model, a single, mysterious scalar that gives mass to elementary particles. Since its discovery, physicists have been peering into the shape of the Higgs field’s potential—the energy landscape that tells the Higgs how to interact with itself. A crucial piece of that puzzle is the…

Data centers aren’t just labs full of blinking LEDs and humming fans; they’re living ecosystems of sensors, power lines, cooling loops, and job schedules that generate streams of telemetry every second. For operators, researchers, and the AI systems that increasingly rely on that telemetry, the challenge isn’t just collecting data — it’s turning it into…

Today’s giant language models are trained on oceans of human text. They predict words, pattern-match, and somehow apply those patterns to new prompts. But as data grows and computing gets cheaper, the boundary between training material and test material blurs. The big question is not just whether a model can ace a fixed exam, but…

Unlocking Genetic Clues from Ordinary Tissue Slides In the fight against lung cancer, knowing the enemy’s genetic makeup can be the difference between life and death. Certain mutations in cancer cells—called driver mutations—act like switches that fuel tumor growth. Targeted therapies that shut off these switches have revolutionized treatment, turning what was once a grim…

The world of pure math often feels like a high-stakes game of logic played on an abstract board. The latest work from Dylan King of Caltech, Simón Piga of the University of Hamburg, Marcelo Sales of UC Irvine, and Bjarne Schülke of the Institute for Basic Science in Korea dives into a thorny corner of…

The Urgent Need for Fluorine-Free Surfactants Fluorinated surfactants, those chemical workhorses behind everything from firefighting foams to non-stick cookware, have a dark side. Their incredible effectiveness in lowering surface tension comes at a steep environmental cost. These so-called ‘forever chemicals’ persist in the environment for generations, posing significant health risks. The search for sustainable replacements…

Why trusting AI to grade essays feels like handing your novel to a stranger In the age of AI, the idea that a machine could grade your university essay sounds like a dream come true. No more waiting weeks for feedback, no more human bias or fatigue. Instead, a super-smart algorithm reads your words, judges…