>what's the meaning of '+' there? Mathematicians often reuse the same notation for different things where it's clear (for the mathematicians) what the implied meaning is. That means however that non-mathematicians can…
Thanks for pointing this out, I hadn't noticed that. I'd expect a large customer to be persuaded by Danfoss to upgrade within a year, especially before publishing the details of the vulnerability, so you're probably…
This is a great find, would be nice for it to be mentioned in the original article. It all worked out just like the title says. I guess someone didn't upgrade their firmware in time.
I went through a manual you mentioned in another comment. It listed "High level of security against undesired user access" as one of the features but it wasn't expanded upon. So I did more searching and found…
I didn't expect to spend so much time today thinking about fridges. I have so many questions. If it's all so connected and monitored and notifies of issues, couldn't it notify anyone that the settings are weird, like…
> Connecting your case controller to the internet offers further opportunities to generate savings. If you can diagnose issues and control the case remotely, service engineers needn’t be called out to simple situations…
It's probably a small drop compared to the overall amounts of wasted food. I guess the hope is that it will teach some people important lessons, like "your refrigerator shouldn't be connected to the Internet, and if it…
A rogue knife could potentially stab someone if it was secretly a people-stabbing robot which was unknowingly activated, causing it to move towards people to stab. What AI companies are doing is handling this robot that…
Thank you for the info.
> I fear most Russians will just turn on Ukraine In which ways does the situation where "most Russians turn on Ukraine" differ from the current reality?
Damn, this would have been a good argument for the US to fund Ukrainian long-distance operations, had Russia not been so far behind in the AI race already.
A student's letter from the post says > will math academia be big enough and accessible enough for anyone with sheer passion (despite not being the brightest mind in the field) to pursue a career in, or will it…
Well, adding more Lean verifications was something they were planning to do from the start, so it's no surprise that they did. The withdrawals are more interesting in that regard. I don't really understand why they…
The 6 additions are Lean verifications for already published pre-prints, not new results.
Proof steps can become different in Lean but still work to prove the theorem. Incorrect proof steps in the NL paper could also be converted to correct ones in Lean. The paper shows some examples of this. So the NL paper…
Another discussion: https://news.ycombinator.com/item?id=50002650
This is what it looks like when software engineering practices meet mathematics. "openai/math release 1.3.42: retracted papers 139 and 140, fixed a sign error in paper 47, restored previously retracted paper 85,…
I had the same idea recently. You've solved all the famous conjectures (all formulated by humans because humans found them interesting), what next? I doubt "AI formulated a math conjecture that nobody else cares about…
> Even the Millennium Prize Problems have, in a way, become benchmarks for model companies to prove themselves Well, let them have these. They'll play around with open problems which generate media hype and then they…
I agree. AI with the immense resources of AI companies seems like a great tool to find unexpected connections between different branches of mathematics and they don't seem to be utilizing it. Take monstrous moonshine…
The way I've understood this whole thing so far, the main reason why the mathematicians are so energized right now is because the AI companies' problem solving spree frames mathematics as a discipline that exists to…
Yes, that could be the case. I'm not a mathematician but I gave my fair share of struggle towards trying to understand the mathematics behind physics that I was studying. You don't need to know what a smooth manifold is…
I still don't quite agree with the approach to mathematics as enumerating problems of a certain size, but to be honest I'm not prepared or motivated to keep this conversation going without turning to handwavy arguments…
> the concepts were far less hard than the combination of notation and esoteric jargon with liberal use of symbols and weird letters made them seem I really don't get the hate for mathematical notation here, do you have…
[delayed]
>what's the meaning of '+' there? Mathematicians often reuse the same notation for different things where it's clear (for the mathematicians) what the implied meaning is. That means however that non-mathematicians can…
Thanks for pointing this out, I hadn't noticed that. I'd expect a large customer to be persuaded by Danfoss to upgrade within a year, especially before publishing the details of the vulnerability, so you're probably…
This is a great find, would be nice for it to be mentioned in the original article. It all worked out just like the title says. I guess someone didn't upgrade their firmware in time.
I went through a manual you mentioned in another comment. It listed "High level of security against undesired user access" as one of the features but it wasn't expanded upon. So I did more searching and found…
I didn't expect to spend so much time today thinking about fridges. I have so many questions. If it's all so connected and monitored and notifies of issues, couldn't it notify anyone that the settings are weird, like…
> Connecting your case controller to the internet offers further opportunities to generate savings. If you can diagnose issues and control the case remotely, service engineers needn’t be called out to simple situations…
It's probably a small drop compared to the overall amounts of wasted food. I guess the hope is that it will teach some people important lessons, like "your refrigerator shouldn't be connected to the Internet, and if it…
A rogue knife could potentially stab someone if it was secretly a people-stabbing robot which was unknowingly activated, causing it to move towards people to stab. What AI companies are doing is handling this robot that…
Thank you for the info.
> I fear most Russians will just turn on Ukraine In which ways does the situation where "most Russians turn on Ukraine" differ from the current reality?
Damn, this would have been a good argument for the US to fund Ukrainian long-distance operations, had Russia not been so far behind in the AI race already.
A student's letter from the post says > will math academia be big enough and accessible enough for anyone with sheer passion (despite not being the brightest mind in the field) to pursue a career in, or will it…
Well, adding more Lean verifications was something they were planning to do from the start, so it's no surprise that they did. The withdrawals are more interesting in that regard. I don't really understand why they…
The 6 additions are Lean verifications for already published pre-prints, not new results.
Proof steps can become different in Lean but still work to prove the theorem. Incorrect proof steps in the NL paper could also be converted to correct ones in Lean. The paper shows some examples of this. So the NL paper…
Another discussion: https://news.ycombinator.com/item?id=50002650
This is what it looks like when software engineering practices meet mathematics. "openai/math release 1.3.42: retracted papers 139 and 140, fixed a sign error in paper 47, restored previously retracted paper 85,…
I had the same idea recently. You've solved all the famous conjectures (all formulated by humans because humans found them interesting), what next? I doubt "AI formulated a math conjecture that nobody else cares about…
> Even the Millennium Prize Problems have, in a way, become benchmarks for model companies to prove themselves Well, let them have these. They'll play around with open problems which generate media hype and then they…
I agree. AI with the immense resources of AI companies seems like a great tool to find unexpected connections between different branches of mathematics and they don't seem to be utilizing it. Take monstrous moonshine…
The way I've understood this whole thing so far, the main reason why the mathematicians are so energized right now is because the AI companies' problem solving spree frames mathematics as a discipline that exists to…
Yes, that could be the case. I'm not a mathematician but I gave my fair share of struggle towards trying to understand the mathematics behind physics that I was studying. You don't need to know what a smooth manifold is…
I still don't quite agree with the approach to mathematics as enumerating problems of a certain size, but to be honest I'm not prepared or motivated to keep this conversation going without turning to handwavy arguments…
> the concepts were far less hard than the combination of notation and esoteric jargon with liberal use of symbols and weird letters made them seem I really don't get the hate for mathematical notation here, do you have…
[delayed]