Scientific discovery has long been one of America's greatest strengths. That's why we're deepening our partnership with the U.S. Department of Energy's #GenesisMission# through new investments in AI infrastructure, scientific computing, engineering expertise, and a collaboration hub designed to help researchers across America's national laboratories, universities, and industry work together more effectively. Our goal is to accelerate AI-driven scientific discovery. From energy and medicine to advanced materials, faster scientific breakthroughs can strengthen America's competitiveness and create lasting value for generations to come. @ENERGY @Microsoft

Our co-authored paper with @OpenAI and leading researchers in genomics and scientific computing is now available as a preprint on bioRxiv. This work explores what becomes possible when frontier AI agents and domain experts come together to build and scale complex scientific software, including HelixForge, built by Minos. Read the full preprint:

My most recent claim is that "FP8 is all you need" for all scientific computing. Two new papers as well as my debate with my great friend Jack Dongarra are covered here: (Revised) Part1 paper is on arXiv: Part2 is on hold at arXiv but you can access it here: Comments are welcome!

Arriving in 2028, Discovery will usher in a new era of scientific computing.🚀 ORNL’s Bronson Messer explains why Discovery represents an exciting new chapter in leadership computing at @ORNL. 🔗More details: @HPE @AMD #BigScience#

Excited to share FloatLib, our verified arbitrary-precision floating-point arithmetic library in Lean. We’ve spent several months trying to bring together the best of both worlds: arithmetic we can prove correct and implementations that run efficiently. We built FloatLib to support verified machine learning and scientific computing, where rounding, overflow, and accumulation can change a program’s result. FloatLib supports IEEE binary and decimal, arbitrary-width posits, P3109, and small ML formats. You can also define your own formats and rounding rules. Each certified software backend comes with a Lean proof that it computes the specified result, including signed zeros and exceptional values. A lot of the work went into making those implementations faster, with lookup tables for tiny formats, machine-word kernels, and limb algorithms for wider arithmetic. They share the same specifications, so each optimization must come with a proof that it preserves the result. We also put FloatLib through extensive numerical checks and speed comparisons with established libraries, including MPFR, Flocq, FLoPS, Berkeley SoftFloat/TestFloat, and the posit libraries SoftPosit and Universal, across a range of formats, operations, and precisions. @Robertljg Project & Paper: Code:

JENSEN HUANG: FROM A 9-YEAR-OLD IMMIGRANT TO AMERICA’S HIGHEST SCIENCE HONOR Nvidia co-founder Jensen Huang received the National Medal of Science today, recognizing his contributions to computing and AI. His parents were also there to share the moment. Born in Taiwan, Huang was just nine when his parents sent him and his brother to live with an uncle in the United States. The family later reunited in Oregon. At 15, he worked at Denny’s washing dishes, clearing tables and serving customers. He went on to earn electrical engineering degrees from Oregon State and Stanford. In 1993, he co-founded NVIDIA with Chris Malachowsky and Curtis Priem, developing their early plans over meetings at a Denny’s. Their starting idea was to bring better 3D graphics to personal computers. Thirty-three years later, Huang is being honored for helping turn graphics processors into a foundation for scientific computing and artificial intelligence. There’s something special about this beyond the company or the medal: the parents who sent their son across the world getting to stand beside him for a moment like this.