Slacker News Slacker News logo featuring a lazy sloth with a folded newspaper hat
  • top
  • new
  • show
  • ask
  • jobs
Library

Comment by jolt42

3 months ago

Didn't Kurt Godel prove there will always be gaps?

1 comment

jolt42

Reply

gsf_emergency_2  3 months ago

Wrt the collection of all axiom systems, the gaps would be almost imperceptible,akin to those between the rationals?

(Note that DeepSeek got "good enough" with "only" FP8)

Slacker News

Product

  • API Reference
  • Hacker News RSS
  • Source on GitHub

Community

  • Support Ukraine
  • Equal Justice Initiative
  • GiveWell Charities