SpicyLemonZest

6 ms·

31.
by SpicyLemonZest 1mo ago
It's a real example that's happened to me twice in the past year, so I'm not sure what to make of the idea that it's far away from how the real world works. I'm also not sure I understand what you're objecting
32.
by SpicyLemonZest 1mo ago
It's valuable for you , the person who's going to spend a bunch of deep design effort, to make POCs. Is it valuable for someone else to drive by, dump some POCs on your lap, and then leave you to do the deep design effort while t
33.
by SpicyLemonZest 1mo ago
> But it does produce value. We now have an explicit solution and even a proof. Humans can then work on clarifying why it's true. Unsurprisingly, not all that different from software, where models can generate working code just fine
34.
by SpicyLemonZest 1mo ago
No. Merged code can perform actions with effects on the world, even if a human being never saw it. Constructing a giant Lean formalization that nobody understands simply doesn't do anything.
35.
by SpicyLemonZest 1mo ago
> I thought Navier-Stokes (and some of the other millenium prize problems) actually had implications for useful technology. This is the core misunderstanding that the open letter is attempting to correct. Developing a better understandi
36.
by SpicyLemonZest 1mo ago
Their claim is only indirectly related to the motivations of the people using their models. What they're saying is that doing math in this way does not produce the same value as traditional mathematical research, and the people using t
37.
by SpicyLemonZest 1mo ago
He sees value in mathematicians using AI to carefully study mathematics, develop an understanding of both old and new things, and help others understand the new things. He doesn't see value in scrolling through unsolved problems asking
38.
by SpicyLemonZest 1mo ago
I don't think that's the problem the source article is describing. I've seen a number of instances now where people produce work product they don't understand at any level. "Hey Claude, design this feature and sen
39.
by SpicyLemonZest 1mo ago
Yes, this is a problem with modern AI systems in general. It's not just OpenAI, and if you know any artists you know this is why they're pretty vehemently opposed to all AI.
40.
by SpicyLemonZest 1mo ago
What? I don't understand how you even came up with this idea, much less consider it so obvious to condescend about it. Do you have even a single example of a research project that got scooped because the Google Docs team forwarded thei
41.
by SpicyLemonZest 1mo ago
This is absolutely not "common sense opsec". If I type information about some proof I'm exploring into a Google Doc, I do not worry even a tiny bit that the Docs team might forward it to a team of advanced mathematicians in c
42.
by SpicyLemonZest 1mo ago
No, that order was for a defined period that has ended.
43.
by SpicyLemonZest 1mo ago
> Walmart is currently trialing it to save $3B-$7B a year in interchange fees. No crypto, just XML messages through a mainframe at the Federal Reserve with a 20 second SLA. Please tell your user that this SLA is much too high for many pu
44.
by SpicyLemonZest 1mo ago
The 42mm measurement on an Apple watch is the lug-to-lug size, which usually corresponds to about 37mm in standard watch size.
45.
by SpicyLemonZest 1mo ago
> What started out as a nerdy tech space slowly over time has and is morphing into political bullshit that never would have made the front page 10 years ago. Don't you see how we're propagating the problem here? It would be eas
46.
by SpicyLemonZest 1mo ago
As I'm always telling people, the phenomenon you're noticing is that the President of the United States wishes to increase negative sentiment and widen the scope of things which are subject to politics. It's not something tha
47.
by SpicyLemonZest 1mo ago
It can be! I've definitely been to protests where, had an executive of the company we were protesting walked by, a lot of people would have gotten in their face and made them very uncomfortable. There's no law against being mean o
48.
by SpicyLemonZest 1mo ago
I just think OP is completely wrong about what beliefs inspire what action. Anti-nuclear activists in the proliferation era would surely have put their chance of doom above 10%, and yet it was AFAIK unheard of for them to bomb nuclear suppl
49.
by SpicyLemonZest 1mo ago
But it sounds like you've seen some irrational arguments, and the people who believe those arguments have been able to build increasingly powerful LLM systems despite predictions that they wouldn't be able to do that. At some poin
50.
by SpicyLemonZest 1mo ago
Perhaps an AI could! Today they do not, because the people driving them understand constructing the proof rather than understanding the proof to be "the problem". (I suppose it's possible that in some distant AI future there
51.
by SpicyLemonZest 1mo ago
> Not sure what the point of this argument is. Do we have mathematics for the sake of mathematicians good mental health and career or to solve and discover novel problems? Why should we care if mathematicians can understand proofs if the
52.
by SpicyLemonZest 1mo ago
He's saying that in such a scenario, almost all of the value is located in the analysis and just dumping the proof has "negligible or even negative value". (The negative value would occur in the cases where the proof doesn&#x
53.
by SpicyLemonZest 1mo ago
If it's all business as usual and being scooped is no big deal, why was OpenAI in such a rush? They didn't have to launch this effort on the very day they heard the rumor, run "on the order of 10,000 concurrent agents",
54.
by SpicyLemonZest 1mo ago
What they're saying, and I think this was the clear implication of the blog post too, is that the training data definitely would contain these chats and the only question is whether it got encoded into the weights.
55.
by SpicyLemonZest 1mo ago
Being scooped is not a new phenomenon, but the scooper's story is almost always that they were working on the problem independently or had some independent insight into it. By OpenAI's own account, they were inspired to start wo
56.
by SpicyLemonZest 1mo ago
It's not a meaningful response to the accusations. Any productive new research direction would be expected to lead to a number of different possible proofs of a number of similar problems. (Given their bizarrely compressed timescale he
57.
by SpicyLemonZest 1mo ago
They could have thought about the problem for like 2 minutes and not done this! I think that literally any academic mathematician could have explained to them, had they asked, why it is considered extraordinarily rude to react to rumors of
58.
by SpicyLemonZest 1mo ago
Most US regulatory agencies give businesses broad latitude to self-redact their trade secrets in public filings, because otherwise they would have to take time away from their regulatory mission to engage in a bunch of debates about what
59.
by SpicyLemonZest 1mo ago
I'm extremely confident it isn't US companies that "refer customers to Temu or AliExpress for spare parts". Apple and Google, the only two American smartphone makers AFAIK, both have compliant listings with detailed repa
60.
by SpicyLemonZest 1mo ago
I'm not sure I understand the comparison. There's over 100k Flock ALPR cameras in the country, despite how many people passionately despise them and are willing to risk criminal charges to destroy them. Amazon is a much more popul

More ›