项目展示 ｜ 魔数师 · 数学云端SaaS平台

魔数师

数学云端SaaS平台

互联网用0和1的语言连接了程序与程序，做到了所见即所得；随身互联网（移动互联网）用字符、图片、视频的语言连接了人与人，并且还会给每个人推荐最相关的多媒体内容，做到了所荐即所得；技术革命现在还差最后一环：连接人与程序，人类如何自由地向程序表达自己的完整意图，让程序辅助创建出人类准确想要的事物，即做到所建即所得？

人类在未来的几年内便会进入Metaverses时代。届时世界上各个国家各个语种的人甚至包括半生命体的程序会在Metaverses里零距离交流，那么什么样的语言才能胜任Metaverses的交流需求？让我们从人类语言的角度来反推未来的大一统语言——元语言。

1

 公司介绍 

天下数学引擎科技（深圳）有限公司致力于用数学引擎技术让天下没有难做的数学，让数学解决天下的问题。天下数学引擎将开创中国第一个自主研发的完备数学引擎。以“无损无噪无延迟的通信”为核心优势，与世界另外两大数学引擎，Matlab（核心优势“矩阵数值计算”），Mathematica（核心优势“符号计算”）形成三足鼎立之势，主攻只有数学引擎才能实现的“面向目的”编程元语言，并以此优势大大降低元宇宙交流信息的门槛。元语言无障碍连接元宇宙里的所有元生物：人与AI。

2

 技术介绍 

数学引擎，高质量

可以像专业数学家一样，表达数学、推导数学、证明数学、检查数学、解释数学、组合数学、解构数学、把数学翻译成程序、总之 数学引擎就是一个专业数学家。

数学引擎，高效率

可“插拔”的脑外“内存”，延展人的大脑

1.高效通信压缩协议：不浪费时间在数学书写上

2.高效相空间语言：不浪费时间在数学打字上

3.高效算法：不浪费时间在运算上

4.半去中心化云储存云计算：不浪费时间在等待上

数学引擎，创新优势

双完备（图灵完备+ZFC完备）：

一套语言同时具备数学与编程功能。懂数学即懂编程

创新“面向因果”编程范式：懂因果即懂编程

以“范畴论”作为编程语言：真正意义上的无代码编程。从0开始专门为数学设计的编程语言。

自动促成“心流”工作学习状态。

3

应用场景

谁会关心我们的研究？

科研从业者

教学教育者、受众

长尾工作者：游戏开发者、艺术工作者、独立工作者

在「全球AI文创大赛」微信公众号

发现更多「AI+文创」项目