@vitrupo I am not sure if being „closed“ is the crucial attribute. IMHO, the question that matters is if the „system“ is finite or infinite. Chess and Go are finite, but mathematics is infinite.
@vijayasankarv@dhinchcliffe OK, here is what you can do: Use your favorite spec-generating tool and ask AI to analyze your legacy code base. Let it "distill" as many requirements as possible. Then, let AI write a professional specification. Use this as starting point of vibe coding. Tech debt eliminated.
Spec-driven development is the latest AI buzz phrase.
It’s right at the new frontier of AI coding: Specs as the source of truth, code as the last-mile output.
Tell your agents what to build, not how.
Will spur many design/arch discussions in the industry. Will explore soon!
@dhinchcliffe Indeed, spec-driven vibe coding integrated with existing business applications and supported by a dedicated AI-based tool is the future. See here: https://t.co/XwxPQByz99 Everyone can check it out for free: https://t.co/nw4egnR4Av
@FranzFaerberERP@vijayasankarv
@Plinz Mathematics is about concepts and definitions and then about proofs. Coming up with the right concepts (manifolds, schemes, topoi,…) is even harder than proofs. It’s about imagination.
@edfrenkel Einstein was “lucky” that Riemann generalized geometry before. The same holds true for quantum mechanics and the standard model, using group theory and other maths that was created w/o applications having in mind. It seems that for the GUT, new maths needs to be created.
@edfrenkel Yes, there is a tiny portion of mathematics currently used in e.g. physics. But it seems to me that for some questions of physics, the right maths has not yet been discovered/invented. Newton created his “own” maths to describe his laws of gravity. 1/2
@tfxz Legendary. The day before, I told him that were having a customer meeting the other morning. “I’ll join you, when do you start?” He promised and hijacked the agenda, see the slide on the photo. @christophkull will remember too.
@finnern@SoftwareAG@StefanSigg@Juergen_Kraemer Hey Mark @finnern , thanks for picking this up. Let me emphasize that this was an interdisciplinary hackathon where software experts met mechanical engineers from machinery builders. This is the impact of @adamosgroup , see https://t.co/E18RB8DUSM