Good news!
"When Ukrainian mathematician Maryna Viazovska received a Fields Medal—widely regarded as the Nobel Prize for mathematics—in July 2022, it was big news. Not only was she the second woman to accept the honor in the award’s 86-year history ... Today, in a collaboration between humans and AI, Viazovska’s proofs have been formally verified, signaling rapid progress in AI’s abilities to assist with mathematical research. ..."
"These results, originally proved by Maryna Viazovska and collaborators, earned Viazovska the Fields Medal at the 2022 International Congress of Mathematicians. This is the only formalization of a Fields Medal-winning result from this century ..."
Completing the formal proof of higher-dimensional sphere packing "Using Gauss, we have helped formally verify the sphere packing problem in dimensions 8 and 24 — certifying that the E8 lattice and the Leech lattice achieve the densest possible arrangements of non-overlapping spheres in their respective dimensions."
Fields Medal–winning mathematical work about optimal sphere packing in many dimensions is now formally verified by a human-AI collaboration
No comments:
Post a Comment