[dead]
Old and new apps, via modern coding agents
41–50 of 156 posts
Re: Old and new apps, via modern coding agents
#42Nice balanced perspective there at the end: "as such [LLM-coded interactive] supplements are not mission-critical to the core of the paper, I again feel that the downside risk of using guided interaction with LLM agents to generate such visualizations is acceptable." It's a tool. Good for some things but not others and generally not to be trusted.
> and generally not to be trusted
There are many AI bulls who adamantly disagree and cite Tao’s statements about LLMs for mathematical proofs as an example of how advanced and autonomous these systems already are
Re: Old and new apps, via modern coding agents
#43I am far from a mathematician but I am excited by the possibilities of using AI for generating more math. Math in my mind exists purely in the world of forms, and cannot be appropriated for profit, but is downstream to everything else. I am keen to see what this enables.
It may be a question of perspective, but in my mind mathematics is upstream to everything else, including physics, biology, etc. And it doesn't just exist in the human mind or the "world of forms", as in Platon's realm of ideas. It's more fundamental than that, closer to the foundation from which all existence emerges. Our reality is like a shadow of a shadow, a fleeting illusion, compared to the eternal reality that gives birth to all lesser realities.
As for profit, there's a reason why governments and AI companies are hiring philosophers and mathematicians. It's not to make the world a better place for everyone, or to encourage the progress of human knowledge; but to gain cutting-edge advantages over their competitors. Same reason why theoretical physicists were prized before/during the Second World War.
Re: Old and new apps, via modern coding agents
#44Nice balanced perspective there at the end: "as such [LLM-coded interactive] supplements are not mission-critical to the core of the paper, I again feel that the downside risk of using guided interaction with LLM agents to generate such visualizations is acceptable." It's a tool. Good for some things but not others and generally not to be trusted.
> and generally not to be trusted There are many AI bulls who adamantly disagree and cite Tao’s statements about LLMs for mathematical proofs as an example of how advanced and autonomous these systems already are
Statistical gradient descent token vomiter. We can all say it together. Nothing about this is advanced or autonomous.
Re: Old and new apps, via modern coding agents
#45[flagged]
Re: Old and new apps, via modern coding agents
#46Nice balanced perspective there at the end: "as such [LLM-coded interactive] supplements are not mission-critical to the core of the paper, I again feel that the downside risk of using guided interaction with LLM agents to generate such visualizations is acceptable." It's a tool. Good for some things but not others and generally not to be trusted.
> and generally not to be trusted There are many AI bulls who adamantly disagree and cite Tao’s statements about LLMs for mathematical proofs as an example of how advanced and autonomous these systems already are
I mean just from the above quote it’s clear he doesn’t trust them for “mission-critical” tasks. And I doubt LLms have evolved significantly from their stochastic parrot nature over the last few years
Re: Old and new apps, via modern coding agents
#47I always enjoy these "domain expert has fun using AI to do something in their domain" articles. But it's always a hobby project, never something serious.
That is how it starts, trust is built on hobby projects.
Re: Old and new apps, via modern coding agents
#48There is infinite latent demand for software, most especially outside the traditionally software-focused spaces. If LLMs stopped improving today it would take us 10 years to catch up to the new software-writing abilities that have become available. This is a great illustration of that fact.
Re: Old and new apps, via modern coding agents
#49Running legacy educational Java applets, especially around math and physics, has been a longstanding popular use case of our CheerpJ Applet Runner extension, running Java bytecode in the browser via WebAssembly.
I am not sure how to feel about agents solving the problem via proper modernization. It's certainly positive that students will be able to interact with this content in a modern and more accessible way, but the educational use case for our product, although not commercially important, has always been a source of pride.
https://chromewebstore.google.com/detail/cheerpj-applet-runn...
Re: Old and new apps, via modern coding agents
#50I always enjoy these "domain expert has fun using AI to do something in their domain" articles. But it's always a hobby project, never something serious.
[deleted]