技术栈
符号计算
AmyLin_2001
3 天前
人工智能
·
单元测试
·
openai
·
数学推理
·
符号计算
·
ai推理
·
反例生成
AI 如何做出数学发现【5】- AI 数学证明怎样做单元测试：从“看起来顺”到可否证工作流
系列：AI 如何做出数学发现（第 5 篇） 深度解读 OpenAI公开的GPT推演手稿《How the Ideas Came Together》，从失败路线、关键不变量与可复现实验出发，拆解 AI 参与数学发现的真实过程。涵盖球堆积、编码理论、复杂性、量子信息与极值组合，并严格区分发现笔记、正式证明、数值验证和形式化检查。 关键词：数学证明验证、AI 推理、单元测试、反例生成、符号计算、形式化证明
起个破名想半天了
1 年前
python
·
sympy
·
符号计算
详解Sympy:符号计算利器
Sympy是一个专注于符号数学计算的数学工具，使得用户可以轻松地进行复杂的符号运算，如求解方程、求导数、积分、级数展开、矩阵运算等。其中比较流行的深度学习框架pytorch的用到了Sympy,主要用于将模型的计算图转换为符号化表达式，以便进行分析和优化。
我是有底线的