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

Making frontier cybersecurity capabilities available to defenders

Making frontier cybersecurity capabilities available to defenders

Gemini 3.1 Pro: A smarter model for your most complex tasks

3.1 Pro is designed for tasks where a simple answer isn’t enough.

Advancing independent research on AI alignment

OpenAI commits $7.5M to The Alignment Project to fund independent AI alignment research, strengthening global efforts to address AGI safety and security risks.

Introducing OpenAI for India

OpenAI for India expands AI access across the country—building local infrastructure, powering enterprises, and advancing workforce skills.

IBM and UC Berkeley Diagnose Why Enterprise Agents Fail Using IT-Bench and MAST

A new way to express yourself: Gemini can now create music

The Gemini app now features our most advanced music generation model Lyria 3, empowering anyone to make 30-second tracks using text or images.

Introducing EVMbench

OpenAI and Paradigm introduce EVMbench, a benchmark evaluating AI agents’ ability to detect, patch, and exploit high-severity smart contract vulnerabilities.

One-Shot Any Web App with Gradio's gr.HTML

Accelerating discovery in India through AI-powered science and education

Google DeepMind brings National Partnerships for AI initiative to India, scaling AI for science and education

Cohere Labs Launches Tiny Aya, Making Multilingual AI Accessible

Cohere Labs Launches Tiny Aya, Making Multilingual AI Accessible

Anthropic and Infosys collaborate to build AI agents for telecommunications and other regulated industries

Anthropic and Infosys collaborate to build AI agents for telecommunications and other regulated industries

Introducing Claude Sonnet 4.6

Introducing Claude Sonnet 4.6