Ммм челы рассказывают как потюнили 4b модельку теоремки доказывать QED-Nano: Teaching a Tiny Model to Prove Hard Theorems https://huggingface.co/spaces/lm-provers/qed-nano-blogpost
Ммм челы рассказывают как потюнили 4b модельку теоремки доказывать QED-Nano:…
Из этого канала
- #1297что за OpenClaw?
что за OpenClaw?
- #1298квен https://huggingface.co/Qwen/Qwen3.5-397B-A17B
квен https://huggingface.co/Qwen/Qwen3.5-397B-A17B
- #1299хотел сесть поработать но вспомнил что не я создал OpenClaw 🦞
хотел сесть поработать но вспомнил что не я создал OpenClaw 🦞
- #1295на прошлой неделе прикручивал lean в re-rl…
на прошлой неделе прикручивал lean в re-rl https://github.com/researchim-ai/re-rl для генережки данных, чтобы можно было генерить пары (состояние, тактика) для…
- #1294еще одни пошли - MiniMax M2.5 как и у всех - больше агенточного, больше рля (в…
еще одни пошли - MiniMax M2.5 как и у всех - больше агенточного, больше рля (в 2026 все хотят делать рл) 229B и как я понял 10A (экономично по сравнению с…