I mean, my reaction to God coming down and saying they were bored of being God and instead they would just sit around and answer all of the mathematician's questions would largely be the same, so yes, who cares if its…
LLMs applying the ideas to problems I'm trying to solve is exactly what I said I wasn't interested in, actually. Because the LLM doing this for me reduces back to me simply reading from the textbook, only now I have no…
I cannot quite share your enthusiasm. The clearest analogy that I can think of to try to explain why I feel this way is that it seems there will eventually be a phantom textbook of all of mathematics contained in the…
I believe D. A. Jimenez and C. Lin, "Dynamic branch prediction with perceptrons" is the paper which introduced the idea. It's been significantly refined since and I'm not too familiar with modern improvements, but B.…
All you have done is contribute a wikipedia article which is the second google result if you search the title of the video. Another user made a comment referencing a textbook they used to learn this material as well as…
> Why do you think that the 2024 Putnam programs that they used to test were in the training data? Putnam solutions can be found multiple places online: https://kskedlaya.org/putnam-archive/,…
> By that logic I can slice open a sphere and call it a sheet You can do this. If you remove a point (or a line, or really any connected component), you get a space which is the same as the plane. What happens if you…
> In guideline 1v1 a lot of very high level games are decided by garbage RNG which I think is even less interesting than determining who is 0.1pps faster. I have played a lot of (moderately high level) 1v1 tetris and I…
Vector operations are widely used in common software. Java uses AVX512 for sorting. glibc uses SIMD instructions for string operations.
> There have been efforts to reprove it with a more easily verified proof, but they've gone nowhere. My understanding was that the so called "second generation proof" of the classification of finite simple groups led by…
I am somewhat surprised issues of scripting and trading even exist in the registration system. Staggering enrollment times over a few days, with new waves every 20 minutes or so, mostly solves scripting issues since you…
You can just drop the course - pretty much every university (in the United States, at least) allows students to drop courses one or two weeks into the semester without any record (on say, a transcript). Otherwise…
[dead]
> When you get good enough at mathematics, you can tell if your proofs are correct or not without asking a TA to grade them for you. This is simply not true - you can get a very good sense of when your argument is…
> and finally find a path to the solution. But how does the student, or in your case the LLM, know that it actually has the solution? For students, this is done by: a grader grading the homework, asking the professor at…
> All of which effort and edifice would collapse into the dumpster Except it wouldn't, because the work towards the BSD would still be right and applicable to other problems. If someone proved the Riemann hypothesis…
> If Computer Architecture were a really healthy field, classes would have to be taught from recently-published papers, because it was moving faster than a textbook could be published. I really don't get this…
Looking at how no samples other than the 3 samples in the "Long horizon memory" section have any camera movement which puts something offscreen and then back onscreen, it certainly seems that they are stretching the…
But how do you analyze the policies without doing science? Nothing in the above is sound to me. "The proposed policies in the US all dramatically increase the cost of energy" - why? How do you even begin to conclude…
Why does pretraining or not matter in the ISPD 2023 paper? The circuit_training repo, as noted in the rebuttal of the rebuttal by the ISPD 2023 paper authors, claims training from scratch is "comparable or better" than…
Do you have some examples of ones you found beyond what a human could straightforwardly figure out? I tried a bunch and they all seemed reasonable, so I would be interested in seeing - I didn't try all 400, for obvious…
You might like the book "A History of Abstract Algebra" by Israel Kleiner - it goes over specifically the developments leading to the invention of the abstract group. The answer to your questions is that nobody really…
> I can guarantee you that way more men applied to Caltech than women did Actually, my understanding was that women typically apply to higher education at higher rates than men.…
Comparing common crawl to video makes no sense. Common crawl is text extracted from webpages. 424 terabytes of pure text contains exponentially more text than I will read in my entire life.
One application I like is the use of the Seifert-van Kampen theorem to prove that the fundamental group of the circle (S^1) is isomorphic to Z. While category theory is not strictly needed to prove this (you can compute…
I mean, my reaction to God coming down and saying they were bored of being God and instead they would just sit around and answer all of the mathematician's questions would largely be the same, so yes, who cares if its…
LLMs applying the ideas to problems I'm trying to solve is exactly what I said I wasn't interested in, actually. Because the LLM doing this for me reduces back to me simply reading from the textbook, only now I have no…
I cannot quite share your enthusiasm. The clearest analogy that I can think of to try to explain why I feel this way is that it seems there will eventually be a phantom textbook of all of mathematics contained in the…
I believe D. A. Jimenez and C. Lin, "Dynamic branch prediction with perceptrons" is the paper which introduced the idea. It's been significantly refined since and I'm not too familiar with modern improvements, but B.…
All you have done is contribute a wikipedia article which is the second google result if you search the title of the video. Another user made a comment referencing a textbook they used to learn this material as well as…
> Why do you think that the 2024 Putnam programs that they used to test were in the training data? Putnam solutions can be found multiple places online: https://kskedlaya.org/putnam-archive/,…
> By that logic I can slice open a sphere and call it a sheet You can do this. If you remove a point (or a line, or really any connected component), you get a space which is the same as the plane. What happens if you…
> In guideline 1v1 a lot of very high level games are decided by garbage RNG which I think is even less interesting than determining who is 0.1pps faster. I have played a lot of (moderately high level) 1v1 tetris and I…
Vector operations are widely used in common software. Java uses AVX512 for sorting. glibc uses SIMD instructions for string operations.
> There have been efforts to reprove it with a more easily verified proof, but they've gone nowhere. My understanding was that the so called "second generation proof" of the classification of finite simple groups led by…
I am somewhat surprised issues of scripting and trading even exist in the registration system. Staggering enrollment times over a few days, with new waves every 20 minutes or so, mostly solves scripting issues since you…
You can just drop the course - pretty much every university (in the United States, at least) allows students to drop courses one or two weeks into the semester without any record (on say, a transcript). Otherwise…
[dead]
> When you get good enough at mathematics, you can tell if your proofs are correct or not without asking a TA to grade them for you. This is simply not true - you can get a very good sense of when your argument is…
> and finally find a path to the solution. But how does the student, or in your case the LLM, know that it actually has the solution? For students, this is done by: a grader grading the homework, asking the professor at…
> All of which effort and edifice would collapse into the dumpster Except it wouldn't, because the work towards the BSD would still be right and applicable to other problems. If someone proved the Riemann hypothesis…
> If Computer Architecture were a really healthy field, classes would have to be taught from recently-published papers, because it was moving faster than a textbook could be published. I really don't get this…
Looking at how no samples other than the 3 samples in the "Long horizon memory" section have any camera movement which puts something offscreen and then back onscreen, it certainly seems that they are stretching the…
But how do you analyze the policies without doing science? Nothing in the above is sound to me. "The proposed policies in the US all dramatically increase the cost of energy" - why? How do you even begin to conclude…
Why does pretraining or not matter in the ISPD 2023 paper? The circuit_training repo, as noted in the rebuttal of the rebuttal by the ISPD 2023 paper authors, claims training from scratch is "comparable or better" than…
Do you have some examples of ones you found beyond what a human could straightforwardly figure out? I tried a bunch and they all seemed reasonable, so I would be interested in seeing - I didn't try all 400, for obvious…
You might like the book "A History of Abstract Algebra" by Israel Kleiner - it goes over specifically the developments leading to the invention of the abstract group. The answer to your questions is that nobody really…
> I can guarantee you that way more men applied to Caltech than women did Actually, my understanding was that women typically apply to higher education at higher rates than men.…
Comparing common crawl to video makes no sense. Common crawl is text extracted from webpages. 424 terabytes of pure text contains exponentially more text than I will read in my entire life.
One application I like is the use of the Seifert-van Kampen theorem to prove that the fundamental group of the circle (S^1) is isomorphic to Z. While category theory is not strictly needed to prove this (you can compute…