#lean

2 posts

Oct 7, 2026 News

OpenAI AI Updates: October 7, 2026

openai mathematics lean research computer-use agents reinforcement-learning gpt-6 atlassian codex mcp enterprise

Sep 5, 2026 News

Anthropic AI Updates: September 5, 2026

anthropic claude formal-methods lean claude-code