HN Explorer

justdoitookk

↗ HN profile [ 50.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics) (github.com)
    1 points 2
  2. Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics) (medium.com)
    1 points 1
  3. Strong Goldbach in 2nd-order logic under standard semantics, semantically closed (medium.com)
    2 points 0
  4. The Limits of Humanity: A Puzzle Only AI Can Solve (jqcteam.blogspot.com)
    1 points 0
  5. 3 points 0