Latest Models Products & Tools Research Chips & Infrastructure Business Policy & Safety Guides About Contact Editorial Policy Privacy Policy Terms of Use Disclaimer

Home / Tags / Lean

Lean

1 stories tagged “Lean”.

OpenAI Posts 372 AI-Generated Math Proofs on GitHub, Challenging Academia to Catch Up

OpenAI posted 372 AI math proofs on GitHub, using Lean checks to ease review and spark debate on originality a…

Oct 19, 2026Research

Guides

OpenAI's Ted Sanders offers a simple heuristic for selecting the most appropriate generative pre-trained transformer model. Oct 27
Minimum required pacing: align it fully before training the next one Oct 12
Core Principles of Large Language Models Oct 09
The Human Mind Wasn’t Built for AI Oct 05
LLMjacking can quickly drive up your business’s AI costs – here’s how to prevent it Sep 30

Popular tags

AI safety AI agents Anthropic OpenAI AI enterprise AI Meta Claude AI infrastructure reinforcement learning Nvidia IPO TechCrunch Disrupt 2026 AI policy AI Benchmarks AI regulation Google data centers AI governance Meta Muse

Topics

Browse all topics

N884 AI Brief

News and analysis for information only.

Categories

Latest Models Products & Tools Research Chips & Infrastructure Business Policy & Safety Guides

Site

Topics Tags About Contact Editorial Policy Privacy Policy Terms of Use Disclaimer

© 2026 N884 AI Brief