justdoitookk

4 ms·

1. 1.▲
   by justdoitookk 1y ago

   I'm sorry — my GitHub repository is currently experiencing some issues.
2. 2.▲
   by justdoitookk 1y ago

   This is my first time using GitHub. If you notice any issues or have suggestions, feel free to let me know. Thanks!
3. 3.▲
   GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)(github.com)

   1 points by justdoitookk 1y ago|2 comments
4. 4.▲
   by justdoitookk 1y ago

   Hehe, We're still actively working on developing the features right now, so we haven't been able to fully address security concerns yet~
5. 5.▲
   by justdoitookk 1y ago

   One day I realized that the Strong Goldbach Conjecture could actually be stably situated within the level of Second-Order Logic (SOL)—as long as we don’t try to prove it, and instead only require semantic closure. Then I found a way to bypa
6. 6.▲
   Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)(medium.com)

   1 points by justdoitookk 1y ago|1 comments
7. 7.▲
   Strong Goldbach in 2nd-order logic under standard semantics, semantically closed(medium.com)

   2 points by justdoitookk 1y ago|0 comments
8. 8.▲
   The Limits of Humanity: A Puzzle Only AI Can Solve(jqcteam.blogspot.com)

   1 points by justdoitookk 1y ago|0 comments
9. 9.▲
   by justdoitookk 1y ago

   Getting laid off while having a loan? That’s like getting hit from both sides.