gorgolo
Didn’t like their comment either but what in the world kind of racist response is this. Where did this come from?
Two things were happening at the same time: deindustrialization and electrification. Industries and the economy used to depend more on machines and oil. That was getting replaced by reliance on electricity. If electricity generation was cheap enough, we might have seen the total energy usage get transformed one for one into electricity usage. But that didn’t happen and energy usage overall went down. That’s deindustrialization.
Of course it could have other reasons like labour costs and so on.
Low margin industries probably contribute a lot and are more likely to change electricity usage patterns (by moving to a different country or being outcompeted).
> in many fields it is (was?) normal to post a preprint and leave it up for the next year while the handful of other people working on the topic digest it and agree on whether it’s right or not, before even submitting to a journal. Sometimes the others would find an isssue in an argument and you hopefully manage to fix it or potentially retract / not submit to a journal.
A pre-print has a chance to be incorrect. Pre-prints do sometimes end up incorrect and need adjustments or even retraction. It sounds like you define "confirming it before you publish" as being 100% certain it's correct. Nobody is 100% sure their pre-print is correct. If it was 100% correct and never retracted there'd be no need for this process of sharing and digesting it before actually submitting. You do your best and maybe someone else thinks about it in a new light you missed and it's suddenly wrong.
Is the rate of retraction and/or correction going to be worse for OpenAI than it would be in normal circumstances for a normal human author? Only time will tell, it's only been a few days.
But all these complaints really just look like pulling at whatever straw to deny what's happening.
They could've instead hired a select group of mathematicians to spend then next 6 months checking these works, trying to understand and refine them, build on them etc... You and the others here would have 100% complained. Even more bitterly. And then you would've perhaps been right: it would have looked like there's a select in-group of mathematicians that get to see and work on the new breakthroughs while the rest of the field is kept in the dark. Instead of now where it's public, anyone can do that. Maybe that's what will happen in the next release. It's not gonna be good though.
Forgive me if I have no sympathy for current mathematicians who think this way. It's a pretty ugly kind of arrogance.
Some people told themselves they were the pinnacle, the first-rate mind, as opposed to all the second-rater. Well guess what, now your first-rate mind is a commodity and exposition is more valuable. They'd better learn to live with it.
There was a bunch public literature on these topics. They were major unsolved problems. Lots of humans would want to have solved them and tried. But here’s it an llm that has solved them.
They had over a hundred papers, they basically did a GitHub dump and a pretty bare blog post that mentions they have a retraction policy. Should they have done it anonymously? Is the blog post the problem? Is it that it’s on GitHub? Or what?
Maybe there’s some variance or it depends on the reader. That said, like with a lot of other complaints about AI: human papers can be poorly written and poorly explained too. That’s always been the case. And sometimes a proof is just complicated and hard to expose nicely.
I don’t think it helps your argument if this is half of your post. The fact that the pdfs don’t follow a common template? That’s the complaint? Human papers also don’t follow a template.
You are the CFO of Meta and you have have a choice to make in your tax reporting: option A and option B. Both are esoteric and don’t relate much to how a normal person pays tax or thinks about finance, both are legal, but option B leads to billions of dollars less in your bill. Would HN posters really choose option A?
If there’s a problem it’s that there is so much complexity and so many legal but complicated choices you can make that change how much tax you pay, and only the very rich, and very large corporations, have the ability to explore those options (of course the law is also skewed towards giving them loopholes and tax breaks that don’t apply to a normal person)
As someone not very familiar with Lean, does it really just depend on the entry point / theorem being correctly encoded? Can intermediate statements ever be mis encoded or misinterpreted, or is this what would count as a “bug in the Lean compiler”?
But one thing I’ve noticed which I find a bit of a red flag: by default you only archive chats. If you go online, it says there’s a location in settings where can delete your archive. But it’s not that obvious where to find, and when I finally find some link, it was literally broken. It said it can’t find any archived chats, even though I archive them all the time.
Bit of a red flag for me. Both Anthropic and OpenAI claim that when you delete a chat, it’s gone after some retention period. They’re just words but if they’re secretly training on your traces and you delete your chats, then they would need to break two terms/conditions: ignoring your “train on my data” preference and ignoring your orders to delete chats. So it is an extra barrier.
But OpenAI, as far as I can tell, doesn’t let you delete your chats. Convenient then if they change their mind about training sometime in the future.
What happened to SA is not what anyone would call “a fund folding”. Normally you’d assume folding means the fund went bankrupt, or closed at a loss.
This fund is not closing and not on a loss. It’s not bankrupt, and apparently it is opening up new positions and continuing to invest in its main theme last I saw it in the news.
It is on a major drawdown from its peak a few months ago, but it’s still up for the year, most of its investors are likely well in the positive. If you make a huge investment and it goes up 5x before trimming its gains and ending up 100%, you’ll be annoyed, you’ll wish you sold at the top, but you’ve still doubled your money.
Getting margin called and closed this way is not the same as going bankrupt.
Not arguing against on-device LLMs, I also wish it were so.
Eg that the entire surface of the earth gets replaced in a million years by tectonics.
Many of the large plates are more than 1000km across, they’d need to be moving meters per year for that to happen. In reality it’s cm per year. Also typically it’s oceanic plates that get subducted and take material under the crust, not continental plates. If it were true, then how do we see dinosaur fossils, and creatures even older than that; how do we find rocks that are over a billion years old.
This doesnt reject the possibility that there was a civilization tens of millions of years ago, but it makes the article hard to take seriously. If you’re gonna spend time writing an article on this you might as well try to research it a bit more. Someone is gonna read this and repeat this nonsense like it’s some fun trivia.
Concerning past wars: yes there were enormous protests. Just like today, many people disagreed with what was happening. But the same was true in the US; many Americans also disagreed with the Iraq war. There was an entire Bush vs Kerry election on that theme. In the end though, there’s a difference between what normal citizens are saying, and what the country actually does. This applies to both the US and Europe. With Iraq, despite all these protests, the majority of European states actually joined the war, with a few standout exceptions like the neutral states and France/Germany. And then they joined the US in several more regime change operations over the following two decades (and with these somehow the IS didn’t even seem like the main cheerleader).
With Iran now, there’s what normal people say and what politicians say and do. I haven’t seen any of the major leaders actually condemn the war apart from Spain. Most tweets are along the lines if “we are watching with concern but we agree something had to be done”. Macron only piped up against it like a month in, and that seemed as much related to Trump insulting his wife as it was to the war itself.
EU is the third largest economy and has 450m people. If they genuinely wanted to do something about this, about their oil being cut off and all the rest of it, they would have.
On Gaza too. Despite the large protests, and there are a few small nations plus Spain being vocal about it, but what concrete actions has the EU and European nations taken on Gaza? And have you actually seen the UK and German government responses to the protests?
I find the online opinion on Europe / US relations interesting. Online you’d think Europe and US are about to split. But in real life, Europe is more dependent on the US than ever. In terms of energy (Russian fossil fuels basically replaced by US fossil fuels), defense, economy (European economy relatively smaller now than 20 yrs ago), and they just finished signing very one sided deals where they guarantee energy purchases and investment after the tariff war. I think there’s a disconnect between European commenters and European politicians.
I think this is the most unfair thing about it; Germany might be the reason, but it’s not Germans paying the consequences. It’s not 70k dead Germans, but 70k dead Palestinians (a Semitic people).
I can understand thefeeling of wanting to make amends for their crimes, but they are making amends by now allowing a whole new genocide to occur, against a completely unrelated people.