Pythagoras-Prover-4B-GGUF model info | Hugging Bay

Q: What is this model?

tinyopsec/Pythagoras-Prover-4B-GGUF is an open-weights language model for text generation published by tinyopsec, added to Hugging Bay Sep 22, 2026. Model from Hugging Face for text generation: tinyopsec/Pythagoras-Prover-4B-GGUF · llama cpp

Q: Can I use it commercially?

It is released under the apache-2.0 license. Commercial use is allowed. Permissive open license: commercial use, modification, and redistribution are permitted.

Q: How big is it?

tinyopsec/Pythagoras-Prover-4B-GGUF has 4B parameters. Hosted here: 1 file, 2.72 GB. Full repo upstream: 37.2 GB. The recommended download, model_q4_k_m.gguf (Q4_K_M), is 2.72 GB.

Q: What can I download here?

Hosted here: 1 file, 2.72 GB. Full repo upstream: 37.2 GB. The original release is at https://huggingface.co/tinyopsec/Pythagoras-Prover-4B-GGUF.

Q: File pattern scans

Automated file-pattern scans flagged nothing; not a safety guarantee. 1 hosted file carries a published SHA-256 you can re-hash. The machine-readable verdict is at /api/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf/safety on Hugging Bay.

Q: Will tinyopsec/Pythagoras-Prover-4B-GGUF run on my computer?

We can’t check the fit; we don’t know your machine. We don’t have your machine’s specs, so no check ran and no verdict is shown. Answer two quick questions and we’ll estimate, from the memory you tell us, whether it fits your machine. Or skip it; you can still download; fit isn’t checked.

tinyopsec

Pythagoras Prover 4B

Chat

This receipt records checks for this exact file; it does not prove safety or that it will run on your device. Read the receipt

Model details

text generationLicense: apache-2.0SHA-256 recorded for 11 of 13 filesGGUF

Can I run it?View as JSON →

Quick answer: compatibility and sources

Can I run Pythagoras-Prover-4B-GGUF on my computer?

It depends on your memory, processor, file format and runtime. A download is not confirmed by the current file evidence; inspect the file record before trying it. A file-size fit is an estimate, not a successful run or speed promise. Read the license before use.

Pythagoras-Prover-4B-GGUF is an open-weights language model for text generation. Model weights are learned parameters; a runtime loads them. A hosted file is an individual file Hugging Bay can serve. SHA-256 identifies exact file bytes. The availability date above applies to this file record, not the upstream metadata update date.

As of the recorded file availability check on 2026-10-29.

Recorded SHA-256 for model_q4_k_m.gguf: 2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023. Exact file evidence · Machine-readable source facts · Run evidence and any recorded receipts. A checksum fingerprints only the named file bytes; it does not prove safety, quality, a complete multi-file selection or a successful run.

Updated 2026-10-21 · Page-copy source revision 8871bab84e1cf80aea1686a944ec335078a6c036 · Source files: apps/web/lib/model-page-template.mjs, apps/web/lib/model-page-v3.mjs, apps/web/lib/aeo-page.mjs · Full revision record

Model metadata: As of 2026-09-22 at the model source. Popularity counters are source-reported, not measured by Hugging Bay. Availability checked 2026-10-29.

Key facts

Catalog record: Summarizes upstream metadata; it is not itself a download or run receipt.
File evidence: Lists exact filenames, availability and any recorded SHA-256 for individual files.
Run evidence: Reports measured results only when a receipt exists for named file bytes and a setup; otherwise unmeasured.
Checksum scope: SHA-256 fingerprints one file’s bytes; it does not prove safety, quality or a multi-file bundle.

Evidence you can inspect (plain text)

This page’s quick answer names the file record for hf-model-tinyopsec-pythagoras-prover-4b-gguf.
Open /artifact/hf-model-tinyopsec-pythagoras-prover-4b-gguf/files for this exact filenames, availability and any recorded SHA-256.
Open /evidence/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf for run-readiness evidence tied to that record; absent receipts stay unmeasured.
Open /api/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf/card.md for machine-readable source facts (not a runtime test).
A matching checksum on this page fingerprints only the named bytes shown in file evidence.

Unmeasured states are stated explicitly; this page does not invent run scores or compatibility guarantees.

Which date applies to which fact

File availability check: 2026-10-29
Committed page-copy sources: 2026-10-21
Upstream model metadata: Dates on artifact records when shown; not implied by page-copy revision
Run receipts: Only on /evidence pages when recorded; otherwise unmeasured

Page-copy revision (Updated line above) identifies committed text sources, not upstream model edits or test outcomes.

Requirements and source record

Try browser chat with a small demo model (a separate model; device support is checked before loading).

tinyopsec/Pythagoras-Prover-4B-GGUF

Content controls: not assessed.

The catalog lists this model for having conversations. Catalog sources: license, cardMetadata.license, baseModel, tags, task, cardMetadata.pipelineTag.

Download availability is being checked.

Hashes recorded. Date not recorded.

File	大小	SHA-256	来源	下载
Weights
`model_q4_k_m.gguf`	2.72 GB	`2e2ef65b…66a16023` `2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023`	Download availability is being checked.	File metadata
`model_f16.gguf`	8.83 GB	`737c88e0…cb90e4f4` `737c88e003ad4bcdf8fe973a891b2ccf7bd5fd0d2965f3ca978e444dcb90e4f4`	Download availability is being checked.	File metadata
`model_q2_k.gguf`	1.8 GB	`3b3b3a3b…c8119f8c` `3b3b3a3b4872b257e6af381e3df8a196c60526c446ef232bcabb1999c8119f8c`	Download availability is being checked.	File metadata
`model_q3_k_l.gguf`	2.41 GB	`65c267ce…39d37e83` `65c267ce03bd73d9a8cae707c92b3fc00c9fdea2158f1cb66aaf5d2b39d37e83`	Download availability is being checked.	File metadata
`model_q3_k_m.gguf`	2.24 GB	`8784efec…f33d026b` `8784efec7e219d7cb43739705e193fe41176cf92d5f777c7708db872f33d026b`	Download availability is being checked.	File metadata
`model_q3_k_s.gguf`	2.05 GB	`eb286fa9…354a466c` `eb286fa9c3c51d4a78bcc2ad5918c41beb50992847e5e5a662a2c354354a466c`	Download availability is being checked.	File metadata
`model_q4_k_s.gguf`	2.6 GB	`278ad75c…bedc2b55` `278ad75c8a6257e0a2db565eca121302d1571a363997ec0c78bb3900bedc2b55`	Download availability is being checked.	File metadata
`model_q5_k_m.gguf`	3.16 GB	`a1ea3982…1a70d212` `a1ea39827dd8e36a7e1a947c7875b4694f838008e3e27ece19b8559f1a70d212`	Download availability is being checked.	File metadata
`model_q5_k_s.gguf`	3.09 GB	`3a212072…25c7461a` `3a212072dcd37f8b336cb31f33bd7e92a5f50c9348eb5b5980304e5f25c7461a`	Download availability is being checked.	File metadata
`model_q6_k.gguf`	3.63 GB	`da6a46f1…7034b86e` `da6a46f1ca54e43f79a6de7d98616a59d38e8f2bd41bfcdfd8dec1ca7034b86e`	Download availability is being checked.	File metadata
`model_q8_0.gguf`	4.69 GB	`ed128a9a…47bc04df` `ed128a9adae81f32238832184158bffe562f8ebb6a643129e13ffa5447bc04df`	Download availability is being checked.	File metadata
Docs
`.gitattributes`	2.1 KB	—	Download availability is being checked.	File metadata
`README.md`	2.57 KB	—	Download availability is being checked.	File metadata

检查下载文件

In the folder where you saved model_q4_k_m.gguf, run:

macOS

shasum -a 256 -- 'model_q4_k_m.gguf'

Linux

sha256sum -- 'model_q4_k_m.gguf'

Windows

Get-FileHash -LiteralPath 'model_q4_k_m.gguf' -Algorithm SHA256

Compare the result with the recorded SHA-256.