VibeMathed 追踪 AI 参与证明或证伪的数学问题
Abject_Response2855 · reddit · 2026-07-22
VibeMathed 是一个追踪 AI 模型参与证明或证伪数学问题的项目，覆盖 Jacobian conjecture 以及编号 Erdős 问题等条目。
每个条目都附有可核验来源，并标注验证级别，如 Lean 通过、专家审阅或站点确认；另外还用维基百科语言版本数量来给问题做“知名度”评分。
「研究」频道最新
- 蛋白语言模型仅靠单序列也能学到同源寡聚体接触 — anshulkundaje · 2026-07-22
- 研究发现：蛋白质语言模型随规模扩大涌现界面信号 — anshulkundaje · 2026-07-22
- LeCun 的 JEPA 路线迎来一篇世界模型论文 — nikola_mr64990 · 2026-07-22
- MIT 免费开放一批经典 AI 书籍和课程讲义 — ZabihullahAtal · 2026-07-22
- 一条蛋白语言模型研究分享指向序列训练的新发现 — anshulkundaje · 2026-07-22
- 播客探讨单细胞是否具备学习与细胞记忆能力 — arjunrajlab · 2026-07-22