VibeMathed 追踪 AI 参与证明或证伪的数学问题
Abject_Response2855 · reddit · 2026-07-22
VibeMathed 是一个追踪 AI 模型参与证明或证伪数学问题的项目，覆盖 Jacobian conjecture 以及编号 Erdős 问题等条目。
每个条目都附有可核验来源，并标注验证级别，如 Lean 通过、专家审阅或站点确认；另外还用维基百科语言版本数量来给问题做“知名度”评分。
「研究」频道最新
- 研究者谈评测集透明度:组合性评测仍存数据污染隐患 — najoungkim · 2026-10-27
- 可解释性研究该分清形式与估计器：均值差转向不如直接梯度下降 — johnhewtt · 2026-10-27
- EMNLP 论文：让 LLM 换个问法，「42」变「3」但蝴蝶仍是帝王蝶 — radamihalcea · 2026-10-27
- Datology Curation Studio 线上深潜：少于 20% 算力匹配最强基线 — josh_wills · 2026-10-27
- KANLab 开源：浏览器里可视化玩转 KAN 网络 — Lukas Niehaus · 2026-10-27
- CMU 提出 LLM2Cert：LLM 生成证书，SMT/Lean 自动验证 — CarnegieMellonU · 2026-10-27