Meta Platforms Inc.'s lavish multimillion-dollar budget for recruiting top AI talent may not guarantee success, despite their efforts to poach researchers from competitors like OpenAI.
The DeepSeek research team has expanded their evaluation framework with a new benchmark collection designed specifically for formal theorem proving assessment. This includes ProverBench, a collection of 325 formalized problems.