热度排名 #1989
用机器学习寻找新数学结构|李圭焕报告
Kyu-Hwan Lee | Discovering New Mathematical Structures with Machine Learning
留意机器处理的是哪些可计算的数学对象,以及从数据得到规律之后,研究者怎样把它写成能检验或证明的命题。
Harvard CMSA · 1 串讨论 · 热度 1.418
讨论出处
- Hacker News · 原讨论 ↗2024-11-08 · 帖子分数 1
热度排名 #1989
Kyu-Hwan Lee | Discovering New Mathematical Structures with Machine Learning
留意机器处理的是哪些可计算的数学对象,以及从数据得到规律之后,研究者怎样把它写成能检验或证明的命题。
Harvard CMSA · 1 串讨论 · 热度 1.418