Models & research OpenAI February 20, 2026 · 14:30 UTC

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.

Excerpt supplied by the publisher’s feed

Read the original article at OpenAI

Models & research Hugging Face Oct 7, 2026

Multimodal open d1 decision models for the edge

Read brief Original at Hugging Face ↗

Models & research GitHub Copilot Changelog Oct 7, 2026

Purpose-built model for leaked secret detection

Secret protection should keep pace with the way you build software, whether you write code yourself or work with an AI agent. With our new purpose-built model, we’re bringing context-aware… The post Purpose-built model for leaked secret detection appeared first on The GitHub Blog.

Read brief Original at GitHub Copilot Changelog ↗