由CUNEF大学教授路易斯·马丁内斯·佐罗亚与迭戈·科尔多瓦（ICMAT-CSIC）共同撰写的一篇论文，已被公认为推动纳维-斯托克斯问题突破的重要知识基础之一。纳维-斯托克斯问题是21世纪最大的数学谜团之一，也是克雷数学研究所于2000年提出的六大千禧年大奖难题中至今仍未解决的难题之一。
科学期刊《量子杂志》报道称，由OpenAI及其他国际研究人员组成的AI辅助团队近期取得的突破，在很大程度上依赖于CUNEF大学路易斯·马丁内斯·佐罗亚和ICMAT迭戈·科尔多瓦此前的研究成果。这两位西班牙研究人员提出了一种新颖的策略来解决该问题，该策略脱离了数学界的主流方法。
纳维-斯托克斯问题涉及一组用于模拟流体动力学（从洋流到气流）的基础微分方程。尽管这些方程在19世纪就被确立为流体力学的核心工具，但一个关键问题仍未得到解答：它们的解是否始终保持光滑，还是在某些条件下会产生奇点，从而导致流体极小部分演化失控的极端行为？
文章解释说，马丁内斯·佐罗亚和科尔多瓦发表的研究结果至关重要，因为它们开启了一条不同的分析路径。该路径基于构建一个由“层”或非奇异解组成的无限序列，这些层结合成了马丁内斯·佐罗亚所称的“无限级联”，从而产生一个具有奇点的新解。尽管他们单独的研究并未满足千禧年大奖难题设定的所有条件，特别是确保特定光滑性的要求，但它确实制定了一套策略，后来被最新进展背后的团队所采用。
“这一认可凸显了数学研究的力量，以及对原创知识的迫切需求，这些知识能够为数十年来被认为几乎无法攻克的难题开辟新的解决路径，”CUNEF大学的路易斯·马丁内斯·佐罗亚表示。
“对于CUNEF大学而言，拥有像路易斯·马丁内斯·佐罗亚这样的研究人员，并支持具有如此国际知名度的研究工作，彰显了大学研究如何为我们这个时代最重大的科学挑战贡献原创且严谨的解决方案，”CUNEF大学校长安娜·I·费尔南德斯说道。
国际赞誉
马丁内斯·佐罗亚工作的相关性已得到数学界知名人士的认可。科学期刊《量子杂志》引用了普林斯顿大学的查尔斯·费弗曼（克雷数学研究所纳维-斯托克斯问题官方描述的作者）的评价，他称科尔多瓦和马丁内斯·佐罗亚是“这个故事中的英雄”。同样，纽约大学研究员特里斯坦·巴克马斯特认为，鉴于这项工作，路易斯·马丁内斯·佐罗亚“理应获得菲尔兹奖”。
OpenAI宣布的突破性进展包含一个使用Lean语言编写的证明，该语言专为数学证明验证而设计，表明三维纳维-斯托克斯方程中存在奇点。如果该证明在经过科学界的必要审查后得到证实，它将成为迄今为止由AI模型实现的重大数学成就之一。
CUNEF大学将这一全球认可视为其致力于数学研究的明确成果。自2023年成立以来，CUNEF大学数学系已组建了一支由45名博士研究人员组成的团队，其中29人在该大学的终身教职轨道计划下开展研究。包括路易斯·马丁内斯·佐罗亚在内的这项计划旨在巩固早期职业研究人员。其成员中已有人获得拉蒙-卡哈尔奖学金，以及来自BBVA基金会Prisma和Leonardo计划的资助，或国家研究机构的知识生成计划等。该部门的研究领域涵盖偏微分方程、代数与计算几何、几何与组合优化、科学计算、计算数学物理和拓扑数据分析。
