AI

Our First Proof submissions

We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.

GGML and llama.cpp join HF to ensure the long-term progress of Local AI

Train AI models with Unsloth and Hugging Face Jobs for FREE