document.write("

数学家发现第九个 Dedekind 数

");document.write("

Google 在 AI 生成音乐中嵌入了听不见的水印

");