Hacker News July 12, 2026 11 min signal 2026-07-12

Terence Tao: old and new apps, via modern coding agents

Archived text mirror, captured for personal reading when the Signal ran. Formatting is approximate — read the original at the source.

What's new

Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao

Home

About

Career advice

On writing

Books

Mastodon+

Applets

Subscribe to feed

Old and new apps, via modern coding agents

11 July, 2026 in advertising | Tags: AI, Allen Knutson, applets, Gilbreath's conjecture | by Terence Tao

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). This was moderately successful; but the applets were time-consuming to program, and eventually the standards for web pages stopped supporting this version of Java, and the applets became non-functional.

However, in the last few days I have begun the process of migrating much of my old web page and blog data to a more maintainable repository, using modern AI assistance. As an experiment, I asked the agent to port my old applets to a modern supported language (we landed on Javascript), and it managed to do so in a matter of hours, with all of my old applets now functional again, with even a few graphical upgrades (for instance, the Besicovitch set applet is now colorized, in contrast to my original monochrome version). I am particularly pleased to see the honeycomb applet that I wrote with Allen Knutson in 1999 come back to life, as this was a particularly tricky one to code by hand:

Notoriously, LLM-based coding agents can create various blatant or subtle bugs in their code; but in the porting of these two dozen or so applets, I could only find one minor bug (the handling of a drag event in one of the complex analysis applets had unwanted behavior when dragging outside of the main box), and in fact the agent identified two bugs in the original code that I was not aware of, so it ended up being a net wash as far as code quality was concerned. In any event, as these applets are meant to be secondary visual aids rather than critical components of a mathematical argument, the downside risk of such bugs is relatively low.

The process was painless enough that I decided to also try coding some new apps, in addition to porting the old ones. Back in 1999 I had an ambitious idea for a visualization tool for special relativity; this was before the release of the software tool Inkscape, but the idea I had in mind was basically “Inkscape, but in Minkowski space”. I had even started writing Java code for this app, but the code complexity became too much for me, and I abandoned the project. However, after a couple hours of “vibe coding” with an AI agent, I was finally able to generate an applet that matched the vision I had back in 1999, which can now be found here. A summary of the conversation I had with the agent to generate this code can be found here (it has been edited down to remove a large number of tedious technical implementation reports). While I have playtested the app somewhat, I would be interested in receiving further feedback on this “alpha” version of the applet, as I am sure (especially given the LLM-generated nature of the code) that there are still some bugs and rough edges to be ironed out.

After writing my blog post on the Gilbreath conjecture paper earlier today, I realized that I could similarly ask the agent to code a visualization tool for the Gilbreath conjecture to accompany the paper and blog post. After another few hours of conversation, this is now done; you can try out the visualization here. Again, the procedure was quite painless (see this transcript of the process), and I think I may add such interactive visualizations as supplements for future papers; as such 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.

Categories

expository (321)

tricks (13)

guest blog (10)

Mathematics (918)

math.AC (9)

math.AG (42)

math.AP (115)

math.AT (17)

math.CA (196)

math.CO (207)

math.CT (9)

math.CV (39)

math.DG (37)

math.DS (90)

math.FA (24)

math.GM (16)

math.GN (21)

math.GR (90)

math.GT (17)

math.HO (14)

math.IT (13)

math.LO (54)

math.MG (48)

math.MP (31)

math.NA (26)

math.NT (212)

math.OA (22)

math.PR (111)

math.QA (6)

math.RA (49)

math.RT (21)

math.SG (4)

math.SP (48)

math.ST (11)

non-technical (209)

admin (48)

advertising (78)

diversions (7)

media (14)

journals (3)

obituary (15)

opinion (37)

paper (272)

book (23)

Companion (13)

update (26)

question (128)

polymath (87)

talk (69)

DLS (20)

teaching (190)

245A – Real analysis (11)

245B – Real analysis (22)

245C – Real analysis (6)

246A – complex analysis (11)

246B – complex analysis (5)

246C – complex analysis (5)

247B – Classical Fourier Analysis (5)

254A – analytic prime number theory (19)

254A – ergodic theory (18)

254A – Hilbert's fifth problem (12)

254A – Incompressible fluid equations (5)

254A – random matrices (14)

254B – expansion in groups (8)

254B – Higher order Fourier analysis (9)

255B – incompressible Euler equations (2)

275A – probability theory (6)

285G – poincare conjecture (20)

Logic reading seminar (8)

The sciences (1)

travel (26)

###

additive combinatorics approximate groups arithmetic progressions Artificial Intelligence Ben Green Cauchy-Schwarz Cayley graphs central limit theorem Chowla conjecture compressed sensing correspondence principle cosmic distance ladder distributions divisor function eigenvalues Elias Stein Emmanuel Breuillard entropy equidistribution Erdos ergodic theory Euler equations exponential sums finite fields Fourier transform Freiman's theorem Gowers uniformity norm Gowers uniformity norms graph theory Gromov's theorem GUE Hilbert's fifth problem ICM incompressible Euler equations inverse conjecture Joni Teravainen Kaisa Matomaki Kakeya conjecture Lie algebras Lie groups Liouville function Littlewood-Offord problem Maksym Radziwill Mobius function Navier-Stokes equations nilpotent groups nilsequences nonstandard analysis Paul Erdos politics polymath1 polymath8 Polymath15 polynomial method polynomials prime gaps prime numbers prime number theorem random matrices randomness Ratner's theorem regularity lemma Ricci flow Riemann zeta function Schrodinger equation Shannon entropy sieve theory structure Szemeredi's theorem Tamar Ziegler ultrafilters universality Van Vu wave maps Yitang Zhang

The Polymath Blog

Comments feed for this article

For commenters

To enter in LaTeX in comments, use $latex <Your LaTeX code>$ (without the < and > signs, of course; in fact, these signs should be avoided as they can cause formatting errors). Also, backslashes \ need to be doubled as \\. See the about page for details and for other commenting policy.

« Gilbreath’s conjecture: a Cramér random model and a deterministic analysis

Blog at WordPress.com.Ben Eastaugh and Chris Sternal-Johnson.

Subscribe to feed.

- Comment

Reblog

Subscribed

- What's new

Already have a WordPress.com account? Log in now.

- What's new

Subscribed

- Copy shortlink

- Report this content