Publication date: 28 February 2026
Task: Implement a Gödel machine using either Metamath or Metamath Zero as the proof language. Provide a Nix flake which can create a new machine and either run a machine in the background or incrementally take one step at a time.
，详情可参考币安_币安注册_币安下载
FunctionGemma 仅提供 int8 版本（288 MB）——由于模型本身已经很小，这已经足够了。Gemma 3n E2B 则相反——仅提供 int4 版本，因为 int8 版本将占用约 6 GB 的空间。
Nexe Nexe is a command-line utility that compiles your Node.js application into a single executable file. Like Burrito, I have not played around with Nexe enough to get it working with my project but it should be way more straightforward than making Burrito work with Gleam.
This project also includes Open Sans, licensed under the SIL Open Font License 1.1.