Tagged: research

2 blogs

OpenAI's Astra Solved 10 Open Math Problems, With Lean Proofs

OpenAI's Astra Solved 10 Open Math Problems, With Lean Proofs

AlphaEvolve: A Step Towards Self-Evolving AI Agents

AlphaEvolve: A Step Towards Self-Evolving AI Agents