▲ 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 3 weeks ago by eicker@lemmy.world to c/technology@lemmy.world 23 comments fedilink hide all child comments
[–] unpossum@sh.itjust.works 0 points 3 weeks ago (1 child) Nothing can disprove that to that crowd, I’m afraid. permalink fedilink source parent hideshow 2 child comments replies: [–] FauxLiving@lemmy.world 3 points 3 weeks ago They think the problem is AI, when it's actually capitalism and securities fraud. It's much simpler to fixate on the technology than to have to understand complex things like economics and history. permalink fedilink source parent
[–] FauxLiving@lemmy.world 3 points 3 weeks ago They think the problem is AI, when it's actually capitalism and securities fraud. It's much simpler to fixate on the technology than to have to understand complex things like economics and history. permalink fedilink source parent