contubernio

4 ms·

1.
by contubernio 7d ago
You sound a bit troubled. I was responding to the leading the way part. I'm hardly doing that. I just jumped on the bandwagon. What I do see is a tool that forces me to change behaviors learned over decades and potentially renders usel
2.
by contubernio 7d ago
Stanford researcher discovers his head and his ass aren't the same thing.
3.
by contubernio 7d ago
That's not the conclusion. I started using AI after the Jacobian conjecture counterexample and have used a particular problem to learn how to use AI and to explore it's capabilities. I'm not a great mathematician but I'm
4.
by contubernio 7d ago
I'm a professional mathematician. Today I proved what for me is a very solid theorem. It's something I had thought about for a few years. With a few weeks of serious use of AI I've found a proof that I am currently trying to
5.
by contubernio 7d ago
As a math professor, I care much more about the key idea, heuristics, and motivation than the proof. With the others in place the proof is clear, something an AI or a student can do.
6.
by contubernio 10d ago
They should just make them read an old chess book like Lasker that gives low level heuristics
7.
by contubernio 13d ago
This is the essence of why disciplinary, authoritarian, stick based teaching of humans generally fails. It teaches succeed at any cost.
8.
by contubernio 13d ago
One sees this in math research. The model reports it has proved X. In fact it has given an erroneous numerical check of Y in a few atypical cases. What makes math approachable is that the context is so well delimited (semantically) that one
9.
by contubernio 13d ago
Tha Jacobian conjecture is (was?) notorious for publication of false proofs. There have been many, not all by those who shouldn't have known better.
10.
by contubernio 14d ago
Perhaps all these fields medalists are just worried that AI mitigates their competitive advantages over a mediocre professional mathematician like me. Their main advantages are a kind of penetrating clear thinking that not all of us have an
11.
by contubernio 14d ago
Tao is quite the opposite of what you describe. He's had an ongoing dialogue intellectually with the challenges created by ai for mathematicians for some time (years) now and his viewpoint is quite balanced. He is not alarmist but rath
12.
by contubernio 14d ago
"I suspect that with six good mathematicians spending their whole careers primarily focused on it, and working together closely, Navier-Stokes might well have fallen already" There were more than six doing that and it's essen
13.
by contubernio 15d ago
The idea that mathematicians were not involved in actively directing the and structuring the search for solutions is absurd to any professional mathematician who has tried to prove things using these models.
14.
by contubernio 16d ago
What you say is true but ... This is qualitatively different than calculators or computers. I'm a professional mathematician and all the better mathematicians I know are in crisis mode. Most of us hadn't taken this sufficiently se
15.
by contubernio 17d ago
Math problems are highly structured, very precisely defined, and already heavily studied and not very complicated compared to problems in engineering or finance. There's a lot of quality material on which to train and it's easy to
16.
by contubernio 17d ago
People are underestimating the costs in terms of money and energy. The third law of thermodynamics is an essential barrier in all engineering.
17.
by contubernio 17d ago
In math and theoretical physics the arxiv is the default place to publish and where one goes to find the best and most current work. Papers take a long time to review (years) particularly hard and good papers and publication in journals mai
18.
by contubernio 18d ago
Bubeck is familiar with how publishing works in mathematics.
19.
by contubernio 18d ago
What is specifically alleged is that a particular approach to the problem - itself not easily discoverable - was copied. This is what is meant in the text "I should say here why I interpreted their statement the way I did, the in- terp
20.
by contubernio 19d ago
A country like Spain has a formal system of grants and awards for athletes designated as "elite" and supports them roughly at the same pay as it supports junior university professors.
21.
by contubernio 19d ago
Nobody is in panic, but we are using these systems and seeing what are their capabilities and it's clear that their use has a big impact on the practice of mathematical research, probably far more impact than it has in other areas. Par
22.
by contubernio 19d ago
Calling the arxiv a vanity press shows you aren't a researcher. In math and physics all the best stuff is on the arxiv and the general level is well above the level of most journals. Journals mainly serve as accreditation and many are
23.
by contubernio 21d ago
It is capable of applying know heuristics and general principles in places where they haven't been applied and in this sense very much capable of generating conjectures in much the same way a person does. It's ability to employ a
24.
by contubernio 21d ago
As a mathematician not expert kn these things, yes it scans as reasonable, and yes it has me and most of my colleagues reconsidering what we do for a living.
25.
by contubernio 21d ago
Sounds just like standard behavior for gaming incencyives in large institutions.
26.
by contubernio 24d ago
AI is clearly of great utility for defense/military/security. That alone guarantees continued support financially.
27.
by contubernio 25d ago
As a middle-aged mathematician, AI is provoking a serious crisis among the better mathematicians I know. Many are only half jokingly talking about retiring. We use AI a lot in research already and it's obvious that whoever doesn't
28.
by contubernio 25d ago
Institutions like Duke benefit enormously from having people like this around. They can claim they have lots of highly cited and well published researchers, a bit of controversy is free publicity, etc. They make money off him and so they de
29.
by contubernio 28d ago
Part of running a profitable business is doing the right thing. Following socially obligated rules is a cost just like buying drywall. The profits at all cost mentality is a criminal mentality. Maybe it gets away with not being formally cri
30.
by contubernio 28d ago
As a dual American-European (citizenship in both, lived in both) I celebrate the EU data privacy laws and lament the absolute lack of protection of data or privacy that prevails in the US. Because of US based websites the genealogical histo

More ›