News for hackers. Stuff that matters.
Re:An OpenAI model has disproved a central conjecture in dis... by dvt on Wednesday May 20, 2026 @05:05PM (#48214118)
> Newton and Leibniz were "hand-waving"?

Yes, and it's pretty common knowledge that Calculus was (finally) formalized by Weierstrass in the early 19th century, having spent almost two centuries in mathematical limbo. Calculus was intuitive, solved a great class of problems, but its roots were very much (ironically) vibes-based.

This isn't unique to Newton or Leibniz, Euler did all kinds of "illegal" things (like playing with divergent series, treating differentials as actual quantities, etc.) which worked out and solved problems, but were also not formalized until much later.

Re:An OpenAI model has disproved a central conjecture in dis... by jfyi on Wednesday May 20, 2026 @05:14PM (#48214218)
I think that I just take issue with the term "hand-waving" as equated to intuition. Yeah it lacked formal rigor, but they had a solid model that applied in detail to the real world. That doesn't come from just saying, "oh well, it'll work itself out". I guess if you want to call that "hand-wavy" we'll just have to disagree.
Re:An OpenAI model has disproved a central conjecture in dis... by anthk on Thursday May 21, 2026 @02:28AM (#48218666)
Euclid disproves every bullshit posted by LL Mediocres unable to understand that before Calculus there were proto-calculus based ideas such as Zeno's paradoxes and some writtings from Archimede which pretty much are Calculus 0.9.

Americans and British geeks/nerds are blinded down by Newton unable to realize that there was tons of previous work since the Greek and in Middle Ages, where the British love to depict as brutish people with no culture at all.

And the case is that they weren't dumb at all and without Euclid and Archimede there woudn't be any Calculus.

https://en.wikipedia.org/wiki/Euclid%27s_Elements

https://en.wikipedia.org/wiki/Method_of_exhaustion

Re:An OpenAI model has disproved a central conjecture in dis... by anthk on Wednesday May 20, 2026 @06:10PM (#48214919)
Euclid tells me otherwise. Rules, no art, no bullshit. Rules. Humanities people somehow never get it. Is not about arithmetics.

Vibe-what? Vibe-bullshit, maybe; cathedrals in Europe and such weren't built by magic. Ditto with sailing and the like. Tons of matematics and geometry there, and tons of damn axioms before even the US existed.

Heck, even the Book of The Games from Alphonse X "The Wise" has both a compendia of game rules and even this https://en.wikipedia.org/wiki/Astronomical_chess where OFC being able on geometry was mandatory at least to design the boards.

On Euclid:

https://en.wikipedia.org/wiki/Euclid%27s_Elements

PD: Geometry has tons of grounds for calculus. Guess why.