Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by justdoitookk
GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)
1 points
justdoitookk
2025-08-02T07:37:00Z
github.com
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
1 points
justdoitookk
2025-07-30T16:00:29Z
medium.com
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
2 points
justdoitookk
2025-07-30T01:23:07Z
medium.com
The Limits of Humanity: A Puzzle Only AI Can Solve
1 points
justdoitookk
2025-07-28T07:00:15Z
jqcteam.blogspot.com
3 points
justdoitookk
2025-07-22T12:10:54Z
news.ycombinator.com