“梅西会议”(Macy Conference)
“梅西会议”（Macy Conference）可能并不为大众所熟知，但在学术界眼中，这是一个在科学史上意义重大的会议，被称为“第三次科技革命先驱会议”。正是在定期召开的“梅西会议”中，世界各地的数学家、物理学家、社会学家、语义学家，进行了跨学科的讨论和合作，为二十世纪后半期至今几乎所有的重大科学技术问题奠定了基础。
“我们处于科技爆发的时代，人类社会逐渐接近‘科技奇点’。” 著名经济学家朱嘉明在时代使命的感召下，带领其数字资产研究院于12月17日-18日在北京主办了中国版“梅西会议”——区块链数学科学会议。会议专注于探索拆解现有的区块链数学的范式，寻找和区块链技术相关的数学领域，组合可以引入区块链技术的数学工具。
作为区块链在餐饮产业的落地应用，吃货大陆的产品用到了一套基于博弈论“激励相容”理论的算法机制，用于调动各参与方建设生态的积极性。这套算法机制尽管已经获得了初步验证，但是为了让理论基础更加牢固，我们一直在寻找更深层次的内在科学原理。
抱着对科学的敬仰，与对“世界上最完美的机制算法”的渴望，吃货大陆团队极其认真地学习了这场区块链数学科学会议。
01
AlphaGo超越人类？科学家张钹说计算机跟人类相比差得远···
中国科学院院士张钹
计算科学家、中国科学院院士张钹关于人工智能的深度剖析似乎让我们看到了“生而为人”的一点点价值。
张钹指出：“AlphaGo、深蓝之所以能成功，是因为棋是完全信息博弈，如果是完全信息的话，对于计算机来讲是极为容易的，绝对是会超过人类的。所以，围棋、象棋中，最终机器是会超过人类的，只是时间问题。
但是如果变成不完全信息，比如说像牌类，现在不管是四人桥牌也好，四人麻将也好，计算机根本不是人类的对手，原因就在于不完全信息。对决策也是一样，如果你的决策是完全信息决策，机器绝对会超过人。但如果你是不完全信息决策，那计算机跟人类相比还差得远。但是很不幸，所有的决策场景都是不完全信息，实际的决策场景都是人的。”
作为资深餐饮项目，吃货大陆具备产业信息优势。再厉害的算法，倘若不知道产业界的真实成本运营信息，也无法拆解出正确的博弈策略。基于这个认知，吃货大陆团队颇感欣慰，我们设计出来的算法至少具备可操作性。
但我们依然不满足，我们渴望自己更优秀!
02
数学家才能搞数学？经济学家朱嘉明强调应用领域专业人士的价值
数字资产研究院院长朱嘉明
朱嘉明教授开场便指出，数学孕育了区块链。发展地看，朱嘉明教授也说，区块链具备延伸出应用数学分支的可能性。但学术讨论从来都是前沿的，具体到实践，朱教授也承认：“在此时此刻，究竟哪些新的数学工具，能够和区块链有效结合，是一个难以下结论的题目。”
而发展区块链应用数学，并非只有数学家可以做。历史上有很多应用领域专业人员进入数学领域的先例。
朱嘉明教授举例：“比如说物理学家、航空工程师、地质学家、生物学家、经济学家他们遇到了现实的问题，把数学工具输入到他们研究的领域，或者是发明一些新的数学方法。
这里有一个和我们好像很远但是具有启发性的例子，就是生物学和数学的结合。二者的结合产生了数学生物学和生物数学。这是数学和生物学结合应用的两个场景。
数学生物学和生物数学的差别在于：数学生物学是以数学方法研究生物问题，生物数学是以生物学中的数学问题，而形成新的数学方法。”
可见，区块链应用数学这条求索之路，同样需要产业界人士的努力。在朱嘉明教授的鼓舞下，吃货大陆作为餐饮区块链产业探索者，终于找到了完善自身的另一个历史使命——探索餐饮区块链应用数学方法。
03
年轻可以无畏，中科院专家王飞跃告诉你人类的想象力究竟有多无敌···
中科院复杂系统管理与控制国家重点实验室主任王飞跃
年轻所以无畏，这颗激动的小心心尚未抚平，王飞跃老师关于想象力的观点又惊艳的让我们想要逆天。
中科院复杂系统管理与控制国家重点实验室主任王飞跃生动地给我们捋了一遍科学史，落在人工智能上时，引用了《道德经》。
他说：“智能分了三层，一个是算法智能，就是我们的人工智能，能写成程序的，但是远远小于语言智能，人的语言能表达的智能又远远小于我们想象到的这个智能，这跟《道德经》上的道可道，非常道很一致。后来人考古学家发现，哎呀其实这不是两句话，应该三句话，道，可道，非常道，正好跟这三个层次对应起来了。”
吃货大陆团队深感认同，我们一直有一个共识，就是技术迷思之下，吵吵嚷嚷好像这世界除了机器就没有人了一般，显然并非如此。会议中也有几位专家指出，想象力是人永远不会被机器超越的理由。
在计算智能已经可以通过“原始数据输入”进行“自我学习”的时代，人类更重要的角色是：超越感知，挖掘规律。
按照会议主办方的要求，本次大会上各位专家均需要提出各自的“区块链数学猜想”。很多猜想都很有意思，例如中科院袁勇提出的“小范围共识易受攻击”与“两军难题”。我们从产业端来看，这些猜想虽然比较形而上，但不失为良好的思维训练。
当我们看到业界有基于实践的新方法时，非常激动。例如贾可先生提出的“智能合约两高特点”：“限制太多·高难度”、“可由内部触发·高风险”。通过对实验的观察，他们发现，区块链可以完全抛弃“智能合约”，“区块链应用所需功能和实现逻辑，可由外部触发”，“自证存储机制”等现象。基于这些方法，可以开发无中心服务器的复杂互联网应用。
还有南京大学丁晓蔚副教授在金融衍生品上的新尝试，也让我们看到了区块链让金融数学重构的新力量。
在这次大会上，我们清晰地看到，基础理论是产业发展的基石，产业发展更是基础理论的意义。吃货大陆正在将餐饮产业变得更美好，这正是区块链数学这样的基础理论最好的成果。