21–25 of 25 posts
beginning reeked of... maybe not ai, but bad writing but the further into the text, the better the prose by the end it was great --- good to know that conjecture has been false for real numbers for a while now
It got more and more AI towards the end.
This is really good - miles ahead of almost all other math writing I have read. One particular thing I really liked was the explanation of the determinant. When I was in college I spent a very long time trying to get some intuitive explanation for a determinant of a matrix and the best I could get is that you just multiplied and subtracted some numbers and poof there you go. I KNEW there had to be some more comprehen…
Seems like it was entirely AI written (claude) from the commits: https://github.com/muchmirul/conjectures/commits/main/
Earlier quoted context omitted.
Seems like it was entirely AI written (claude) from the commits: https://github.com/muchmirul/conjectures/commits/main/
Shows how well prompted AI can significantly improve human understanding. It's the slop patterns that seem to turn people off.
This is really good - miles ahead of almost all other math writing I have read. One particular thing I really liked was the explanation of the determinant. When I was in college I spent a very long time trying to get some intuitive explanation for a determinant of a matrix and the best I could get is that you just multiplied and subtracted some numbers and poof there you go. I KNEW there had to be some more comprehen…
Earlier quoted context omitted.
Also more and more use of an extremely annoying effect: text-heavy animations that reset themselves for no reason while you're trying to read them. Step 11, for instance: no value whatsoever is added by erasing and redrawing that figure. Still, overall a very nice piece of pedagogy. If you didn't grok determinants before, this will probably help.
revised. thanks for the feedback