本文為機器翻譯
展示原文
幾週前：大家都在為 Erdös 議題的自動形式化而興奮不已
現在：已經取得了幾個數量級的進步，用僅相當於 mathlib 10% 左右大小的程式碼實現了多個菲爾茲獎結果的自動形式化
RH 在我有生之年一定會被解決 😀
Math, Inc.
@mathematics_inc
03-03
We are pleased to share that using Gauss, we have completed a ~200K LOC formalization of Maryna Viazovska’s 2022 Fields Medal theorems on optimal sphere packing in dimensions 8 and 24.
This is the only Fields Medal-winning result from this century to be completely formalized,
來自推特
免責聲明：以上內容僅為作者觀點，不代表Followin的任何立場，不構成與Followin相關的任何投資建議。
喜歡
收藏
評論
分享
