|
|
实现人工通用智能的关键必由之路 -- 基于强相关逻辑的形式理论自动定理发现 (2023/11/02,... 数理逻辑与哲学逻辑 · 公众号 · · 4 月前 · |
|
|
智能:具体智能和抽象智能,个体智能和群体智能,以及人工智能之天花板 数理逻辑与哲学逻辑 · 公众号 · · 4 月前 · |
|
|
揭露伪专家,批驳错误审稿意见 - 兼论AI超越HI问题 数理逻辑与哲学逻辑 · 公众号 · · 4 月前 · |
|
|
基于强相关逻辑的自动定理发现 数理逻辑与哲学逻辑 · 公众号 · · 4 月前 · |
|
|
对 Sam Altman 关于 AGI 及 GPT-10 之预言的批评 数理逻辑与哲学逻辑 · 公众号 · · 4 月前 · |
|
|
丢清华脸的清华讲席教授(再续) 数理逻辑与哲学逻辑 · 公众号 · · 4 月前 · |
|
|
丢清华脸的清华讲席教授 数理逻辑与哲学逻辑 · 公众号 · · 4 月前 · |
|
|
26岁的浙大博导,说明了什么? 数理逻辑与哲学逻辑 · 公众号 · · 4 月前 · |
|
|
教授答疑房间(Professor Consultation Room) (1) - 问题设定 数理逻辑与哲学逻辑 · 公众号 · · 4 月前 · |