查看原文
其他

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

全球AI文创大赛 全球AI文创大赛 2023-07-23


魔数师

数学云端SaaS平台











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


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


1

 公司介绍 

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



2

 技术介绍 

数学引擎,高质量


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

数学引擎,高效率


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

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

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

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

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

数学引擎,创新优势


双完备(图灵完备+ZFC完备):

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

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

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

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



3

应用场景

谁会关心我们的研究?

科研从业者

教学教育者、受众

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


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

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

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存