We ask Claude Opus 5 to write a specific kind of source code that only our proprietary software understands and can render into a lecture video with computer graphics and TTS.
Without our system, there isn’t really an equivalent target language you can ask the LLM to write. Manim exists, but you won’t get videos like these by simply asking an LLM to generate Manim code.
I hear recommendations for this book all the time; I've cover-to-covered Strang several times and have digested maybe 20% of Axler (I just dip into random sections of LADR when something annoys me in a problem set or whatever), and I'm super curious why the aura on Lay's book is so positive.
As someone who's watched all Strang's lectures and read most of Axler's book, I found Linear Algebra and Its Applications to give the most interesting treatment on the topic. What made it so special was its clear explanations and the use cases it introduced.
The applications not only provided the context to get a deeper understanding of the concepts, it also made the math relevant to the real world. By showing a range of problems, from the chemical stoichiometry to the algorithmic SVD, it inspires the reader to look for more problems that can be solved with the toolset being introduced.
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.
You won't get anything new from Lay's book if you've done Strang. It is a basic textbook and doesn't cover anything advanced. It's just a good textbook.
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.
Yes, and the standalone formal proof and independent review will follow.
By the way, I'd like to note that it will likely be a formalization of not the last result in that conversation, but of one of the initial proofs that relied on the Langford sequences and theorems of their existence.
That is a thing people do when they feel a lack of control over other aspects of their life. It's a coping mechanism. Frequently comorbid with depression.
Also it's quite rude of you to dismiss an entire generation with this belittling rhetoric. Mental health is a really, really big deal.
I think the previous generation of Hollywood films was not so egregious on this. There were a lot of normal looking famous actors: Bill Murray, Jack Nicholson, Robert De Niro etc. Often playing good guys.
Now most actors in popular media are good looking to an uncanny level. Antagonist are beautiful too (in GoT as well).
It's not surprising if this negatively affects the psyche of the everyday person.
That's absolutely not the whole answer and never has been.
- People who crave validation seek good looks. They want to be accepted.
- People who crave status seek good looks. They want to be awarded.
- People who crave admiration seek good looks. They want to be desired.
There are so, so many more possible reasons and motivations, and it highly depends on the individual. Someone could have all of the above or none of the above and still obsess over looks. Someone could obsess for different reasons in different contexts or with different moods.
It's not based on some infantile monkey-see-monkey-do obsession with media.
Yes, but if they only see the people of their small town, they see averages, and get a better idea of their own looks, than if they see best shots of the best actors online/in movies.
Calhoun's mouse utopia experiment is looking more and more real by the day.
> The "Beautiful Ones": Younger mice withdrew entirely from social interaction, spending all day grooming and eating alone without mating or fighting.
> Hyper-Aggression and Apathy: Dominant males attacked others randomly, females neglected or killed their young, and reproduction completely flatlined.
I'm all for this. I don't think mathematics should be done as a profession. If you can't find free time to do it, it's obviously not that important to you. Open source software works pretty well, doesn't it? Why not math?
