richard_chase

We just let the LLMs rip and spend most of our time in the sleeping pods or the buffet. Six figures for days of relaxation. It truly is the good life.

I was thinking this would be done at some point but not so soon.

I think a lot of "mathematicians" are saddened by the sudden realization they are not even interested in it and were only in it for status and prestige. A lot of them are such pretentious tools that they willingly wasted their lives doing the absurd PhD rituals. Academia is dead.

Anyone know of a good Lean tutorial? I've played around with it a bit but never really learned it properly.

You just said in another comment that you use Claude Opus 5 to generate the video in a single shot. What about it won't work?

Why do I need to use this? Why can't I just use the LLMs directly to generate lectures if I want?

Lay explains things very clearly and it's very good for going back to when I need to review something. Lay covers all the foundational linear algebra topics you would need for say, ML or graphics programming. I found that roughly the first half of LADR felt like a review of what Lay covered.

"Linear Algebra and Its Applications" by David Lay is the best introductory linear algebra textbook, hands down. Love it.

I think Stewart's Calculus is excellent and it is rightfully the standard textbook. No modifications needed in my opinion.

The Fields medal is awarded to those who are the best at using LLMs (e.g. vibe-coding Lean) and those with the best WordPress blog with blurry math images. It is a huge honor in the vibe-coding community.

You could try it but I don't think it's going to work. Go ahead, try it.

That means the post was good, even though the blurry math images are illegible. But yes, as a Fields medalist he is an expert on LLMs.

Good stuff. Maybe I missed it in the post, but I didn't see a formal proof of the conjecture?

I think the new generation will be alright. From what I've seen, they seem to believe that maximizing their looks is the answer.

Well you've insulted me like 50 times, so I think you're the one who should chill, my good sir. All I did was ask a couple of sincere questions and I'm met with a barrage of insults, yet no answers. Interesting. Also, I honestly have not heard or read anything Donald Trump has said in years.