gjulianm

5 ms·

1.
by gjulianm 21d ago
> The phase where AI proves Millennium Prize level problems but can't write up a human-like paper explaining the proof strategy may be similarly brief It's absurd to assume that because LLMs are improving in certain aspects the
2.
by gjulianm 21d ago
Why is it strange? Are you familiar with how unsupervised proofs are made? It’s basically iterating on Lean code, even if it were able to explain the code to humans it doesn’t mean it can extract actual understanding and structure from it.
3.
by gjulianm 21d ago
> I have read the letter. And you have not understood it. > they don't want the answer key because prestige reasons No, that’s not the reason. They don’t want the answer key because the answer key is useless. > This doesn&#x27
4.
by gjulianm 21d ago
> AI won't just say cancer can be cured without saying how. It was an example, an analogy to argue that answering a question might not be as important as how it arrives to that question. Hence the “imagine”. > These people are co
5.
by gjulianm 21d ago
But did you read the letter, or are you familiar with the people signing it? Several things tell me you didn’t: - The useful part of math is the tools, the understanding and the theories. Knowing whether the result is true or not is usually
6.
by gjulianm 21d ago
I don’t get the argument you are making. If you want to reduce funding for mathematics research, argue for that. But wanting to make getting funding and coordination and collaboration harder in exchange for nothing other than PR for AI labs
7.
by gjulianm 22d ago
There are no similarities whatsoever, other than them having opinions on a new tech that affects their field. > nothing stops mathematicians from doing both of those things Actually yes, and they explain that pretty clearly in the lette
8.
by gjulianm 22d ago
> I read the article and they are all wrong I would recommend a bit more humility and trying to better understand why 25 Fields medalists, among them people like Terence Tao (who isn't anti-AI by any means, he's even promoted a
9.
by gjulianm 22d ago
> Like the mathematicians working on famous problems in private This is an extremely rare situation that practically never happens. Most mathematical research is done in the open, with partial results being published, conferences where a
10.
by gjulianm 2mo ago
In that case a better answer would be "I'm fairly certain it does satisfy it, but in any case I asked Claude to double check for any issues and it didn't find any unsatisfied requirement". That's the information tha
11.
by gjulianm 2mo ago
I try to not use AI to write text that's meant to be read by other people. I might use AI to understand and research beforehand, but the writing is mine. The most important reason is that writing allows me to check whether I actually u
12.
by gjulianm 3mo ago
I don't think you need to tear open busy streets to install fiber. In my area we got fiber (up to 10G now) and they didn't open any trench.
13.
by gjulianm 4mo ago
I am not sure how much do I trust an article about Madrid's metro that doesn't mention the fact that one of those expansions (Line 7, in San Fernando de Henares) was done with political instead of technical criteria, ending up in
14.
by gjulianm 4mo ago
Cursor has BYOK support too. I think it also has Bedrock support.
15.
by gjulianm 5mo ago
I don’t think it’s false, much less obviously false. On one hand I have my personal experience about it, on the other you can see there’s only a small range in the “I want a conversation” scale where they want it enough to ignore the nonver
16.
by gjulianm 5mo ago
> People forgot how to interact with each other because the forcing function that gets everybody mixed together into the same pot got taken away. A lot of offices don't force you to interact with each other, much less in meaningful
17.
by gjulianm 5mo ago
The people likely to talk to strangers unprompted are also likely to ignore those kind of messages. Anything that can lead to further conversation can be used (like "oh, what's worrying you?") so actually politely nodding and
18.
by gjulianm 5mo ago
I think this mindset is maybe too close to being just "people that don't think like I do are just crazy" and dismissive of people's actual concerns.
19.
by gjulianm 5mo ago
Several options on how to burn that amount of money without being specifically looking to tokenmaxx - Agents that spawn other agents - Telling agents to go look at the entire codebase or at a lot of documents constantly - MCP/API use w
20.
by gjulianm 6mo ago
I explored quite a bit because I was curious to see how it was possible that sauna had these great effects and why no one used it outside of Finland. But to this point I haven’t seen anything that really supports the idea that sauna is such
21.
by gjulianm 6mo ago
> Bias is different from precision. If both conditions have the same bias, their difference is still unbiased. Not really, and I wouldn’t assume that when the condition under study can also affect how the measurement is taken. > If yo
22.
by gjulianm 6mo ago
The first study shows a 0.37 hazard ratio for frequent sauna use. That’s better than a lot of the HRs reported for physical activity. It’s even better than not smoking. It just doesn’t really fit. Also, the fact that there are practically n
23.
by gjulianm 6mo ago
> of estimate of mean But you can't really assume that the estimate of the mean represents the real value. For example, if the sensor is equally likely to show 80 or 81 BPM when the real heartrate is 80.7, the mean estimator will be
24.
by gjulianm 6mo ago
It does, specially if the error bars from multiple measurements show higher precision than what would be expected.
25.
by gjulianm 6mo ago
Much of that body of evidence relies on self-reported and self-assigned sauna usage rather than actual randomized trials, and also the papers show massive risk reductions that do not really fit with the country-level data (e.g., if saunas a
26.
by gjulianm 6mo ago
> Effect survives controlling for activity level. How did you control for activity level? Do you have similar BPM plots for the different situations (sauna+exercise, sauna+no exercise, no sauna + exercise, no sauna + no exercise) for a v
27.
by gjulianm 6mo ago
Unless the effect they're measuring is that the wearable measures differently in sauna days.
28.
by gjulianm 6mo ago
> Feeling good and with lasting energy is pretty much the same as having good health. I'm referring to feeling like that specifically after the sauna. I also feel great after eating a great steak and yet it's not the same as ha
29.
by gjulianm 6mo ago
It’s not only that confounder but also the fact that the studies show massive risk reductions that are really surprising. Considering how much finns apparently go to the sauna compared to similar countries and how good the sauna appears to
30.
by gjulianm 6mo ago
There are two separate issues there. One, you feeling good about going to the sauna. If you feel good, that’s nice. But it’s your personal feeling from it. I personally did not have the same opinion about my lungs feeling as I was breathing

More ›