实体
Wolfram Language
Wolfram Language
PulseAugur coverage of Wolfram Language — every cluster mentioning Wolfram Language across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
关系
时间线
- 2026-06-16 product_launch Wolfram Research launched Version 15 of Wolfram Language and Mathematica, featuring AI capabilities and symbolic music. 来源
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
计算法框架正式化人工智能治理规则
一篇新论文提出使用 Wolfram Language 来实现“计算法”，以治理人工智能系统，即使是那些具有不透明推理能力的系统。该方法将法律义务、许可和禁止形式化为可执行代码。使用 GPT-4 进行的测试揭示了将英文法律声明翻译成这种形式主义的挑战，包括幻觉函数和不正确的规范编码。一个 AI 警卫犬的案例研究展示了如何将形式化规则集成到代理的操作代码中，为其行为提供可审计的理由。
-
Wolfram发布15版，包含AI数学助手和符号音乐
Wolfram Research发布了其Wolfram Language和Mathematica的15版，集成了新的AI功能。此次更新引入了一个旨在帮助用户完成数学任务的AI助手。此外，该版本还推出了“符号音乐”，允许将方程转化为音乐作品。