实体
Wolfram Language
Wolfram Language
PulseAugur coverage of Wolfram Language — every cluster mentioning Wolfram Language across labs, papers, and developer communities, ranked by signal.
总计 · 30天
3
90 天内 3
发布 · 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 页 · 共 3 条
-
《福布斯》称，AI产品必须使用计算器进行数学运算，而不仅仅是LLM
《福布斯》的一篇文章强调了生成式AI的文本预测能力与确定性计算之间的关键区别。作者Mateusz Mucha强调，LLM并非为精确计算而设计，依赖它们进行数值输出的产品将冒用户信任的风险。Mucha提倡分工合作，让LLM处理语言任务，并将数学查询路由到专门的计算引擎，并引用了Omni Calculator Builder和Claude与Wolfram Language的集成等例子。ORCA Benchmark的研究表明，LLM在数学推…
-
计算法框架正式化人工智能治理规则
一篇新论文提出使用 Wolfram Language 来实现“计算法”，以治理人工智能系统，即使是那些具有不透明推理能力的系统。该方法将法律义务、许可和禁止形式化为可执行代码。使用 GPT-4 进行的测试揭示了将英文法律声明翻译成这种形式主义的挑战，包括幻觉函数和不正确的规范编码。一个 AI 警卫犬的案例研究展示了如何将形式化规则集成到代理的操作代码中，为其行为提供可审计的理由。
-
Wolfram发布15版，包含AI数学助手和符号音乐
Wolfram Research发布了其Wolfram Language和Mathematica的15版，集成了新的AI功能。此次更新引入了一个旨在帮助用户完成数学任务的AI助手。此外，该版本还推出了“符号音乐”，允许将方程转化为音乐作品。