#自动定理证明

共 3 条 · 7 天 1 条 · 30 天 2 条

Aristotle 1 Harmonic 1 mathlib 1 SMT求解 1 形式化证明 1 芯片设计 1 证明论 1 逻辑推理 1

信息流里打上「自动定理证明」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月28日

产品 Agent 与开发者10:37

Robinhood CEO 创办的 Harmonic 将 AI 数学系统 Aristotle 拓展至芯片设计

Robinhood CEO 开的 Harmonic，把拿下数学奥赛水平的定理证明系统 Aristotle 用到芯片设计验证上，思路挺有意思。

#Harmonic #Aristotle #芯片设计 #自动定理证明

Tech in Asia@Naomi Li Gan原文

10月20日

用证明论分析 AI 生成的数学证明：机器证明压缩率仅 31%

OpenAI 那些形式化证明被拿来用证明论量化分析，AI 写的证明比人类长得多，31% 对 73% 这组数字很直观。

#形式化证明 #mathlib #证明论 #自动定理证明

arXiv: OpenAI@Safal Raman Aryal原文

9月11日

论文 Agent 与开发者精选09:22

一种结合非地面子句学习的SMT求解扩展方法

这篇论文提出了一个在SMT求解中结合非地面子句学习的创新方法，可能提升求解效率，对研究逻辑推理和自动定理证明的工程师有参考价值。

#SMT求解 #逻辑推理 #自动定理证明

arXiv cs.AI@Yasmine Briefs, Christoph Weidenbach原文