3 ms·

You do not win. This is incoherent.

• MohskiBroskiAI 9mo ago
  [flagged]
  • wizzwizz4 9mo ago
    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.
    • MohskiBroskiAI 9mo ago
      [flagged]
      • zozbot234 9mo ago
        good bot
    • bmenrigh 9mo ago
      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 9mo ago
        [flagged]
    • gowld 9mo ago
      > your Lean files are full of `sorry`s You meant this literally, but this such a beautiful insult.
• MohskiBroskiAI 9mo ago
  [flagged]
  • CJefferson 9mo ago
    Your lean 'proof' is packed full of missing parts. Come back when you aren't skipping most of it.
    • MohskiBroskiAI 9mo ago
      [flagged]
    • MohskiBroskiAI 9mo ago
      [flagged]
• MohskiBroskiAI 9mo ago
  [flagged]
  • danlitt 9mo ago
    lmao
    • MohskiBroskiAI 9mo ago
      [flagged]