I think you're misunderstanding what the objective of mathematics is. It is not just about what theorems are true and false, but rather why they are true and false. A highschool sophomore could use these prompts, but I…
Second this. What I also wonder about is how closely the TeX write-up and the Lean formalization line-up.
Just don't. If you read the story here carefully, you see that AI was used to work from theory built by others which showed that the Euler equations possesed finite-time blow-ups. But to make that step, actual good…
I have played quite a lot of video games in the past yes. But not much anymore.
You say pretty obvious, but it took me 2 years during my PhD to be consciously aware of this. And once I did, I immediately knew I wanted to leave my field as soon as I would finish.
I remember having a hard time understanding limsup/liminf and only actually understood the concept after reading this book. I am sure it is not for everyone due to its age, but I think this book is a much better…
Generating functions are also a great tool in combinatorics (see for example the book Analytic Combinatorics by Flajolet and Sedgewick).
I think you're misunderstanding what the objective of mathematics is. It is not just about what theorems are true and false, but rather why they are true and false. A highschool sophomore could use these prompts, but I…
Second this. What I also wonder about is how closely the TeX write-up and the Lean formalization line-up.
Just don't. If you read the story here carefully, you see that AI was used to work from theory built by others which showed that the Euler equations possesed finite-time blow-ups. But to make that step, actual good…
I have played quite a lot of video games in the past yes. But not much anymore.
You say pretty obvious, but it took me 2 years during my PhD to be consciously aware of this. And once I did, I immediately knew I wanted to leave my field as soon as I would finish.
I remember having a hard time understanding limsup/liminf and only actually understood the concept after reading this book. I am sure it is not for everyone due to its age, but I think this book is a much better…
Generating functions are also a great tool in combinatorics (see for example the book Analytic Combinatorics by Flajolet and Sedgewick).