
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.
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:
all of my old applets now functional again

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.
writing Java code for this app

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.
try out the visualization here
this transcript of the process

Share this:
Print (Opens in new window)
[Print (Opens in new window)
Print](https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/#print?share=print)
Email a link to a friend (Opens in new window)
[Email a link to a friend (Opens in new window)
Email](mailto:?subject=%5BShared%20Post%5D%20Old%20and%20new%20apps%2C%20via%20modern%20coding%20agents&body=https%3A%2F%2Fterrytao.wordpress.com%2F2026%2F07%2F11%2Fold-and-new-apps-via-modern-coding-agents%2F&share=email)
More
Share on X (Opens in new window)
X
[Share on X (Opens in new window)
X](https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/?share=twitter)
Share on Facebook (Opens in new window)
[Share on Facebook (Opens in new window)
Facebook](https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/?share=facebook)
Share on Reddit (Opens in new window)
[Share on Reddit (Opens in new window)
Reddit](https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/?share=reddit)
Share on Pinterest (Opens in new window)
[Share on Pinterest (Opens in new window)
Pinterest](https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/?share=pinterest)
Recent Comments
245A, prologue: The problem of…
254B, Notes 1: Equidistributio…
245B, notes 1: Signed measures…
245B, notes 1: Signed measures…
245A, prologue: The problem of…
254B, Notes 1: Equidistributio…
245A, prologue: The problem of…
245A, prologue: The problem of…
Nonlinear dispersive equations…
Top Posts
Old and new apps, via modern coding agents
Old and new apps, via modern coding agents
Gilbreath's conjecture: a Cramér random model and a deterministic analysis
Gilbreath's conjecture: a Cramér random model and a deterministic analysis
A digestion of unit distance constructions
A digestion of unit distance constructions
Career advice
About
On writing
Applets
245A, prologue: The problem of measure
245A, prologue: The problem of measure
Work hard
Does one have to be a genius to do maths?
Does one have to be a genius to do maths?
Archives
July 2026 (3)
June 2026 (3)
May 2026 (1)
March 2026 (4)
February 2026 (3)
January 2026 (4)
December 2025 (5)
November 2025 (5)
September 2025 (1)
August 2025 (3)
July 2025 (1)
June 2025 (2)
May 2025 (5)
April 2025 (2)
March 2025 (1)
February 2025 (3)
January 2025 (1)
December 2024 (3)
November 2024 (4)
October 2024 (1)
September 2024 (4)
August 2024 (3)
July 2024 (3)
June 2024 (1)
May 2024 (1)
April 2024 (5)
March 2024 (1)
December 2023 (2)
November 2023 (2)
October 2023 (1)
September 2023 (3)
August 2023 (3)
June 2023 (8)
May 2023 (1)
April 2023 (1)
March 2023 (2)
February 2023 (1)
January 2023 (2)
December 2022 (3)
November 2022 (3)
October 2022 (3)
September 2022 (1)
July 2022 (3)
June 2022 (1)
May 2022 (2)
April 2022 (2)
March 2022 (5)
February 2022 (3)
January 2022 (1)
December 2021 (2)
November 2021 (2)
October 2021 (1)
September 2021 (2)
August 2021 (1)
July 2021 (3)
June 2021 (1)
May 2021 (2)
February 2021 (6)
January 2021 (2)
December 2020 (4)
November 2020 (2)
October 2020 (4)
September 2020 (5)
August 2020 (2)
July 2020 (2)
June 2020 (1)
May 2020 (2)
April 2020 (3)
March 2020 (9)
February 2020 (1)
January 2020 (3)
December 2019 (4)
November 2019 (2)
September 2019 (2)
August 2019 (3)
July 2019 (2)
June 2019 (4)
May 2019 (6)
April 2019 (4)
March 2019 (2)
February 2019 (5)
January 2019 (1)
December 2018 (6)
November 2018 (2)
October 2018 (2)
September 2018 (5)
August 2018 (3)
July 2018 (3)
June 2018 (1)
May 2018 (4)
April 2018 (4)
March 2018 (5)
February 2018 (4)
January 2018 (5)
December 2017 (5)
November 2017 (3)
October 2017 (4)
September 2017 (4)
August 2017 (5)
July 2017 (5)
June 2017 (1)
May 2017 (3)
April 2017 (2)
March 2017 (3)
February 2017 (1)
January 2017 (2)
December 2016 (2)
November 2016 (2)
October 2016 (5)
September 2016 (4)
August 2016 (4)
July 2016 (1)
June 2016 (3)
May 2016 (5)
April 2016 (2)
March 2016 (6)
February 2016 (2)
January 2016 (1)
December 2015 (4)
November 2015 (6)
October 2015 (5)
September 2015 (5)
August 2015 (4)
July 2015 (7)
June 2015 (1)
May 2015 (5)
April 2015 (4)
March 2015 (3)
February 2015 (4)
January 2015 (4)
December 2014 (6)
November 2014 (5)
October 2014 (4)
September 2014 (3)
August 2014 (4)
July 2014 (5)
June 2014 (5)
May 2014 (5)
April 2014 (2)
March 2014 (4)
February 2014 (5)
January 2014 (4)
December 2013 (4)
November 2013 (5)
October 2013 (4)
September 2013 (5)
August 2013 (1)
July 2013 (7)
June 2013 (12)
May 2013 (4)
April 2013 (2)
March 2013 (2)
February 2013 (6)
January 2013 (1)
December 2012 (4)
November 2012 (7)
October 2012 (6)
September 2012 (4)
August 2012 (3)
July 2012 (4)
June 2012 (3)
May 2012 (3)
April 2012 (4)
March 2012 (5)
February 2012 (5)
January 2012 (4)
December 2011 (8)
November 2011 (8)
October 2011 (7)
September 2011 (6)
August 2011 (8)
July 2011 (9)
June 2011 (8)
May 2011 (11)
April 2011 (3)
March 2011 (10)
February 2011 (3)
January 2011 (5)
December 2010 (5)
November 2010 (6)
October 2010 (9)
September 2010 (9)
August 2010 (3)
July 2010 (4)
June 2010 (8)
May 2010 (8)
April 2010 (8)
March 2010 (8)
February 2010 (10)
January 2010 (12)
December 2009 (11)
November 2009 (8)
October 2009 (15)
September 2009 (6)
August 2009 (13)
July 2009 (10)
June 2009 (11)
May 2009 (9)
April 2009 (11)
March 2009 (14)
February 2009 (13)
January 2009 (18)
December 2008 (8)
November 2008 (9)
October 2008 (10)
September 2008 (5)
August 2008 (6)
July 2008 (7)
June 2008 (8)
May 2008 (11)
April 2008 (12)
March 2008 (12)
February 2008 (13)
January 2008 (17)
December 2007 (10)
November 2007 (9)
October 2007 (9)
September 2007 (7)
August 2007 (9)
July 2007 (9)
June 2007 (6)
May 2007 (10)
April 2007 (11)
March 2007 (9)
February 2007 (4)
Categories
expository (321)
tricks (13)
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)
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)
admin (48)
advertising (78)
diversions (7)
media (14)
journals (3)
journals (3)
obituary (15)
opinion (37)
paper (272)
book (23)
Companion (13)
update (26)
book (23)
Companion (13)
update (26)
question (128)
polymath (87)
polymath (87)
talk (69)
DLS (20)
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)
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)
247B – Classical Fourier Analysis
254A – analytic prime number theory (19)
254A – analytic prime number theory
254A – ergodic theory (18)
254A – Hilbert's fifth problem (12)
254A – Hilbert's fifth problem
254A – Incompressible fluid equations (5)
254A – Incompressible fluid equations
254A – random matrices (14)
254B – expansion in groups (8)
254B – Higher order Fourier analysis (9)
254B – Higher order Fourier analysis
255B – incompressible Euler equations (2)
255B – incompressible Euler equations
275A – probability theory (6)
285G – poincare conjecture (20)
Logic reading seminar (8)
The sciences (1)
travel (26)
incompressible Euler equations
The Polymath Blog

Polymath News and AI
Polymath projects 2021
A sort of Polymath on a famous MathOverflow problem
A sort of Polymath on a famous MathOverflow problem
Ten Years of Polymath
Updates and Pictures
Polymath proposal: finding simpler unit distance graphs of chromatic number 5
Polymath proposal: finding simpler unit distance graphs of chromatic number 5
A new polymath proposal (related to the Riemann Hypothesis) over Tao’s blog
A new polymath proposal (related to the Riemann Hypothesis) over Tao’s blog
Spontaneous Polymath 14 – A success!
Spontaneous Polymath 14 – A success!
Polymath 13 – a success!
Non-transitive Dice over Gowers’s Blog
Non-transitive Dice over Gowers’s Blog
Leave a comment
Comments feed for this article
Comments feed for this article
Leave a comment Cancel reply
Δ
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
[Reblog]()
Subscribe
Subscribed
What's new
Join 12,125 other subscribers
Sign me up
Already have a WordPress.com account? Log in now.
[Subscribe]()
[Subscribed]()
What's new
![]()
Already have a WordPress.com account? Log in now.
What's new
Subscribe
Subscribed
Sign up
Log in
Copy shortlink
Report this content
View post in Reader
Manage subscriptions
Collapse this bar
What's new
![]()
Subscribe
Subscribed
[Subscribe]()
[Subscribed]()
Sign up
Log in
Copy shortlink
Report this content
View post in Reader
Manage subscriptions
Collapse this bar
[Collapse this bar]()