[flagged]

▲ wizzwizz4 6 hours ago | parent [-]

I understand the different domains quite well. No resolution of P≟NP should involve km/s, density, or "Spectral Gap Magnitude". This is the same rubbish ChatGPT always produces when you spend a week enticing it to produce a revolutionary paper on something, and I know – without checking – that your Lean files are full of `sorry`s.

▲ bmenrigh 6 hours ago | parent | next [-]

You should look. It’s almost more entertaining than the README.md

  theorem MilkyWay_Is_Collapsed : DeterminePhase MilkyWay = Phase.Collapsed := by
    -- ArkScalar MW ≈ 0.41 < 0.85
    -- We use native_decide or just admit the calculation since float/real is messy in proof.
    sorry -- Calculation verified by python script

	▲	MohskiBroskiAI 6 hours ago \| parent [-]
		[flagged]

▲ gowld 5 hours ago | parent | prev | next [-]

> your Lean files are full of `sorry`s

You meant this literally, but this such a beautiful insult.

▲ MohskiBroskiAI 6 hours ago | parent | prev [-]

[flagged]

	▲	zozbot234 6 hours ago \| parent [-]
		good bot