An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
Brad Lightcap, OpenAI’s longtime COO, is leaving to ‘start something new’
