#spherepacking — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #spherepacking, aggregated by home.social.
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
‘Romance’ between scientists and AI leads to progress on age-old maths problem https://www.byteseu.com/1812084/ #AI #arXiv #ChinaScienceDaily #Chinese #DavidGregory #DavidHilbert #FudanUniversity #IsaacNewton #KissingNumber #OlegMusin #PackingStar #PekingUniversity #QiYuan #Science #ShanghaiAcademyOfAIForScience #SpherePacking
-
I derived Planck mass from sphere packing – 0.574 ppm, zero free param
https://zenodo.org/records/18089296
#HackerNews #PlanckMass #SpherePacking #Physics #Research #ScienceInnovation
-
I derived Planck mass from sphere packing – 0.574 ppm, zero free param
https://zenodo.org/records/18089296
#HackerNews #PlanckMass #SpherePacking #Physics #Research #ScienceInnovation
-
I derived Planck mass from sphere packing – 0.574 ppm, zero free param
https://zenodo.org/records/18089296
#HackerNews #PlanckMass #SpherePacking #Physics #Research #ScienceInnovation
-
I derived Planck mass from sphere packing – 0.574 ppm, zero free param
https://zenodo.org/records/18089296
#HackerNews #PlanckMass #SpherePacking #Physics #Research #ScienceInnovation
-
I derived Planck mass from sphere packing – 0.574 ppm, zero free param
https://zenodo.org/records/18089296
#HackerNews #PlanckMass #SpherePacking #Physics #Research #ScienceInnovation
-
🚀 #Rust #developers unite! The "Spherical Cow" library is here to let you pack spheres like never before—because who doesn’t need high volume sphere packing in arbitrary geometries? 🤔 It’s like trying to solve a Rubik's Cube in the dark while dancing the Macarena. 💃
https://lib.rs/crates/spherical-cow #SphericalCow #SpherePacking #Geometry #Fun #HackerNews #ngated -
🚀 #Rust #developers unite! The "Spherical Cow" library is here to let you pack spheres like never before—because who doesn’t need high volume sphere packing in arbitrary geometries? 🤔 It’s like trying to solve a Rubik's Cube in the dark while dancing the Macarena. 💃
https://lib.rs/crates/spherical-cow #SphericalCow #SpherePacking #Geometry #Fun #HackerNews #ngated -
🚀 #Rust #developers unite! The "Spherical Cow" library is here to let you pack spheres like never before—because who doesn’t need high volume sphere packing in arbitrary geometries? 🤔 It’s like trying to solve a Rubik's Cube in the dark while dancing the Macarena. 💃
https://lib.rs/crates/spherical-cow #SphericalCow #SpherePacking #Geometry #Fun #HackerNews #ngated -
🚀 #Rust #developers unite! The "Spherical Cow" library is here to let you pack spheres like never before—because who doesn’t need high volume sphere packing in arbitrary geometries? 🤔 It’s like trying to solve a Rubik's Cube in the dark while dancing the Macarena. 💃
https://lib.rs/crates/spherical-cow #SphericalCow #SpherePacking #Geometry #Fun #HackerNews #ngated -
"In higher dimensions, mathematicians still don’t know the answer [to the sphere packing problem.] [...] Now, in a short manuscript posted online in April, the mathematician Boaz Klartag has bested these previous records by a significant margin. Some researchers even believe his result might be close to optimal."
https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
-
"In higher dimensions, mathematicians still don’t know the answer [to the sphere packing problem.] [...] Now, in a short manuscript posted online in April, the mathematician Boaz Klartag has bested these previous records by a significant margin. Some researchers even believe his result might be close to optimal."
https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
-
"In higher dimensions, mathematicians still don’t know the answer [to the sphere packing problem.] [...] Now, in a short manuscript posted online in April, the mathematician Boaz Klartag has bested these previous records by a significant margin. Some researchers even believe his result might be close to optimal."
https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
-
"In higher dimensions, mathematicians still don’t know the answer [to the sphere packing problem.] [...] Now, in a short manuscript posted online in April, the mathematician Boaz Klartag has bested these previous records by a significant margin. Some researchers even believe his result might be close to optimal."
https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
-
"In higher dimensions, mathematicians still don’t know the answer [to the sphere packing problem.] [...] Now, in a short manuscript posted online in April, the mathematician Boaz Klartag has bested these previous records by a significant margin. Some researchers even believe his result might be close to optimal."
https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
-
Lattices and sphere packing - when #Math gets really fun and interesting. A recent development in the #Mathematics world raises the ante in the pursuit of optimal sphere packing in multiple high dimensions. Turns out #lattices and ellipsoids are central to the latest piece of the puzzle. This is for my #MathNerd followers🤓 who enjoy a mind-tweaking read. https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/ New #SpherePacking Record Stems From an Unexpected Source | Quanta Magazine
-
Lattices and sphere packing - when #Math gets really fun and interesting. A recent development in the #Mathematics world raises the ante in the pursuit of optimal sphere packing in multiple high dimensions. Turns out #lattices and ellipsoids are central to the latest piece of the puzzle. This is for my #MathNerd followers🤓 who enjoy a mind-tweaking read. https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/ New #SpherePacking Record Stems From an Unexpected Source | Quanta Magazine
-
Lattices and sphere packing - when #Math gets really fun and interesting. A recent development in the #Mathematics world raises the ante in the pursuit of optimal sphere packing in multiple high dimensions. Turns out #lattices and ellipsoids are central to the latest piece of the puzzle. This is for my #MathNerd followers🤓 who enjoy a mind-tweaking read. https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/ New #SpherePacking Record Stems From an Unexpected Source | Quanta Magazine
-
Lattices and sphere packing - when #Math gets really fun and interesting. A recent development in the #Mathematics world raises the ante in the pursuit of optimal sphere packing in multiple high dimensions. Turns out #lattices and ellipsoids are central to the latest piece of the puzzle. This is for my #MathNerd followers🤓 who enjoy a mind-tweaking read. https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/ New #SpherePacking Record Stems From an Unexpected Source | Quanta Magazine
-
Lattices and sphere packing - when #Math gets really fun and interesting. A recent development in the #Mathematics world raises the ante in the pursuit of optimal sphere packing in multiple high dimensions. Turns out #lattices and ellipsoids are central to the latest piece of the puzzle. This is for my #MathNerd followers🤓 who enjoy a mind-tweaking read. https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/ New #SpherePacking Record Stems From an Unexpected Source | Quanta Magazine
-
New Sphere-Packing Record Stems from an Unexpected Source
https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
#HackerNews #SpherePacking #SpherePackingRecord #Mathematics #UnexpectedSource #QuantumPhysics
-
New Sphere-Packing Record Stems from an Unexpected Source
https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
#HackerNews #SpherePacking #SpherePackingRecord #Mathematics #UnexpectedSource #QuantumPhysics
-
New Sphere-Packing Record Stems from an Unexpected Source
https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
#HackerNews #SpherePacking #SpherePackingRecord #Mathematics #UnexpectedSource #QuantumPhysics
-
New Sphere-Packing Record Stems from an Unexpected Source
https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
#HackerNews #SpherePacking #SpherePackingRecord #Mathematics #UnexpectedSource #QuantumPhysics
-
New Sphere-Packing Record Stems from an Unexpected Source
https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/
#HackerNews #SpherePacking #SpherePackingRecord #Mathematics #UnexpectedSource #QuantumPhysics
-
Join us now in #L1 in the #oxford #maths #institute for a wonderful talk by Matthew Jenssen on #spherePacking from his new paper!! https://invariants.org.uk
-
For the Dutch newspaper #NRC I wrote a piece about the new lower bound for #spherepacking, found by Marcelo Campos, Matthew Jenssen, Marcus Michelen, and Julian Sahasrabudhe. With a proof that \( \frac1n \) is a lower bound for the density in dimension \(n\) (it's trivial for mathematicians, but for other people it is interesting, I hope). As a bonus I end with a quote from Terence @tao !
-
For the Dutch newspaper #NRC I wrote a piece about the new lower bound for #spherepacking, found by Marcelo Campos, Matthew Jenssen, Marcus Michelen, and Julian Sahasrabudhe. With a proof that \( \frac1n \) is a lower bound for the density in dimension \(n\) (it's trivial for mathematicians, but for other people it is interesting, I hope). As a bonus I end with a quote from Terence @tao !
-
For the Dutch newspaper #NRC I wrote a piece about the new lower bound for #spherepacking, found by Marcelo Campos, Matthew Jenssen, Marcus Michelen, and Julian Sahasrabudhe. With a proof that \( \frac1n \) is a lower bound for the density in dimension \(n\) (it's trivial for mathematicians, but for other people it is interesting, I hope). As a bonus I end with a quote from Terence @tao !
-
For the Dutch newspaper #NRC I wrote a piece about the new lower bound for #spherepacking, found by Marcelo Campos, Matthew Jenssen, Marcus Michelen, and Julian Sahasrabudhe. With a proof that \( \frac1n \) is a lower bound for the density in dimension \(n\) (it's trivial for mathematicians, but for other people it is interesting, I hope). As a bonus I end with a quote from Terence @tao !
-
For the Dutch newspaper #NRC I wrote a piece about the new lower bound for #spherepacking, found by Marcelo Campos, Matthew Jenssen, Marcus Michelen, and Julian Sahasrabudhe. With a proof that \( \frac1n \) is a lower bound for the density in dimension \(n\) (it's trivial for mathematicians, but for other people it is interesting, I hope). As a bonus I end with a quote from Terence @tao !
-
Bollen verpakken in hoge dimensies. Mijn nieuwste artikel voor #nrc. Met formules! En met een bewijs! #spherepacking (paywall) https://www.nrc.nl/nieuws/2023/12/28/de-kerstballen-gaan-terug-in-de-doos-hoe-doe-je-dat-efficient-in-hogerdimensionale-ruimtes-a4185455 https://www.nrc.nl/nieuws/2023/12/28/de-kerstballen-gaan-terug-in-de-doos-hoe-doe-je-dat-efficient-in-hogerdimensionale-ruimtes-a4185455
-
Bollen verpakken in hoge dimensies. Mijn nieuwste artikel voor #nrc. Met formules! En met een bewijs! #spherepacking (paywall) https://www.nrc.nl/nieuws/2023/12/28/de-kerstballen-gaan-terug-in-de-doos-hoe-doe-je-dat-efficient-in-hogerdimensionale-ruimtes-a4185455 https://www.nrc.nl/nieuws/2023/12/28/de-kerstballen-gaan-terug-in-de-doos-hoe-doe-je-dat-efficient-in-hogerdimensionale-ruimtes-a4185455
-
Bollen verpakken in hoge dimensies. Mijn nieuwste artikel voor #nrc. Met formules! En met een bewijs! #spherepacking (paywall) https://www.nrc.nl/nieuws/2023/12/28/de-kerstballen-gaan-terug-in-de-doos-hoe-doe-je-dat-efficient-in-hogerdimensionale-ruimtes-a4185455 https://www.nrc.nl/nieuws/2023/12/28/de-kerstballen-gaan-terug-in-de-doos-hoe-doe-je-dat-efficient-in-hogerdimensionale-ruimtes-a4185455
-
Bollen verpakken in hoge dimensies. Mijn nieuwste artikel voor #nrc. Met formules! En met een bewijs! #spherepacking (paywall) https://www.nrc.nl/nieuws/2023/12/28/de-kerstballen-gaan-terug-in-de-doos-hoe-doe-je-dat-efficient-in-hogerdimensionale-ruimtes-a4185455 https://www.nrc.nl/nieuws/2023/12/28/de-kerstballen-gaan-terug-in-de-doos-hoe-doe-je-dat-efficient-in-hogerdimensionale-ruimtes-a4185455
-
Bollen verpakken in hoge dimensies. Mijn nieuwste artikel voor #nrc. Met formules! En met een bewijs! #spherepacking (paywall) https://www.nrc.nl/nieuws/2023/12/28/de-kerstballen-gaan-terug-in-de-doos-hoe-doe-je-dat-efficient-in-hogerdimensionale-ruimtes-a4185455 https://www.nrc.nl/nieuws/2023/12/28/de-kerstballen-gaan-terug-in-de-doos-hoe-doe-je-dat-efficient-in-hogerdimensionale-ruimtes-a4185455
-
Apollonial Sphere Packing!
Full-Length full-size Version:
https://youtu.be/BxNMM3IURcASoundtrack produced by Capzbeats (Link: https://soundcloud.com/user-640835231 )
-
Apollonial Sphere Packing!
Full-Length full-size Version:
https://youtu.be/BxNMM3IURcASoundtrack produced by Capzbeats (Link: https://soundcloud.com/user-640835231 )
-
Apollonial Sphere Packing!
Full-Length full-size Version:
https://youtu.be/BxNMM3IURcASoundtrack produced by Capzbeats (Link: https://soundcloud.com/user-640835231 )
-
Apollonial Sphere Packing!
Full-Length full-size Version:
https://youtu.be/BxNMM3IURcASoundtrack produced by Capzbeats (Link: https://soundcloud.com/user-640835231 )
-
Apollonial Sphere Packing!
Full-Length full-size Version:
https://youtu.be/BxNMM3IURcASoundtrack produced by Capzbeats (Link: https://soundcloud.com/user-640835231 )
