NB-0100Ⅶ · 理解万物 · 求知的渴望
究极真理数学的圣杯
有些真理不为有用、只为它本身——它们是人类理性能触及的最深处,攻破任何一个都是文明智力的登顶时刻。
22颗暗星在攻
8.9潜能光度
9个方向
EP vs NP · 计算复杂性根基「验证容易的问题是否也求解容易」——一道题定义了计算文明的根本边界,已知证明技术全部被证明不够用。T8 · 巨星E杨-米尔斯存在性与质量间隙严格构造四维量子杨-米尔斯理论并证明正质量间隙。T7 · 恒星E朗兰兹纲领的算术互惠与函子性继几何版里程碑之后,连通数论和表示论的算术核心。T7 · 恒星E黎曼猜想 · 素数深层结构素数分布的最深规律锁在黎曼 zeta 函数零点上,悬置 160 余年的数论地基级问题,攻破即重写整个解析数论。T6 · 行星E湍流统计量的第一原理理论在明确边界下从方程预测间歇性、结构函数和输运。T6 · 行星E纳维-斯托克斯方程光滑性描述一切流体的基本方程,是否会自己「算爆」仍属未知——湍流这个经典物理最后的大谜题,数学上连方程本身都没驯服。T5 · 新星R霍奇猜想代数几何与拓扑之间那座还没验证完的桥T5 · 新星Rabc 猜想·独立证明或否证三个互质整数的和里,藏着数论里最深的争议T5 · 新星R孪生素数猜想无穷多对相差2的素数,还差最后一步T5 · 新星R泰特猜想有限域上代数簇的算术不变量,能否完全由几何上同调类刻画T5 · 新星R高维球体堆积问题8维和24维已被证明最优,其余高维空间怎么堆球仍是谜T5 · 新星R希尔伯特第16问题(极限环部分)一个平面多项式微分方程最多能有多少个孤立周期轨道T5 · 新星R科恩-伦斯特拉启发式数域的理想类群长什么样,用概率统计能不能猜准T5 · 新星R柯拉兹猜想3x+1,除以2,任何数最终都会掉进4-2-1的循环吗T4 · 亮星R奇完全数是否存在数学史上最古老的未解问题:有没有一个奇数等于它所有真因子之和T4 · 亮星EIUT 证明验证·结束共同体僵局京都的定理·别处的猜想·数学同行评审的信任危机T4 · 亮星RBSD猜想椭圆曲线的有理点个数藏在一个L函数的零点里R哥德巴赫猜想每个大于2的偶数都能拆成两个素数之和,验证到10^18仍无法证明R光滑四维庞加莱猜想三维已被佩雷尔曼攻克,四维的光滑版本仍是拓扑学最后堡垒R雅可比猜想一个多项式映射的雅可比行列式若恒为非零常数,它就一定可逆吗R哈德维格-纳尔逊问题给平面染色让任意两个相距恰好1的点颜色不同,最少需要几种颜色R鲍姆-康纳斯猜想群的对称性结构,能否完全由它的算子代数K理论刻画