▲ 14 ▼ OpenAI Says Astra Solved 10 Open Math Problems With Lean Proofs: The proof files are public, but the new model is still private. (www.implicator.ai) submitted 1 month ago by eicker@lemmy.world to c/technology@lemmy.world 23 comments fedilink hide all child comments
[–] frongt@lemmy.zip 16 points 1 month ago Ok so? Do the proofs hold up or not? permalink fedilink source