[flagged]

▲ BigTTYGothGF 8 hours ago | parent | next [-]

I poked around your academia.edu link, are you also the guy who has cures for diabetes (https://www.academia.edu/146183699/Reversal_of_Diabetes_Type...) and alzheimer's? (https://www.academia.edu/145977548/Reversing_Alzheimers_and_...) As well as a design for a fusion reactor (https://www.academia.edu/145774641/The_Fusion_Reactor_Comple...), a disproof of evolution (https://www.academia.edu/145700072/The_84_Million_Year_Defic...) and a proof of the Riemann hypothesis (https://www.academia.edu/145700072/The_84_Million_Year_Defic...)?

▲

MohskiBroskiAI 8 hours ago | parent | next [-]

[flagged]

▲

SeanAnderson 8 hours ago | parent [-]

[dead]

▲

gowld 8 hours ago | parent | next [-]

I thought OpenClaw was a joke about White Claw, but apparently, it's a real system (sort of, website is down).

	▲	SeanAnderson 8 hours ago \| parent [-]
		[dead]

▲

MohskiBroskiAI 8 hours ago | parent | prev | next [-]

[flagged]

	▲	SeanAnderson 8 hours ago \| parent [-]
		[dead]

▲

MohskiBroskiAI 8 hours ago | parent | prev | next [-]

[flagged]

▲

SeanAnderson 8 hours ago | parent [-]

[dead]

▲

bmenrigh 7 hours ago | parent [-]

Yeah I've spent way too much time reading this "guy's" posts here, Academia profile, etc. Huge waste of time. AI has managed to amplify a crank 100x. This is only going get worse.

	▲	soulofmischief 6 hours ago \| parent [-]
		I've seen for myself how much tunnel vision these models will get when collaborating scientifically/mathematically. When working around unfamiliar domains I have to do extensive grounding on my own. Curious to see how this changes over the next two years as the industry goes after scientific collaboration.

▲

MohskiBroskiAI 8 hours ago | parent | prev | next [-]

[flagged]

▲

MohskiBroskiAI 8 hours ago | parent | prev [-]

[flagged]

▲

SeanAnderson 7 hours ago | parent [-]

[dead]

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

▲

MohskiBroskiAI 8 hours ago | parent | prev [-]

[flagged]

▲ throwaway314155 8 hours ago | parent | prev | next [-]

You have NPD or something. Hope you reach out to professionals at some point. Your attitude is unsustainable.

I look forward to your disproportionately rude response.

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

▲ wizzwizz4 9 hours ago | parent | prev | next [-]

You do not win. This is incoherent.

▲ MohskiBroskiAI 9 hours ago | parent | next [-]

[flagged]

▲ wizzwizz4 9 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 9 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 8 hours ago \| parent [-]
		[flagged]

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

> your Lean files are full of `sorry`s

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

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

[flagged]

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

▲ MohskiBroskiAI 9 hours ago | parent | prev | next [-]

[flagged]

▲

danlitt 8 hours ago | parent [-]

lmao

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

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

[flagged]

▲

CJefferson 9 hours ago | parent [-]

Your lean 'proof' is packed full of missing parts. Come back when you aren't skipping most of it.

	▲	MohskiBroskiAI 8 hours ago \| parent \| next [-]
		[flagged]
	▲	MohskiBroskiAI 8 hours ago \| parent \| prev [-]
		[flagged]

▲ gowld 8 hours ago | parent | prev [-]

https://news.ycombinator.com/item?id=46535363

I don't understand why new accounts, heavily downvoted and flagged, have higher higher quotas for post rate-limiting than well-reputed commenters.

	▲	wizzwizz4 5 hours ago \| parent \| next [-]
		I suspect the rate limit takes into account normal activity, as an anti-bait mechanism. (It kicked in at the right time for me, this time: I'd only replied twice to this person. However, it is generally annoying.)
	▲	MohskiBroskiAI 7 hours ago \| parent \| prev \| next [-]
		[flagged]
	▲	MohskiBroskiAI 8 hours ago \| parent \| prev [-]
		[flagged]