The AI Tea
AI at Work
OpenAI posts math proof work on GitHub
OpenAI reported new results on open math problems from an internal advanced AI system, and shared Lean proof write-ups plus research details on GitHub.
Source checked
OpenAI News
Source ↗Full Brief →