Re:Ten advances in mathematics and theoretical computer science
by simianwords on Saturday August 01, 2026 @05:08PM
(#49138521)
do you think you are clever for being skeptical about LLMs if OpenAI comes up with a correct proof of Reimann's hypothesis? "but you shouldn't trust OpenAI because something something marketing"
i would classify you as a flat-earther if that happens.
Re:Ten advances in mathematics and theoretical computer science
by mathisfun123 on Saturday August 01, 2026 @06:44PM
(#49139266)
> do you think you are clever for being skeptical about LLMs
brother like 3 people have pointed out what they're skeptcal of is cost not LLMs - at this point you're willfully misconstruing what people are saying to you just to get a kick out of repeating your same tired strawman.
Re:Ten advances in mathematics and theoretical computer science
by simianwords on Sunday August 02, 2026 @01:59AM
(#49141549)
Brother I already conceded that money is somewhat important but it is missing forest for the trees.
If OpenAI solved Reimanns hypothesis and the first comment is says something about lack of transparency and marketing, i would say it’s ignorant.
Re:Ten advances in mathematics and theoretical computer science
by defrost on Sunday August 02, 2026 @02:06AM
(#49141579)
To "solve it" would require either a single counter example disproving the claim, or a proof that the conjecture about the Riemann zeta function is true.
If OpenAI claimed the conjecture to be true but provided no details about the proof then the first comment should absolutely be about lack of transparency.
Re:Ten advances in mathematics and theoretical computer science
by simianwords on Sunday August 02, 2026 @04:02AM
(#49142152)
> no details about the proof
do you really imagine a scenario where OpenAI would claim to solve it and not give details about the proof? how is this even possible? why would anyone believe them?
Company X does not make money from proving theorems but does make money from selling you a service which supposedly proves theorems. Company X then proves some theorems and explicitly calls out they were very cheap to prove using its service.
And you think you're actually clever for taking these facts at face value? Interesting.