项目展示 | 魔数师 · 数学云端SaaS平台
魔数师
数学云端SaaS平台
互联网用0和1的语言连接了程序与程序,做到了所见即所得;随身互联网(移动互联网)用字符、图片、视频的语言连接了人与人,并且还会给每个人推荐最相关的多媒体内容,做到了所荐即所得;技术革命现在还差最后一环:连接人与程序,人类如何自由地向程序表达自己的完整意图,让程序辅助创建出人类准确想要的事物,即做到所建即所得?
人类在未来的几年内便会进入Metaverses时代。届时世界上各个国家各个语种的人甚至包括半生命体的程序会在Metaverses里零距离交流,那么什么样的语言才能胜任Metaverses的交流需求?让我们从人类语言的角度来反推未来的大一统语言——元语言。
1
公司介绍
天下数学引擎科技(深圳)有限公司致力于用数学引擎技术让天下没有难做的数学,让数学解决天下的问题。天下数学引擎将开创中国第一个自主研发的完备数学引擎。以“无损无噪无延迟的通信”为核心优势,与世界另外两大数学引擎,Matlab(核心优势“矩阵数值计算”),Mathematica(核心优势“符号计算”)形成三足鼎立之势,主攻只有数学引擎才能实现的“面向目的”编程元语言,并以此优势大大降低元宇宙交流信息的门槛。元语言无障碍连接元宇宙里的所有元生物:人与AI。
2
技术介绍
数学引擎,高质量
可以像专业数学家一样,表达数学、推导数学、证明数学、检查数学、解释数学、组合数学、解构数学、把数学翻译成程序、总之 数学引擎就是一个专业数学家。
数学引擎,高效率
可“插拔”的脑外“内存”,延展人的大脑
1.高效通信压缩协议:不浪费时间在数学书写上
2.高效相空间语言:不浪费时间在数学打字上
3.高效算法:不浪费时间在运算上
4.半去中心化云储存云计算:不浪费时间在等待上
数学引擎,创新优势
双完备(图灵完备+ZFC完备):
一套语言同时具备数学与编程功能。懂数学即懂编程
创新“面向因果”编程范式:懂因果即懂编程
以“范畴论”作为编程语言:真正意义上的无代码编程。从0开始专门为数学设计的编程语言。
自动促成“心流”工作学习状态。
3
应用场景
谁会关心我们的研究?
科研从业者
教学教育者、受众
长尾工作者:游戏开发者、艺术工作者、独立工作者
在「全球AI文创大赛」微信公众号
发现更多「AI+文创」项目