。
虽然现在依然有不同地区的数学家用不同的符号来表示相同的概念，但这一类数学家已经越来越少了。
2030年的世界数学家大会上已经正式将广义模态公理体系纳入标准参考定理集，编号为1CM2030Thm6.18。
从那个时候开始就代表着世界主流数学界已经认可了广义模态公理体系对于诸多数学符号统一的认定。
所以内部都不争的话，对于华夏诸多数学界大佬而言，数学标准委员会已经成了大家刷资历的地方。
从某种程度上说，乔喻的存在对于华夏同时代许多有野心的数学家而言，其实是很扎心的。
或者说可以直接扩展到世界数学界。
毕竟当一个人在业界拥有断崖式的领先优势，是这能让其他人都显得黯淡无光。
甚至许多数学家怀疑等到下个世纪的后人回顾这个世界的数学发展时，大概只会记住乔喻的名字。
包括被西方数学界寄予厚望的诸如彼得·舒尔茨，陶轩之等等这类顶级天才数学家，
大概都只能归类为其他。
不是因为乔喻解决了黎曼猜想这个世纪难题，而是广义模态公理体系的影响实在太深远了。
借助这套体系，这些年全世界很多数学研究机构对于诸多难题的研究都有极大进展。
比如已经有团队通过乔代数几何方法证明了四色问题。不过目前论文正在审核中。
但据审稿人说，通过的可能性很大。
本来乔喻是最理想的审稿人之一，毕竟用的就是他开创的方法，可惜的是乔喻直接拒绝了。
对于其他数学家而言能审核这种难题的论文，本就是对他们水平的认可。
同时还能第一时间接触并去验证他们所感兴趣的新方法。
但对于乔喻而言，审稿这种事情纯粹是给自己找麻烦。
这大概也是让袁正心跟田言真前段时间一直觉得乔喻过的太轻松了的原因之一。
不过从这个时候开始一切又要改变了。
朱正则一大早来到了国际数学联盟的总部。
这一栋位于柏林市中心的建筑。隶属于尔斯特拉斯应用分析与随机研究所。
作为数学标准委员会的委员，数学家们当然没时间像普通人一样坐班。
但委员会又有很多杂务需要处理，比如协调和指导学术活动。
这些杂务专业性极强，普通人根本无法胜任这些工作，所以就采取了轮值制。
每位委员这四年里都要抽时间来这边呆一段时间。去完成那些琐碎的行政工作以及做专业性决策。
接下来大半个月就轮到了朱正则轮值，
坐到自己的办公室里，泡了杯茶，朱正则便打开了邮箱。
虽然要忙委员会这边的工作，但身为一位博士生导师，学校那边的事也不能完全不管好在如今网络发达，绝大部分情况都可以通过邮件解决。
而且最近国际数学联盟这边把三大主要的委员会以及秘书处的办公用电脑都换成了华夏的太极系列。
在借助更新后的支持多维展现的会议系统，让线上举办一些小型会议更加容易，而且信息安全方面也能做的更好。
加上全息现实，还能更具真实感。唯一麻烦的就是时差了。
不过柏林夏令时跟华夏只差了六个小时。
他每天早上九点准时到办公室，此时华夏时间是下午三点，正好是下午工作时间，沟通起来也挺方便。
朱正则如同往常般打开邮箱，第一眼就看到了标题被直接标红的字体。
看了眼发件人，竟然是田院土给他发的邮件。便立刻点开了邮件。
没办法，由言真目前在华夏数学界的地位是真很特殊，
不止