Comment by gsf_emergency_2

10 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)