Models & research OpenAI October 6, 2026 · 12:00 UTC

Sharing AI progress in mathematics

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

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 ↗