数学家Buzzard探讨AI与数学边界
数学家Buzzard分享对AI与数学关系的深刻见解，预测AI在数学探索中的极限与人类后续角色。
#形式化数学
共 2 条 · 7 天 0 条 · 30 天 0 条
信息流里打上「形式化数学」标签的资讯、产品与论文，按刊登时间排，新的在上。
10月2日
6月16日
论文11:18
符号非形式化：流畅、高效、多语言的数学转换这篇论文介绍了一个叫Informath的项目，能把数学证明自动转成自然语言，支持多语言和多个证明系统（Agda、Lean、Rocq），对形式化验证和AI可解释性很有用。