Earlier quoted context omitted.
> 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.
Old and new apps, via modern coding agents
51–60 of 156 posts
Re: Old and new apps, via modern coding agents
#52Re: Old and new apps, via modern coding agents
#53Nice 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.
I agree completely you always need to check the work of LLM agents, but it does strike me as a tiny bit funny to anthropomorphize AI by using ‘trust’ while warning against anthropomorphizing the AI by using unchecked output. ;) Generally speaking, “trust” in AI has been going up very quickly as the models & harnesses improve, and as people figure out effective workflows.
I trust my hammer with nails but not screws… does that mean the hammer should generally not be trusted? The problem with AI is we don’t know the difference between nails and screws. (This may be where my analogy breaks down. :P) But I feel like saying don’t trust it isn’t as helpful as saying something like you should expect to spend more time planning and iterating than before, and you should expect tot spend more time reviewing and checking output than before, and learn how to use skills and context and subagents, and learn to use AI on some non-production low-consequence projects first. Saying ‘generally not to be trusted’ implicitly suggests not using AI, and doesn’t leave the reader with how to use AI. The goal is to build trust by building good workflows and by understanding what works well and what doesn’t, right?
Re: Old and new apps, via modern coding agents
#54Earlier quoted context omitted.
A lot of mathematicians are worried: https://arstechnica.com/tech-policy/2026/06/mathematicians-w...
Mathematicians are a kind of programmers, the original ones.
Re: Old and new apps, via modern coding agents
#55Terry Tao using coding agents feels like watching a Michelin-starred chef discover microwave dinners and get genuinely excited about them.
Re: Old and new apps, via modern coding agents
#56Terry Tao using coding agents feels like watching a Michelin-starred chef discover microwave dinners and get genuinely excited about them.
Re: Old and new apps, via modern coding agents
#57The article's awkward opening statement proves it wasn't written by AI. I have been interested in machine-assisted ways to do and teach mathematics from as far back as 1999, when I started coding several applets in Java 1.0, both for my complex analysis and linear algebra courses, to visualize various mathematical objects I was interested in (such as honeycombs or Besicovitch sets).
Re: Old and new apps, via modern coding agents
#58I 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.
I don’t know what you’re reading, but always and never are strong words. I’ll predict by this time next year you’ll have seen some pretty serious AI uses, and can no longer say always/never. Widespread use of AI coding is brand new, and the models only just barely got good enough to do serious things. It’s way too early to be using words like always and never, but FWIW I’ve already seen some serious uses. There are good reasons personal blog posts rarely talk about ‘serious’ production code; it may be against organizational policy, it may involve code that isn’t’ public, it may reveal proprietary information, and more…
Re: Old and new apps, via modern coding agents
#59Re: Old and new apps, via modern coding agents
#60Terry Tao using coding agents feels like watching a Michelin-starred chef discover microwave dinners and get genuinely excited about them.