pfdietz

11 ms·

331.
by pfdietz 3mo ago
If I pull out the two terms 1+xy and 3 + 4xy as new variables, then make three polynomials that are <= 3 terms in each with coefficients in the range -3 to 3, then there are something like 10^19 possibilities. Multiply this by the vario
332.
by pfdietz 3mo ago
Here the search wouldn't have been chosing the coefficients independently. Note that one intermediate variable is a polynomial in the input variables, and it is used in other polynomials. A search over expressions like the ones in th
333.
by pfdietz 3mo ago
Canada needs a nuclear deterrent.
334.
by pfdietz 3mo ago
Why do you think tech bro billions aren't also subject to replacement by AI? They compete with each other, and if AI does their jobs better than they can themselves they are strongly incented to use AI. Absent a world dictatorship the
335.
by pfdietz 3mo ago
The math community was not a global underclass. World wealth is increasing, the actual global underclass is seeing rapidly improving lives. You may be seeing a loss of privilege due at least in part to the inevitable reversion to the mean
336.
by pfdietz 3mo ago
I don't. I'm retired. I'm also not going to live all that much longer, most likely, so it's kind of annoying I'm not really going to see any upsides to an AI world either. I'm discounting the possibility of o
337.
by pfdietz 3mo ago
For theorem proving, once the statement is formalized, there's an oracle for correctness of the proof. For deciding if something is interesting, well, de gustibus non est disputandum, you know? Experience with Lenat's AM decades
338.
by pfdietz 3mo ago
Proving theorems will have lower payoff, but posing new questions (for AI to chew on) will have higher payoff. Math will go from theorem proving to conjecture farming/exploration. In a way this could be even more fun. Of course AI ca
339.
by pfdietz 3mo ago
The Erdos problem solutions have been accelerating, including a $250 problem and a $100 problem. It's been fun watching the cope collapse from day to day. No one told me a slow takeoff Singularity would have so much schadenfreude.
340.
by pfdietz 3mo ago
When they see us coming, the birdies all try and hide...
341.
by pfdietz 3mo ago
Chickens descend from jungle fowl, which were carried out into the Pacific from SE Asia. https://en.wikipedia.org/wiki/Red_junglefowl
342.
by pfdietz 3mo ago
Style seems to me to be one of those things that shouldn't have IP. Oh no, what happens if it isn't protected? Society spends less money on parasitic fashion?
343.
by pfdietz 3mo ago
Have you read Charles C. Mann's book "1493: Uncovering the New World Columbus Created"? It's all about the global impact of the opening of the New World by the Europeans, and how the global exchange created and is creat
344.
by pfdietz 3mo ago
Sugarcane is also thought to be originally from New Guinea, although it spread widely in prehistory.
345.
by pfdietz 3mo ago
Or clothing that deterministically degrades so it will qualify as unrecycleable. Maybe unlaunderable use-once clothing?
346.
by pfdietz 3mo ago
Unless, of course, the machine being constructed is the prover (and prompts) that proved the results (or achieved whatever result instead of the human achieving it.)
347.
by pfdietz 3mo ago
Lower bounds are really hard.
348.
by pfdietz 3mo ago
Adding up those n1 numbers, each at least n2 digits long, takes O(n1 * n2) time.
349.
by pfdietz 3mo ago
Ah, so you're saying none of us will benefit from the discovery of new mathematical knowledge? You've just condemned funding math, even human-produced math. Either math is useful, in which case AI math is useful, or math is not us
350.
by pfdietz 3mo ago
> This is all a depressing and bleak future that I don’t look forward to. Or, for the vast majority of humanity who aren't professional mathematicians, it's a liberating and empowering advancement. I'm sorry if the automat
351.
by pfdietz 3mo ago
Press "4" if you have a rotary phone.
352.
by pfdietz 3mo ago
So, it's cheap.
353.
by pfdietz 3mo ago
> In order to get a Ph.D., you have to do some sort of original research, China has now introduced "practical PhDs" where you have to build some practical machine instead.
354.
by pfdietz 3mo ago
Wow. That literally has nothing to do with what I wrote.
355.
by pfdietz 3mo ago
You can also carry with you frozen gametes or digital genomes. Digital genetic information can be transmitted between systems at trivial cost.
356.
by pfdietz 3mo ago
What is considered recycling? Is convert the clothing into fuel pellets considered recycling? What about thermal decomposition for feedstocks for chemical manufacture (and what if 75% of the mass isn't useful for that and is instead
357.
by pfdietz 3mo ago
They sometimes start improving again. In the context of your comment, look how the cost/kg to LEO has suddenly dropped radically. This was mostly due to institutional change that allowed previous non-technological barriers to improve
358.
by pfdietz 3mo ago
Moravec's Paradox strikes again! Moravec must be at some level gratified things are arriving close to his predicted timeline.
359.
by pfdietz 3mo ago
> In all of those cases, you need to have enough shielding to avoid spreading nuclear waste over a very large area -- that adds a lot of mass. Conservatively it might add an order of magnitude, and likely less. This still renders future
360.
by pfdietz 3mo ago
> Current costs to launch a kg to orbit are something like $2,000-$6,000. This is false. Launch on Falcon 9 is under $1K/kg. Moreover, current launch costs are just a milestone toward future launch costs, which promise to me much

More ›