AI proves Medvedev logic is undecidable

 (arxiv.org)

3 points | by carra 3 hours ago ago

No comments yet.