#Lean证明助手

共 1 条 · 7 天 0 条 · 30 天 0 条

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

5月25日

模型中美对照多源确认精选76°04:04

DeepMind神经符号方法解决9个Erdos问题，比OpenAI更严谨

DeepMind用神经符号方法严谨解决数学难题，做AI推理或形式验证的开发者值得关注——这比纯LLM方案更可靠，也暗示了未来研究的方向。

#神经符号 #DeepMind #Erdos问题 #Lean证明助手

Gary Marcus@GaryMarcus6 个信源在谈原文