kaffekaka

7 ms·

1.
by kaffekaka 3d ago
The authors are absolutely not saying "we are totally safe". They are not denying that AI will affect math deeply in the short and the long run.
2.
by kaffekaka 4d ago
I think you are not interpreting GP in the most charitable way. He simply said that not having to manually write all the code lets him spend his energy on bigger things. That is different from "struggling with syntax".
3.
by kaffekaka 4d ago
The OpenAI staff kindly corrected the LLMs naive tries at solving NS? Impressive staff I must say.
4.
by kaffekaka 4d ago
The tools would come from trying to solve NS, not from knowing it is true/false.
5.
by kaffekaka 4d ago
> Second, for us non-mathematicians, the value of math isn't in understanding exactly why a result is true, it’s in how those results can be applied to actually improve our lives. This is just the problem with the Navier-Stokes solu
6.
by kaffekaka 4d ago
You have a point, but I think a concern is that the environment in which to fill this gap is threatened since the unsolved problems have functioned as a guiding lighthouse and measure of progress. Frankly: will someone pay for mathematical
7.
by kaffekaka 4d ago
The issue is that now that Navier-Stokes is "solved", the amount of resources put into researching it will be reduced, meaning that the insights and knowledge that would have come out of even failed attempts will never be. An &quo
8.
by kaffekaka 5d ago
Advanced studies give you more general skills than just the subject you study. You become more generally intelligent and appreciate the world differently. This is a very good feeling and valuable on a personal level. Job market worries asid
9.
by kaffekaka 5d ago
Yes. In the best possible world AI could enable a much better future, but currently we are on a quite bad trajectory.
10.
by kaffekaka 5d ago
Yes, but a big part of the problem right now is that two big labs have monopoly on the resources and they for sure are not working for the benefit of mankind. The Startrek future is still a long way out.
11.
by kaffekaka 5d ago
I agree. Technological advances can lead to a better world for sure, but I think many people underestimate the human need to create and to find meaning in their work. If AI can do superhuman math that allows better medicines, cleaner energy
12.
by kaffekaka 5d ago
FWIW I think OpenAI have stated they will not claim the award. They did not do it for the money obviously, but for the PR, that much everyone must agree on.
13.
by kaffekaka 5d ago
You mean that every mathematician can assign ten thousands Astra bots and 20 million dollars in compute to their thesis problems now?
14.
by kaffekaka 5d ago
But finding a spoon (really?) is binary - you have the spoon or not. But understanding a complex situation is nuanced and contains different perspectives, tradeoffs, context etc. Surely you are not comparing finding a spoon with being an ex
15.
by kaffekaka 5d ago
> But you can’t have all things at once: you can’t move at speed with AI, collaborate effectively, and understand what is going on as an expert would. It is not physically possible for a human brain. Very well put. You can pick one or tw
16.
by kaffekaka 5d ago
A typical example is when discussing some issue where there is no clear right or wrong. Architectural decisions for example. Then it is easy to use an LLM to produce arguments for your opinion. It is also easy to do this without realizing i
17.
by kaffekaka 5d ago
Partially true, but only partially. It also makes people believe they understand more than they do, because every answer comes so easily to them. But the LLMs are easily steered and tend to agree with what you want them to say.
18.
by kaffekaka 7d ago
Worth sitting with.
19.
by kaffekaka 15d ago
Not least in the sense that to know something well _and also_ be able to explain it well is worth so much more than to just be an expert
20.
by kaffekaka 15d ago
In math (and other subjects too of course) many things simply cannot be understood without deep prior knowledge. I came across the Wikipedia page for the modularity theorem a while ago and it reads truly satirical to me: https://
21.
by kaffekaka 15d ago
Not if your boss tells you to generate code like your life depended on it.
22.
by kaffekaka 15d ago
Could not help thinking about the Simpsons truck truck truck: https://youtu.be/5coythRANLA
23.
by kaffekaka 15d ago
Saab made great cars and is part of core childhood for all swedes age 40+.
24.
by kaffekaka 17d ago
For now you can choose whether to share the sessions, but we all know that from now on the session transcript must be kept clean and presentable in case at some later time it is made public. The session is from now on a stage on which to di
25.
by kaffekaka 17d ago
My bad! I thought you were commenting on the article, did not realize you replied to a comment. Sorry!
26.
by kaffekaka 17d ago
Isn't there a risk that this learning is too superficial to actually stay around and impact your thinking in the long run? How I experience it at least, there is no free lunch. Something that gives you knowledge and experience will alm
27.
by kaffekaka 18d ago
Curious, how? To me it is obvious that an org with a good culture will be more able to identify and reach its targets than a dysfunctional org lacking trust and safety.
28.
by kaffekaka 18d ago
jökla-mýs is a wonderful name, you gotta love icelandic. A swede might also associate it too "jäkla mys" - god damn cozy!
29.
by kaffekaka 18d ago
What stopped them before?
30.
by kaffekaka 26d ago
"A third category of untruth" is a great expression, thank you.

More ›