2026年7月8日发布的这一模型似乎弥补了泛函分析中一个长期悬而未决的空白，但仍有待正式发表；此前一位数学家在 X 上表示，该例子经检查成立。
46d ago
正在验证可靠性
此主题没有可用的专业术语。