Solufa@m_mitsuhide日経サイエンスで特集された「この世の終わり」について、標準模型では起こり得るが代数的には起こらないことをLeanで証明する記事を公開しました 宇宙規模の災厄「真空崩壊」は起こらないTranslate post宇宙規模の災厄「真空崩壊」は起こらないFrom zenn.dev2:25 AM · Feb 15, 2026·210 Views11
