#Busy Beaver

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

Gemini 1 Google DeepMind 1 Lean 1 智能体 1

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

10月20日

论文 Agent 与开发者精选01:52

Google DeepMind 用 Gemini 智能体发现并验证 Busy Beaver 新加速规则

DeepMind 让 Gemini 智能体自己挑数学问题做发现，11 台 BB(6) 图灵机的规则还过了 Lean 证明，论文可读性很高。

#Google DeepMind #Gemini #Lean #智能体

elvis@omarsar0原文