As a professional mathematician it seems that AI is already at the point where, when well guided, it both does better research and writes better exposition than run if the mill mathematicians. Well guided is a qualifier…
What is the problem if it is AI written? Properly guided AI writes better than most human expositors.
Many many gaps had been found and patched (by humans) already over the last forty years.
It's not AI that has created those open problems. It has simply shown that some conjecture is false and that leads naturally to problems in a sense already posed. A very different thing is proposing a framework and in…
He doesn't pay TAs. The university does. They work for the university, not for individual professors. If you have no idea how teaching works in US universities, probably better not to comment on it.
Ways will be found to get it to write propaganda instead.
We research mathematicians are still learning how to use AI in research and how to deal with the output. I drafted eight papers last weekend. This week I advanced on none. AI still gets stuck at the key point on a…
AI would have gotten to the point more quickly.
My first job programming was in a geophysics lab. I had to read fortran 77 codes and write in some slightly more modern variant (I can't remember now which). They were simulating the Earth's mantle and used it because…
Engineers often forget about thermodynamics. Computer scientists apparently never even study it.
I did best by acting like a real world developer - low-ball everything, everything non-union, ignore community activists at all costs, pay for access, sell for a profit, etc.
Fear-mongering clickbait title signals complete nonsense. Since I started using AI seriously in my (mathematics) research about 6 weeks ago I've advanced more and been more productive than in years. I'm more motivated…
Most of the problems that have been solved are problems on which a great deal of progress had already been made. Those who work on well known problems posed by famous people are those who suffer the most from this.…
Article is not useful because it does not bother to motivate why the scans were requested or why anyone other than a legalistic, formalistic person would consider them administrative documents. The author assumes all…
Arxiv is the principal forum for publishing mathematics research of quality. Journals serve a purely archival and bureaucratic purpose; almost no value is added by the refereeing process (probably more is lost) and…
This is very cultural. In Spain essentially no one throws dinner parties in the US style. It's rare to invite social acquaintances to one's home. These things are done - but mainly with family. Part of this is cultural…
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…
Stanford researcher discovers his head and his ass aren't the same thing.
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…
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.
They should just make them read an old chess book like Lasker that gives low level heuristics
This is the essence of why disciplinary, authoritarian, stick based teaching of humans generally fails. It teaches succeed at any cost.
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…
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.
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…
As a professional mathematician it seems that AI is already at the point where, when well guided, it both does better research and writes better exposition than run if the mill mathematicians. Well guided is a qualifier…
What is the problem if it is AI written? Properly guided AI writes better than most human expositors.
Many many gaps had been found and patched (by humans) already over the last forty years.
It's not AI that has created those open problems. It has simply shown that some conjecture is false and that leads naturally to problems in a sense already posed. A very different thing is proposing a framework and in…
He doesn't pay TAs. The university does. They work for the university, not for individual professors. If you have no idea how teaching works in US universities, probably better not to comment on it.
Ways will be found to get it to write propaganda instead.
We research mathematicians are still learning how to use AI in research and how to deal with the output. I drafted eight papers last weekend. This week I advanced on none. AI still gets stuck at the key point on a…
AI would have gotten to the point more quickly.
My first job programming was in a geophysics lab. I had to read fortran 77 codes and write in some slightly more modern variant (I can't remember now which). They were simulating the Earth's mantle and used it because…
Engineers often forget about thermodynamics. Computer scientists apparently never even study it.
I did best by acting like a real world developer - low-ball everything, everything non-union, ignore community activists at all costs, pay for access, sell for a profit, etc.
Fear-mongering clickbait title signals complete nonsense. Since I started using AI seriously in my (mathematics) research about 6 weeks ago I've advanced more and been more productive than in years. I'm more motivated…
Most of the problems that have been solved are problems on which a great deal of progress had already been made. Those who work on well known problems posed by famous people are those who suffer the most from this.…
Article is not useful because it does not bother to motivate why the scans were requested or why anyone other than a legalistic, formalistic person would consider them administrative documents. The author assumes all…
Arxiv is the principal forum for publishing mathematics research of quality. Journals serve a purely archival and bureaucratic purpose; almost no value is added by the refereeing process (probably more is lost) and…
This is very cultural. In Spain essentially no one throws dinner parties in the US style. It's rare to invite social acquaintances to one's home. These things are done - but mainly with family. Part of this is cultural…
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…
Stanford researcher discovers his head and his ass aren't the same thing.
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…
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.
They should just make them read an old chess book like Lasker that gives low level heuristics
This is the essence of why disciplinary, authoritarian, stick based teaching of humans generally fails. It teaches succeed at any cost.
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…
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.
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…