Wolfram 科研
长期引领计算范式的思想先锋
在为全球智识领导者提供实用工具的同时,我们也积极推进自己的研究议程——近四十年来,Wolfram 不断在技术和基础科学领域实现突破性进展。
Stephen Wolfram 关于研究动态的文章Wolfram 当前研究项目
计算语言设计
我们长期致力的宏大项目:创建万物的统一计算表征体系
算法创新
我们不断发明原创算法,以及用于自动化算法选择和调优的元算法
计算型 X
构建技术与生态系统,让计算范式赋能每一个学科领域
量子科学与技术
为量子计算创造符号化框架,携手业界与学界领军机构共同探索
AI
数十年深耕 AI 科学与应用——从符号 AI 到生成式 AI 工具链
自动化代码辅助
为 AI 构建并测试代码项目打造全新框架
区块链技术
以计算智能驱动去中心化系统的创新
多重计算
基于物理学与数学的全新基础理念,重新定义并行概念
数学形式化
开辟数学形式化的新路径,让数学真正可计算
自动化信息呈现
持续发明用于视觉信息呈现的新算法和启发式方法
用户体验革新
突破交互式计算的边界——始于我们在1987年首创的计算笔记本
符号编译
运用最新理论方法,推动高级编译技术迈向新高度
研究会议直播回放
自 2017 年起通过直播工作会议,开创开放科学与开放软件设计的先河
“我们开发 Wolfram 语言,初衷是为了满足自己的需求。但令我始料未及的是,它竟能帮助我们发现如此多的科学奥秘,发明如此多的技术。更令人欣喜的是全球无数用户用它所成就的一切。” ——Stephen Wolfram
部分历史研究成果
- 二维输入语法(1996)
- 自动暗黑模式(2025)
- 云端笔记本(2014)
- 可计算文档(1996)
- 计算知识库(2009)
- 可控精度计算(1988)
- 图作为语言输入(2010)
- 图像作为语言元素(2008)
- 即时 API(2014)
- 集成自由格式输入(2010)
- 集成并行计算(2008)
- 字母形式的数学运算符(1996)
- 多路系统(2002)
- 自然数学理解(2009)
- 笔记本(1987)
- 基于模式的编程(1987)
- 分段微积分(2004)
- 符号式图形(1988)
- 符号式数值解(1991)
- 符号式概率计算(2010)
- 符号式编程(1987)
- 符号式真实世界实体(2007)
- 符号式系统工程(2012)
- 符号式用户界面(2007)
- 超越根(2008)
- ……以及更多成果
Wolfram 语言的每个新版本都基于数十项研究创新。
研究导向型教育项目
Wolfram Summer School
与 Stephen Wolfram 及其团队合作开展原创研究,众多创新项目已孵化出公司、产品、算法等丰硕成果
Wolfram Emerging Leaders Program
为学生提供参与协作项目的机会,助力他们开启职业生涯
Wolfram High School Summer Research Program
为积极进取的高中生提供基于项目的科研机会,帮助他们突破计算思维与人工智能的前沿边界
Wolfram Science Winter School
与 Wolfram Institute 学者共同开展基础研究项目的定义与执行
Wolfram Middle School Summer Camp
以互动工作坊形式开展,引领初中女生探索前沿编程、计算思维与创新技术
Computational Adventures
STEM 学习服务,带领探险者遨游计算思维、编程与应用计算的奇妙世界
Wolfram Institute——科学计算基础研究院
Wolfram Institute 是一家非营利研究机构,致力于探索计算宇宙,开辟基础科学研究的新路径。