Math, Inc.'s
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Progress in Formalizing Sphere Packing in Dimension 8
arXiv:2604.23468v3 Announce Type: replace-cross Abstract: In 2016, Viazovska famously solved the sphere packing problem in dimension $8$, using modular forms to construct a 'magic' function satisfying optimality conditions determined by Cohn and Elkies in 2003. In March 2024, Hariharan and Viazovska launched a project to formalize this solution and related mathematical facts in the Lean Theorem Prover. A significant milestone was achieved in February 2026: the result was formally verified,...
Elon Musk is steamrolling Wall Street to become a trillionaire
Today on Decoder, I’m talking to Ryan Mac, a technology reporter at The New York Times and coauthor of the excellent book Character Limit: How Elon Musk Destroyed Twitter, which came out in 2024. I can’t recommend it enough. I wanted to have Ryan on the show because we’re on the cusp of the SpaceX IPO, which promises to be one of the most consequential public offerings in history for a variety of reasons — its biggest-ever size, of course, at nearly $2 trillion dollars, but also because all...
The Alligator Alcatraz Boondoggle
Since the early 1990s, I have visited scores of prisons and jails throughout the United States, as well as the Guantánamo Bay detention camp. The immigrant-detention facility known as Alligator Alcatraz, deep in the Florida Everglades, stands out as a uniquely cruel publicity stunt with an absurdly high price tag, in which much of the money goes into just a few pockets. For almost a year, the facility has been operated under an unusual arrangement: funded by the state of Florida and run by...