In a steady state economy the metal going into infrastructure is balanced by metal recovered from obsolete infrastructure. Demolition and recycling is part of the economic lifecycle.
Almost 70% of US steel production is from recycled metal. Structural steel is recycled at a 98% rate.
I'm completely confident that's not the way it works. One way or another, the investors are expecting a return, and have arranged things appropriately.
How much tax revenue and job revenue which translates to sales revenue, employment taxes, donations, etc has Google generated for California over the years? Is it a business they couldn’t have started somewhere else? Should the beholden to the state in perpetuity?
To be clear, Billionaires often pay zero income taxes. Not 1%, not 5, not 10. They pay $0 in income taxes. Many in the shrinking middle class pay almost half their income in tax.
Can you then guess who gets more representation and voice in the government?
Yes! I think that working with Mathlib is the best long term solution, because it's how people already collaborate on building out the formal "universe of mathematics." We want to speed that up, and hopefully we'll cover all of the common topics very soon!
What I'm hoping to see is high volume automated formalization of the math literature, with the goal of formalizing (or finding flaws in) the entire thing.
And once we have that formalized corpus, it's all set up as training data for moving forward.
We can't really have across-the-board formalization of the math literature without getting the basics done first (including the whole undergrad curriculum) which is what the mathlib folks are working on. It will in fact be interesting to see if AI can meaningfully speed up that work (although they seem to be bottlenecked on review and merging at the moment, not new contribs per se. So a "coding" AI workflow may be a bit of a closer fit.)
reply