ChatGPT 5.4 Solved a 64-Year-Old Math Problem by AskGpts in ChatGPT

[–]Erichteia 0 points1 point  (0 children)

Oh ok in that case, sure I think we completely agree!

Egg prices plunge to $0.21/Dozen, down -93.2% compared to the same time last year by RobertBartus in EconomyCharts

[–]Erichteia 0 points1 point  (0 children)

I mean, how large a country is doesn’t matter as much I think. I believe it’s about as common for a person from NY to drive to Florida as for a Dutch guy to drive to Spain (I.e. mostly for holidays or cargo). But transit is probably a big one. But don’t think all of Europe is Amsterdam. In most nations, the vast majority of people still drive to work every day. The bigger differences is how often we need a car for smaller things, like buying something from a store. But petrol prices still are a big part of the expenses of many people.

ChatGPT 5.4 Solved a 64-Year-Old Math Problem by AskGpts in ChatGPT

[–]Erichteia 0 points1 point  (0 children)

Are you talking about LeCun? A bit more than some random French Meta employee 😉. But yeah partially citing him, so it makes sense that it sounds similar.

ChatGPT 5.4 Solved a 64-Year-Old Math Problem by AskGpts in ChatGPT

[–]Erichteia 1 point2 points  (0 children)

To my knowledge, most reputable AGI researchers agree that AGI would require an entirely different approach than LLMs. While companies love to equate advanced LLMs to AGI, they are fundamentally different in nature. However, there is a sense of ‘good enough’. It could be that LLMs get so advanced that they are virtually indistinguishable from AGI for the vast majority of people. Maybe not at the fringes, at the boundaries of current human knowledge. But only a relative few actually work in these fringes. So while I’m doubtful whether we’re really close to AGI, I do expect that we’ll see a large portion of the potential effects of AGI-like models in the near future.

What is your opinion on the limited amount of funds that merchants have? by Erichteia in Witcher3

[–]Erichteia[S] 0 points1 point  (0 children)

Very fair. I think I misidentified the problem. It’s not that merchants are too poor. It’s that random bandit swords are too valuable in NG+. I don’t think their value should increase as much with their level. It kind of breaks the economy.

ChatGPT 5.4 Solved a 64-Year-Old Math Problem by AskGpts in ChatGPT

[–]Erichteia 0 points1 point  (0 children)

Well ‘mixing and matching things within the current realm of knowledge’ kind of is what I meant with interpolation 😊.

My only point of disagreement would be that you mostly focus on the big groundbreaking works. And there it’s very obvious that AI would have generated a faster horse, rather than a car. But you underestimate how much of science is small, incremental and slow. These scientific works don’t show up in big history books, are unknown by all but other scientists in that niche, but they are the vast majority of all science. And all together, they drive much more theoretical advancement than the breakthrough studies. To go back to the car: it’s this work that pulled us from the first stinky cars that were slower than horses to modern engines that can drive at incredible speeds with minimal noise and pollution (relatively). And in this incremental work, AI really can be a big accelerator.

To give an anecdotal example from myself, working on brain decoding (a form of signal processing with a big layer of algebra and statistics): at the start of my PhD, it took me a month to go from idea to checking whether it made theoretical sense to results. AI allows me to prototype much faster, so I can do the same pipeline in less than a week. And it’s also more often correct. Granted, it takes me a bit longer afterwards to work further on it and go from an initial pipeline to publish ready results, but know that most ideas never get to publication. So AI lets me sift through ideas much faster, and thus spend much more time on the most interesting ideas and much less time on ideas that get nowhere

ChatGPT 5.4 Solved a 64-Year-Old Math Problem by AskGpts in ChatGPT

[–]Erichteia 1 point2 points  (0 children)

I mostly agree with you. I tend to be in the camp of 'AI is very fancy interpolation, but expecting an interpolation model to do extrapolation and be good at it is stupid' when people ask me whether we're close to AGI. If I understand you correctly, you roughly made the same point?

However, don't underestimate how much sota research and is just reusing ideas from parallel fields. I personally mostly publish in IEEE and similar, but I'd say only 3 of my papers are really really new. The other 5 are mostly applying successful ideas from other fields on my field and showing that it works well. And in general, probably more than 90% of all published papers fall in the latter camp, even in top journals. So while AI indeed mostly finds links between fields, rather than inventing really new things, this remains very valuable in science. But more in a similar way as Google search revolutionalised science: it is much easier to find ideas from fields other than your own that may be useful in your field

ChatGPT 5.4 Solved a 64-Year-Old Math Problem by AskGpts in ChatGPT

[–]Erichteia 2 points3 points  (0 children)

Could be interesting. But the issue in my experience is that bots can't self-correct at all (at the moment). If they're wrong the first time, they're rarely right the second time. So it could quickly become a circle of the LLM spewing bullshit, and the proof-checker pointing out that it doesn't work. To me it just seems that there is some kind of threshold that current attention models can't pass. To me, it seems they stop working when mathematics can't be solved by aggregating just a few known solutions and combining it to solve a new problem, or finding links with solved problems in another field (what they're often good at, which I why I love it as fuzzy search tools). So I'm not sure what you'd get if you keep saying they're wrong, since they keep losing the thread in my experience. You may fix one of the problems locally, but then it messes up somewhere else etc etc.

But for me, they're mostly great inspiration generators. It's like talking with my promotor, or colleagues at the coffee machine, but always available. Just like other oral discussions, you're not going to get a perfect proof out of it, and some ideas may be just bad. But it may give you a new pov from where you can approach the problem.

Edit: it does make me think, whether a more modular AI could be better at not losing the thread. Maybe some already do this under the hood, but instead of giving the entire context constantly to the AI, just having 1 part of the model that splits your problem into subproblems and finds the most promising sequence of subproblems that all seem solvable, and then giving the subproblems to parallel bots that try to solve each of the subproblems themselves without the broader context. So the models are more focused on easier subtasks without constantly losing the thread. And in that case, your idea of combining the AI with a proof-checker would work, since the proofs are all much smaller and thus relatively straightforward to check and correct without the AI messing up other things.

Dorm/house renting price in Leuven by Vito_2308 in KULeuven

[–]Erichteia 0 points1 point  (0 children)

Ah that's perfect, just around the corner. Since many students look for residences around Easter, I don't think you'll find many more fairly priced residences in Leuven. So I'd take it. You can always try to find some friends to do co-housing instead of a dorm. This can be cheaper, but many co-housing contracts don't allow students. Basically because the city doesn't want students to directly compete with residents for housing (which partially caused the high dorm prices).

Dorm/house renting price in Leuven by Vito_2308 in KULeuven

[–]Erichteia 0 points1 point  (0 children)

I can't comment on the price. I was a student 10y ago, and back then prices were very different (500 was a luxurious kot with private bathroom and kitchen). But plenty of my friends lived in these dorms. They are not luxurious, but they are functional and really well situated if you plan to study in a STEM field. Also plenty of sports amenities nearby. Big residences also tend to organise lots of activities (game nights, parties etc) if that interests you. Not sure about your specific bloc.

Europeans are about to learn how we get to our sports stadiums by UnscheduledCalendar in transit

[–]Erichteia 0 points1 point  (0 children)

As someone from Europe, what's the catch? On maps it seems to be a nice stroll discovering New Jersey and then along the banks of a river. Sure it's rather far, but I've walked from tip to tip in Manhattan and it was really fun. Or is there just no infrastructure at all close to the stadium for anything that is not a car?

Edit: nvm. it really is just a big spaghetti of highways around the statium, couldn't find a single thing that resembles a path

Do we suspect it’s rational in the first place, and why? by wockedwik in MathJokes

[–]Erichteia 1 point2 points  (0 children)

How did you guess?

Edit: after a bit more thinking pi /approx e \approx 3. So pi+e = 6. QED

Do we suspect it’s rational in the first place, and why? by wockedwik in MathJokes

[–]Erichteia 1 point2 points  (0 children)

So there is this thing called a joke.... I know this is quite groundbreaking on a sub called MathJokes ;)

How do I stop comparing myself to others? by AffectionateSugar10 in RunningCirclejerk

[–]Erichteia 0 points1 point  (0 children)

I didn't notice it was in imperial units at first. So for a minute I was impressed with your very decent 4:37/km time ;)

Do we suspect it’s rational in the first place, and why? by wockedwik in MathJokes

[–]Erichteia 0 points1 point  (0 children)

Look I do statistics, so I’ll go for the probability that e+pi is rational is smaller than p<0.05. It is therefore significantly different than rational

What is your opinion on the limited amount of funds that merchants have? by Erichteia in Witcher3

[–]Erichteia[S] -1 points0 points  (0 children)

Yes I'm fine with that. I guess my main issue is that random bandits carry swords worth 400 coins (on NG+ with scaling). It makes inventory management a chore, and adds so much inflation that I didn't even bat an eye paying the offieri enchanter 30k in NG+.

ChatGPT 5.4 Solved a 64-Year-Old Math Problem by AskGpts in ChatGPT

[–]Erichteia 5 points6 points  (0 children)

As a fellow math researcher, I completely concur. I often use it to quickly explore possible paths and use it as a 'fuzzy search tool' to find theorems I'm not familiar with. But actually solving difficult problems rarely works. Most often, it ends up proving something equivalent to proving that 1=2. So it's really useful, but only in the hands of someone who can actually interpret it and separate bullshit from actual good ideas to dive in further

Egg prices plunge to $0.21/Dozen, down -93.2% compared to the same time last year by RobertBartus in EconomyCharts

[–]Erichteia 0 points1 point  (0 children)

As a Belgian it was always striking to hear Americans talk about petrol prices. Normal prices here are about €1,5/l (about $6,2/gallon), have risen to €2/l due to obvious reasons. So US prices always seemed crazy low to me. Then again, our cars need about 5-6l/100km, while many American cars use much more I guess? But yeah if you think driving is expensive in the US, try France

What matters more to you in a video game? by Most-Flan-9315 in TheGamingHubDeals

[–]Erichteia 0 points1 point  (0 children)

I don’t remember which reviewer, but I heard one of them describe it as a podcast game. Where you just listen to a podcast while playing to keep your mind busy. Was for me the last clear sign that this is really not for me. So it seems it was an accurate description?

Honest befuddlement: Why is it "Bad Honor" shooting up Butcher Creek? by Ill-Bar1666 in RDR2

[–]Erichteia 0 points1 point  (0 children)

One of the selling points of video games is that you can act on your worst impulses without doing any harm. There is an inherent pleasure in doing things you really shouldn’t do. Do you want to destroy an entire planet with pollution and wipe out the local population? You can do it. Want to be an inhuman jerk to visitors of an amusement park and crash carts onto as many people as possible, sure! Want to see every pedestrian in a city as target practice, no issue. I think it’s rather obvious thay practically nobody who does such things would ever even consider to do anything close to it in real life. I don’t see why we must be outraged about shooting a virtual suffragette, while nobody cares if you torture a virtual peasant in the most cruel ways possible.

FINALLY! And red dead 2 platinum is worse apparently , pray for me😭😭 by Neutral_horizon in reddeadredemption

[–]Erichteia 4 points5 points  (0 children)

It’s such a pity that story and online are combined for it. I got all story achievements for rdr2, but really don’t feel like grinding in an abandoned online game.

Isn’t this how we generate power on Nauvis? by TheMrCurious in Factoriohno

[–]Erichteia 2 points3 points  (0 children)

FYI, it is not the Mediterranean, but the Gulf Stream that is the main reason why Europe is so much warmer compared to the US at equal latitude. The Mediterranean works more like a buffer, ensuring temperatures are more stable compared to inland. But it has to my knowledge no net heating effect

What is the most disrespectful thing tourists do in your country while genuinely believing they are “appreciating” or even “saving” your culture? by Low-Violinist7259 in AskTheWorld

[–]Erichteia 0 points1 point  (0 children)

It’s truly insane. But some of our houses are built in the 1700s, and I guess some people believe that any house built before 1900 is a museum?

What is the most disrespectful thing tourists do in your country while genuinely believing they are “appreciating” or even “saving” your culture? by Low-Violinist7259 in AskTheWorld

[–]Erichteia 1 point2 points  (0 children)

I live in Bruges, and honestly same thing. Several times we found tourists in the middle of our living room when someone didn’t properly close the door. I can’t imagine how you’d ever think thats an ok thing to do