I certainly didn't intend to imply that the declaration is against using AI. My point is just that I feel a little optimistic that the human culture around math ("ideas we disseminate in talks, private discussions and…
Hopefully that's true. Instead of bypassing the community maybe it stimulates the community. I think it does disrupt things a bit, but I'm optimistic at the moment!
I don't think that's entirely fair. I think it's OK that there are some materials designed for a specialist audience, and some materials designed for a wider audience. Technical density serves a real purpose in the…
I'm not totally sure what you mean. You can validate the proof using lean, which is what it's for--the whole magic of it is you don't have to just trust what AI says. That said, to your larger point, there are…
I agree entirely with what you're saying, right up until your final question: > why bother grinding through all the material of climbing Mt. Everest and then attempting it if the helicopter ride is how things are done…
That's true, but the story would have unfolded differently if Mochizuki had a lean-verified proof and was correct. I guess baked into my premise is that AI is producing reliable proofs (in the long term at least).
I wonder if they will continue to dump proofs, though? Their point has been made, the novelty will wear off, and it maybe won't be a priority use of their resources to spend however many millions on another big…
As a mathematician maybe I am a little more optimistic than this declaration. I am thinking of Mochizuki's abc conjecture: He worked in relative isolation, and dumped a huge incomprehensible proof on the community (to…
At issue is the fact that it doesn't typically work like: mathematician produces a proof in isolation, generates a PDF, and shares it with a bunch of people. There's a whole culture and community going on behind the…
The issue of credit is a relatively minor point in the declaration. It's more about bypassing the culture and processes mathematicians have developed that lead to human understanding, generating new ideas, and bringing…
> Are they paid to type code or create programs? The goal is more to understand why something is true than just whether it is true. To oversimplify a lot, it's the difference between industry versus academic motivation.…
It's important to remember that historically many advances have been made without "customer value" in mind. Indeed, freeing oneself from such concerns can open up unexpected avenues for discovery which only later…
That seems OK to me. I'd rather live in a state that funds beauty than one that doesn't. Think grants for artists, etc. A strictly practical world is not a good world to live in.
I think one reason it's discouraged is that it's not completely clear how long it lasts, and getting it early may result in less protection later in life. Also it's only been tested in that age group. (At least, this is…
Research mathematicians have been finding the tools useful [1][2]. I think those problems are interesting, novel, and hard. The AI might stumble sometimes, but it also produces meaningful, quality results sometimes. For…
In that usage the object (football) ends up in the state of spiralling. So the HN title would, strictly speaking, mean that the magnetic fields are causing the black hole to spiral, which isn't right. It's probably sort…
This comment made me curious so I looked up some data (sorry for the formatting, I don't know how to do it better): Guns per 100 people - Finland 2017: 32.49 (total of 1.79 million) [1] - US 2017: 120.5 (total of 393…
Right. What "reduction in biodiversity" means is that some species will adapt fast enough and some won't. Unfortunately, there is no lower limit to "reduction in biodiversity".
> some tropical trees will still be able to photosynthesize in tropical regions. Those will become the dominant species. Unless the environmental changes happen too fast for adaptation to keep up with--the tree of life…
And another fun and powerful technique is "proof by intimidation" (https://en.wikipedia.org/wiki/Proof_by_intimidation), in which you don't have to know what you're doing, but other people have to think you do.
Not as prolific as that Nicolas Bourbaki guy, though!
John Conway showed a generalization of this problem is undecidable. I can't find a PDF but there's a blurb and citation on wikipedia: https://en.wikipedia.org/wiki/Collatz_conjecture#cite_ref-33 I don't know enough to…
I don't think it's correct as stated in the article. Looking at the paper, it basically says: the orbit starting with N dips to f(N) for "most" N, where f is a function that goes to infinity. So, you can't pick f(N) =…
The authors of the paper are academics in university CS departments with heavy math backgrounds (one with a B.S. in mathematics, another was a visiting professor at MIT dept of mathematics). I don't understand what you…
Feedback is critical, though. I imagine many folks who have watched a lot of videos on, say, economics or history or physics or whatever else hugely overestimate what they understand since they get no expert feedback to…
I certainly didn't intend to imply that the declaration is against using AI. My point is just that I feel a little optimistic that the human culture around math ("ideas we disseminate in talks, private discussions and…
Hopefully that's true. Instead of bypassing the community maybe it stimulates the community. I think it does disrupt things a bit, but I'm optimistic at the moment!
I don't think that's entirely fair. I think it's OK that there are some materials designed for a specialist audience, and some materials designed for a wider audience. Technical density serves a real purpose in the…
I'm not totally sure what you mean. You can validate the proof using lean, which is what it's for--the whole magic of it is you don't have to just trust what AI says. That said, to your larger point, there are…
I agree entirely with what you're saying, right up until your final question: > why bother grinding through all the material of climbing Mt. Everest and then attempting it if the helicopter ride is how things are done…
That's true, but the story would have unfolded differently if Mochizuki had a lean-verified proof and was correct. I guess baked into my premise is that AI is producing reliable proofs (in the long term at least).
I wonder if they will continue to dump proofs, though? Their point has been made, the novelty will wear off, and it maybe won't be a priority use of their resources to spend however many millions on another big…
As a mathematician maybe I am a little more optimistic than this declaration. I am thinking of Mochizuki's abc conjecture: He worked in relative isolation, and dumped a huge incomprehensible proof on the community (to…
At issue is the fact that it doesn't typically work like: mathematician produces a proof in isolation, generates a PDF, and shares it with a bunch of people. There's a whole culture and community going on behind the…
The issue of credit is a relatively minor point in the declaration. It's more about bypassing the culture and processes mathematicians have developed that lead to human understanding, generating new ideas, and bringing…
> Are they paid to type code or create programs? The goal is more to understand why something is true than just whether it is true. To oversimplify a lot, it's the difference between industry versus academic motivation.…
It's important to remember that historically many advances have been made without "customer value" in mind. Indeed, freeing oneself from such concerns can open up unexpected avenues for discovery which only later…
That seems OK to me. I'd rather live in a state that funds beauty than one that doesn't. Think grants for artists, etc. A strictly practical world is not a good world to live in.
I think one reason it's discouraged is that it's not completely clear how long it lasts, and getting it early may result in less protection later in life. Also it's only been tested in that age group. (At least, this is…
Research mathematicians have been finding the tools useful [1][2]. I think those problems are interesting, novel, and hard. The AI might stumble sometimes, but it also produces meaningful, quality results sometimes. For…
In that usage the object (football) ends up in the state of spiralling. So the HN title would, strictly speaking, mean that the magnetic fields are causing the black hole to spiral, which isn't right. It's probably sort…
This comment made me curious so I looked up some data (sorry for the formatting, I don't know how to do it better): Guns per 100 people - Finland 2017: 32.49 (total of 1.79 million) [1] - US 2017: 120.5 (total of 393…
Right. What "reduction in biodiversity" means is that some species will adapt fast enough and some won't. Unfortunately, there is no lower limit to "reduction in biodiversity".
> some tropical trees will still be able to photosynthesize in tropical regions. Those will become the dominant species. Unless the environmental changes happen too fast for adaptation to keep up with--the tree of life…
And another fun and powerful technique is "proof by intimidation" (https://en.wikipedia.org/wiki/Proof_by_intimidation), in which you don't have to know what you're doing, but other people have to think you do.
Not as prolific as that Nicolas Bourbaki guy, though!
John Conway showed a generalization of this problem is undecidable. I can't find a PDF but there's a blurb and citation on wikipedia: https://en.wikipedia.org/wiki/Collatz_conjecture#cite_ref-33 I don't know enough to…
I don't think it's correct as stated in the article. Looking at the paper, it basically says: the orbit starting with N dips to f(N) for "most" N, where f is a function that goes to infinity. So, you can't pick f(N) =…
The authors of the paper are academics in university CS departments with heavy math backgrounds (one with a B.S. in mathematics, another was a visiting professor at MIT dept of mathematics). I don't understand what you…
Feedback is critical, though. I imagine many folks who have watched a lot of videos on, say, economics or history or physics or whatever else hugely overestimate what they understand since they get no expert feedback to…