Live data from Hacker News

Old and new apps, via modern coding agents

terrytao.wordpress.com

51–60 of 156 posts

Re: Old and new apps, via modern coding agents

#51

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.

This is like saying humans are a self contained electron transport system, nothing special or advanced about that, just a scaled up nematode.

Re: Old and new apps, via modern coding agents

#53
post #4

Nice 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.

> It’s a tool. Good for some things but not for 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

#54
post #17
post #16

Earlier 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.

Disagree. Programming is about sequences (behavior, state, data, etc), math is about relations.

Re: Old and new apps, via modern coding agents

#55

Terry Tao using coding agents feels like watching a Michelin-starred chef discover microwave dinners and get genuinely excited about them.

i'd imagine when microwaves first came out chefs were genuinely excited? it's pretty insanely magical to observe ... at first.

Re: Old and new apps, via modern coding agents

#57

The 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).

i would take this every single time over some Claude rewrite slop

Re: Old and new apps, via modern coding agents

#58

I 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.

> 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…

Post reply on HN