News for hackers. Stuff that matters.

renyicircle

It would also be good to know if there are any potential aggregators which have been requested on HN but haven't been built yet. Perhaps someone could build an aggregator for that...
Re:I Am the Reason OpenAI Is Killing Unlimited Chats on Monday November 02, 2026 @07:13AM (#50335785)
How is this small neighbourhood morality applicable to a globally available Internet service? They're not giving out free candy, they're trying to make money and get more customers by offering unlimited chats. If unlimited chats stop being worth it for them, they remove them. At no point of the process I can see them at a board meeting crying about people not being nice.
It's such a breath of fresh air to see a Show HN that is not AI slop. Great work!
Re:So I guess everyone uses LLMs to think now on Monday November 02, 2026 @04:51AM (#50334849)
I don't think this has a lot to do with AI. People from certain circles wrote like this at least since tumblr, then it got trendy on Twitter, etc. There's probably no deep meaning here.
Re:A Visual Intro to Complex Numbers on Tuesday October 13, 2026 @01:02PM (#50075002)
>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 get confused.

The plus here is the operation that we call "the sum of complex numbers", where the numbers are a and bi. We can work towards this by first defining complex numbers as a tuple of two real numbers with particular sum and multiplication laws for these tuples. So (a, b) + (c, d) = (a + b, c + d) where the left side plus is for complex numbers and the right side plus is for real numbers. Similarly for multiplication, (a, b) * (c, d) = (ac - bd, bc + ad).

We associate (1,0) with the real number 1, and similarly for tuples of the form (a,0). The association is what allows us to see the real numbers as a subset of the complex numbers rather than being some unrelated set. It makes sense because the set of tuples of the form (a,0) with the multiplication laws of complex numbers behaves the same way as the real numbers and is in 1:1 correspondence with them. This association is used every time we write (a,0) as a(1,0) or just "a". We also write (0,b) as b(0,1) since (b,0)*(0,1) = (0,b), from the multiplication law. A general tuple (a, b) then can be written as (a,0) + (0,b) or, as what we've said is the same thing, a + b(0,1). Now we have simplified notation for all of these things except (0,1). It follows from the multiplication law that (0,1)*(0,1) = -(1,0) = -1. The complex number whose square is -1 is denoted as i. All these simplifications allow you to write (a,b) as a + bi.

> More fundamentally what's addition and multiplication? Is there a continuity between them, like an operator that represents both addition and multiplication meeting them half-way?

I'm not personally aware of any concept of continuity between these operations. In abstract algebra, operations are fundamental to an algebraic structure. The field of real numbers or the field of complex numbers are algebraic structures defined by their elements, the binary operation called addition, the binary operation called multiplication, and the laws that these operations satisfy. For example, both are commutative and associative, but the distribution law shows that they're different: a*(b+c) = a*b + a*c, but not a+b*c = (a+b)*(a+c). Also, a+0 = a, but a*1 = a, so the operations have different special elements that "fix" the other element when an operation is applied. It may be interesting to think what a "half-way operator" would have to be like with respect to these laws.

>What's the significance of square and square root? Aren't they just some exponent values (2, 1/2) which have no particular significance on the real line?

The idea of complex numbers and the more general idea of field extensions, which describes the process of obtaining complex numbers from reals, came from the study of polynomials. Polynomials can only have terms of integer degree. They satisfy many nice properties and quite rich mathematical structures arise from them which would not be possible with general non-integer degrees. Second degree polynomials with real coefficients, like x^2 + 1, are the lowest-degree polynomials such that they may not have real roots, and x^2 + 1 is the simplest example, but any other polynomial can be used to produce the complex numbers as well, if has a factor like x^2 + a. This is where the 2 comes from. It's not significant from a real line perspective (2 is just a number among the infinite reals) but it's significant from an algebraic one.

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 right.
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 cybersecurity best practices from Danfoss.

https://www.danfoss.com/en/service-and-support/fix-and-troub...

They highlight connection through a firewall, mention secure remote access methods, monitoring for data breaches, strong access controls, etc. Reasonable, but these are just recommendations, so the stores could have followed all of them or none at all.

An article about Danfoss vulnerabilities mentioned in a different comment (https://claroty.com/team82/research/freeze-the-controller-de...) says

> we searched publicly available internet-wide scanning platforms, including Shodan and Censys, for signatures associated with its management interface. It didn't take long to find what we were looking for. Numerous controllers [2765] were directly accessible from the public Internet.

So none at all is a possibility.

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 continuous 50 degree Celsius defrosting? How much access did the hackers have, apart from temperature controls? Could nobody intervene quickly before the damage was done? Was there a way to "unplug" the fridges or they would just keep frying, so they had to get people across all the stores doing manual resets?
> 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 like starting a defrost. And being able to compare performance and efficiency across an entire estate of stores makes it easy to spot patterns and make incremental efficiency gains. (https://www.danfoss.com/en/service-and-support/articles/dcs/...)

I wonder if the incremental efficiency gains from this outweigh the damages. That doesn't even sound like a bad idea, unless of course nobody stops to think "but what if someone hacks this".

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 absolutely has to, take some time to consider security".
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 they know can potentially stab people, and trying to convince it nicely not to activate because they don't know what the activation trigger is and how to remove it. "Rogue" doesn't really make sense in this context.
Re:Yandex Takes a Second Data Center Hit in 48 Hours on Friday October 09, 2026 @11:40AM (#50022125)
Thank you for the info.
Re:Yandex Takes a Second Data Center Hit in 48 Hours on Friday October 09, 2026 @11:11AM (#50021627)
> 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?

Re:Yandex Takes a Second Data Center Hit in 48 Hours on Friday October 09, 2026 @11:07AM (#50021569)
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.
Re:What should we tell our students? on Friday October 09, 2026 @10:18AM (#50020902)
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 inevitably shrink such that it will only really be accessible to the brightest minds?

Could someone with a recent math PhD experience tell me if it this hasn't been so for years? Competition is incredibly high because people have to compete with every "brightest mind" from all around the world. PhDs are overproduced relative to the number of permanent positions. It's not a question that you only start to think about after you've seen LLMs do mathematics, and if that's the case the student should be made fully aware of what he's getting into. I don't want to call the original post "dishonest" but I wish this was addressed here without the LLM angle. However, it was written by a tenured professor, so he did say the only thing he realistically could.

Re:OpenAI withdraws three mathematical results on Friday October 09, 2026 @09:53AM (#50020585)
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 didn't only put out the results that had Lean verification already. This way they could avoid the withdrawal thing, because these papers didn't have Lean, and also add whole new papers after they had Lean code for them, which would be the title of the post then.
Re:OpenAI withdraws three mathematical results on Thursday October 08, 2026 @01:42PM (#50009115)
The 6 additions are Lean verifications for already published pre-prints, not new results.
Re:Navier–Stokes Lost in Translation on Thursday October 08, 2026 @08:30AM (#50005039)
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 can't be trusted even if Lean verification passes, but it doesn't immediately mean that the NL proof is wrong or that Lean is checking the wrong thing.
Re:OpenAI Withdraws 3 Math Papers on Thursday October 08, 2026 @07:50AM (#50004716)
Re:OpenAI withdraws three mathematical results on Thursday October 08, 2026 @07:25AM (#50004514)
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, refactored the arguments in paper 101".

I'm curious to know if the withdrawal was due to an actual mathematician looking at the papers and noticing the errors, or they ran a model on these to proofread, which would not be the first time, presumably, since they would have surely done that before publishing. Both options have interesting implications.

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 and immediately solved it" will produce that much hype. The actually interesting thing is indeed how mathematicians themselves will use these AI models going forward and how that will shape mathematics of the future.
> 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 might run out and move on to something else, because "AI came up with a problem and solved it in 3 days" won't have the same effects as "AI solved a problem in 3 days that humans couldn't solve in 100 years".

Re:The Advisory Group on Mathematics and Artificial Intelligence on Tuesday September 22, 2026 @08:12AM (#49799992)
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 solve open problems. Mathematicians don't fully share this view even though they value problem solving, and they're afraid that this framing will produce the following chain of thought in the public: Mathematicians get paid to solve problems -> AI solves problems better -> we don't need to pay mathematicians. So they're trying to reframe their work to shift problem solving to the background and keep getting paid. I leave it to the mathematicians to explain what their value is, as they would do a better job of it, and it remains to be seen if this reframing will work.

Regardless of that, what happens long-term if AI gets good enough to solve all the hard open problems?

Millenium problems may give AI companies some temporary hype, but advancing research in some narrow directions to find new problems is probably not worth it to them. In addition, current problems have clear, human-defined acceptance criteria. Problems that are both found and solved by AI will be opaque enough not to generate interest in anyone unless they are found to have immediate applications. Mathematicians will somewhat distrust 1M+ LOC Lean formalizations as well as any original AI output in the form of creating a bunch of new concepts. There will surely be heated discussions around that.

Afterwards, mathematicians take some time to catch up with the solutions to existing problems, use AI to understand them and map out further directions. Problem solving by AI companies slows down since there are no cool problems left. They move on, mathematicians get back to whatever they were doing before, now with the help of AI.

With every mathematician having a strong mathematical AI model, a new problem arises. At any point of the current mathematical frontier, a mathematician can use AI to explore a new direction at a high speed. If all mathematicians do that, each will have their very advanced understanding of their direction until they fail to catch up the AI, and nobody knows whose direction is the one that others should check up with. Many possible connections with other branches and explored directions will be lost, unless there's a unified map of all these explorations. It will be hard to create this map, because while exploring one direction may have a moderate cost for a mathematician, having an AI do an overview of all other explorations to find some commonalities and synthesize the findings into a unified theory will take serious amounts of resources only available to AI companies, which they might be reluctant to spend.

Individual mathematicians' explorations will slow down to human level, too, with their unique findings being hard to publish because nobody will care and the mathematical community wants to do things that other mathematicians can appreciate.

In the end, the mathematicians' work does not change that drastically, unless AI gets good enough to one-shot some new crazy branch of mathematics that reveals something with high real-world impact. But that's a discussion for another time.

Re:Why Do We Need Human Mathematicians Anymore? on Tuesday September 22, 2026 @04:51AM (#49798266)
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 to solve problems in classical mechanics, just as you don't need to know what a tensor product of vector spaces is to learn what tensors are in the context of neural networks. The former is always harder because the standard of rigor is higher, and that's because of different goals. So it could be that a person tries to look up what a tensor is, finds the mathematician's definition first, thinks "what the hell is this", then finds a simpler explanation in applied contexts and goes away with the idea that mathematicians unnecessarily complicate things, because the reason why the mathematical definition has to be so complicated escapes them.
Re:Why Do We Need Human Mathematicians Anymore? on Tuesday September 22, 2026 @04:42AM (#49798218)
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 based on my imperfect idea of what mathematics is and how it works. However, it's certainly given me something to think about, so it hasn't been completely pointless. Thank you for the discussion.
Re:Why Do We Need Human Mathematicians Anymore? on Monday September 21, 2026 @01:32PM (#49790442)
> 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 specific examples? Notation is a necessary tool to express complex ideas compactly so that others can understand them. It allows you to carry out technical proofs that confirm things that are "obvious". Then it uses previously introduced concepts to build new concepts on top of them. This keeps mathematics interconnected, there's value in explaining a concept in terms of already known things rather than just vibing it.

> makes itself intentionally hard

It doesn't make itself intentionally hard, it is just hard. You can simplify some expositions and make concepts easier to understand intuitively but it won't necessarily give you the skills to actually work with them in mathematical practice (which is the point of mathematics as a discipline).

Re:Why Do We Need Human Mathematicians Anymore? on Monday September 21, 2026 @12:44PM (#49789692)
I mean, there's some truth to that joke in this case, so I wouldn't agree that it's dismissing. The point of it is that what matters is how we define "interesting", because by the joke's definition in particular, there can't be uninteresting problems. That seems to be a very subjective concept that can also change with time. Mathematics is so specialized that there can be 3 people in the world who find one specific problem interesting. If they solve it, they'll move on to something else.

I find it curious that you've protested against that joke but not against the statement that "it seems likely that there's a finite number of interesting math problems". It doesn't seem likely to me personally and I haven't seen proof of that, even in a joke form. There's a finite number of problems at any given time, obviously, because mathematicians are finite, but it would require a very good understanding of the whole of our mathematical knowledge to declare that if we keep expanding it we'll hit some kind of wall, of "interestingness" or whatever else.

Re:Why Do We Need Human Mathematicians Anymore? on Monday September 21, 2026 @05:33AM (#49785065)
I think that's a variation on the interesting numbers paradox joke. Statement: All numbers are interesting. Proof: Assume by contradiction that there's a non-empty set of uninteresting numbers. Then that set contains the smallest uninteresting number. That property makes it interesting.
Re:Do birds have accents? the regional differences in birdsong on Sunday September 20, 2026 @01:52PM (#49778164)
Sometimes they even say "I know I'm pretty, too" at the end.

Older »