Crucible：Mamba2+Z3 验证的神经符号开源架构，Kaggle T4 可训练
JustRoccat · reddit · 2026-09-11
开发者 JustRoccat 开源了实验性项目 Crucible：一套完全绕开 Transformer 的神经符号（neurosymbolic）技术栈，核心组件包括：
- Mamba/Mamba2 作为序列建模主干
- Z3 求解器构成显式符号验证回路：模型输出规格（specs）、验证、失败即重试
- 验证通过的模式存入超维计算（HDC）联想记忆
- JEPA 负责隐空间概念预测
- 微型 LoRA 处理测试时自适应（test-time adaptation）
整个流水线经过配置，可在免费的 Kaggle T4 会话内完成训练与适配。项目仍是早期原型，作者正用它训练一个模型，完成后会另行发布。
「研究」频道最新
- NVIDIA Nemotron 3 Embed 8B 登顶 Perplexity 新基准 Q2D-Web — JFPuget · 2026-09-11
- 第三方基准称 GPT-6 Astra 抗体成药性预测领先各家前沿模型 — gdb · 2026-09-11
- 451 人真人对照实验：LLM 用户模拟器全是「好人」，虚高 Agent 成绩 — niloofar_mire · 2026-09-11
- 讨论：RL 训练在不同规模下会切换行为模式 — 1a3orn · 2026-09-11
- 研究者力推 AI 辅助形式化证明，称可支撑大规模数学协作 — snikolov · 2026-09-11
- 细节：K3 在视觉编码器上与上代有大差异 — stochasticchasm · 2026-09-11