BriefGPT.xyz
Ask
alpha
关键词
mathematical tasks
搜索结果 - 1
将 GPT-4 应用于未发表的正式语言的实验结果
使用最新系统 GPT-4，完善的自然语言规范指定先前未发布的形式系统的几项任务，如说明函数和类型定义，证明简单定理和验证用户提供的证明，并显示出域知识，发明了有用的新语法和语义，以及表现出泛化和推理能力，因此答案似乎是：是。
PDF
a year ago
Prev
Next