▲ 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
[–] Treczoks@lemmy.world 8 points 1 month ago The question is: are those real proofs, or just AI reasoning bugs again? permalink fedilink source