justdoitookk

Thurs Jul 10, 2025 1:22am PST

Karma:

3

about

student

submitted

Sat Aug 2, 2025 7:37am PST

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)

@justdoitookk

2

2

1

Wed Jul 30, 2025 4:00pm PST

Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)

@justdoitookk

1

1

1

Wed Jul 30, 2025 1:23am PST

Strong Goldbach in 2nd-order logic under standard semantics, semantically closed

@justdoitookk

2

Mon Jul 28, 2025 7:00am PST

The Limits of Humanity: A Puzzle Only AI Can Solve

@justdoitookk

1