Top
Best
New

Posted by subset 11 hours ago

Old and new apps, via modern coding agents(terrytao.wordpress.com)
372 points | 104 commentspage 3
onionsential 7 hours ago|
[flagged]
chumzygood 9 hours ago||
[flagged]
pizzaballs 10 hours ago||
[flagged]
haebom 8 hours ago||
[dead]
geeewhy 10 hours ago||
[dead]
cindyllm 9 hours ago||
[dead]
484994949595 9 hours ago||
[dead]
jgalt212 10 hours ago||
The more Terry talks about AI, the more I'm starting to feel like Terry may have some undisclosed conflicts of interest.

https://www.reddit.com/r/mathematics/comments/1tryyw7/terenc...

sega_sai 10 hours ago||
When it comes to coding, non-programmers do not have to be in a defensive position worried that their job is under risk, instead they just see a great tool that saves them time, especially doing boring coding like dashboards, visualizations, interactive web-pages, or doing experiments that they otherwise would not have time for.
simonw 9 hours ago|||
A lot of mathematicians are worried: https://arstechnica.com/tech-policy/2026/06/mathematicians-w...
jdright 9 hours ago||
Mathematicians are a kind of programmers, the original ones.
lagrange77 9 hours ago|||
Why are mathematicians a kind of programmers? Besides applied maths, aren't they more researchers that explore and discover, in contrast to the majority of programmers who are more like handymen?
lanstin 4 hours ago||
Metamathematics, by Kleene, is programming in maths. Theoretical computer science is maths. A lot of foundations work is programming. Coding itself is like an extended problem set from a maths class. LaTeX itself is programming.

The difference to me is one of directionality - maths research is seeing a far off island and getting there by hook or by crook; bridge, draining the swamp, inventing an airplane or boat, whatever it takes. Software engineering is like covering a plain with tiles - every feature is ultimately filled in and the underlying beauty is obscured by a fractal of complexity required by the ever growing requirements.

lagrange77 2 hours ago||
> Metamathematics, by Kleene, is programming in maths.

Ookay.

Back in the day i was confused by 'Linear programming', which is optimisation and has nothing to do with coding.

> every feature is ultimately filled in and the underlying beauty is obscured by a fractal of complexity required by the ever growing requirements.

Right. I would say Mathematics tries to unobscure (patterns in) nature. Engineering is creating tools, sometimes leveraging natural patterns. But yeah, Fourier or Laplace definitely created tools, too.

CuriouslyC 7 hours ago|||
Disagree. Programming is about sequences (behavior, state, data, etc), math is about relations.
lowsong 9 hours ago||||
"When it comes to a field I'm not an expert in, AI is a great tool."

Every time.

azan_ 8 hours ago|||
Tao is not an expert in math research? That's a really high bar then.
alansaber 9 hours ago||||
Yes, because AI gets the "shape" of something right. If you don't know the field you don't notice the pockmarked surface.
lagrange77 9 hours ago||||
I think the opposite is true.
wizzwizz4 9 hours ago||
So does anyone familiar with the Gell-Mann amnesia effect.
perching_aix 8 hours ago|||
[dead]
hansmayer 10 hours ago|||
[dead]
nmfisher 10 hours ago|||
Or he just finds it an incredible time-saving tool to help him do more maths.
perching_aix 10 hours ago||
The well-known shadowy bias and conflict of interest of "I just enjoy experimenting with this new thing".
hansmayer 10 hours ago||
[dead]
suwapat 9 hours ago|
LLM will do very good job in pure mathematics since it don't need the senses to logically understand/conclude a given topic.