So, I um yeah, I think maybe maybe a better way of saying it is 20 20 years ago that whole lean startup thing was uh was almost the only thing to do because of capital available and you didn't have AI that made, I don't know, spinning up an organization with many different potentialities and capabilities so much easier, whereas now I think you can start these much more aggressive and ambitious things up front.
many of the companies that were most successful over the last 10 years, so many of them are are very anti-lean startup, right? Uh whether it's, you know, the labs themselves or Anduril or um yeah, you you you you can go down the list. A lot of them have this characteristic.
And so I think you are right that lean is maybe overrated on the side of the importance of it being used as a VR environment for any kind of like just progress in math generally. But I I I definitely wouldn't write it out of the story.
The Lean Startup helps you build a valuable company. Incorruptible is about how and why to protect it, keeping a company mission-driven over the long term instead of letting it rot from the inside.
Um but now it's quite possible at the high school level or or whatever that that you could get involved in math project and actually make a real contribution because of all these AI tools and and and Lean and everything else.
And there is something about judgment in there too. you know, uh, implied in taste is that some things are good and some things are bad. So, I think you have to be willing to lean into that yourself in terms of uh, being high judgment.
So as opposed to going against I guess human intuition and trying to get them to share stuff that they otherwise wouldn't on the margins want to share like lean into it more actually like grab the moments where users are already organically screenshotting and make those much much much better and you can kind of 5x or 10x and and drive a lot of growth that way too.
I suspect that if you decided to be open-minded, then the Being would probably be extremely persuasive. But I don’t think it’s very common to do that.
Their words now
I take it back. Instead of being unsure, I now lean strongly towards the idea that the Being would in fact be very good at convincing people of stuff, and far better than any human.
So right now I estimate that the time and effort taken to formalize it, proof is about 10 times the amount taken to write it out. So it's doable, but it's annoying.
I think the platform that Lean and other software tools, so GitHub and things like that will allow experimental mathematics to scale up to a much greater degree than we can do now.
And that's a phase shift, because suddenly it makes sense when you write a paper to write it in Lean first, or through a conversation with AI, which is generally on the fly with you, and it becomes natural for journals to accept.
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com.
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.