Mathematicians achieve a milestone in verifying the sphere-packing problem solution using Lean, enhancing proof reliability and formalisation efforts.
Results that may be inaccessible to you are currently showing.
Hide inaccessible resultsResults that may be inaccessible to you are currently showing.
Hide inaccessible results