George Lowther, Author of Almost Sure blog, on maths, probability and stochastic calculus. Also on YouTube piped.video/@almostsure
London, UK
- Tweets 10,083
- Following 273
- Followers 9,213
- Likes 16,215
We rarely get headaches. Don’t have the disposable income.
They’re a luxury item over here
This European ibuprofen discourse surely isn’t real.
I get regular pressure headaches due to the weather (when it rains the barometric pressure changes cause me headaches)
You guys just…don’t take anything?
You just stop working every time you have a headache?
1
2
785
why does @AlexKontorovich appear as a guest in about 50% of the math videos in my timeline?
4
39
2,428
Even funner fact: digging into the OAI proof to see what it actually says, quantitatively...
looking at terms of size ~ n^{-0.2}
Can't be more than 15,000 of them...for n growing exponentially. Need to go up to at least 10^{2,900,000,000} terms before it has anything to say...
3
1
15
5,911
numerically summing the first few million terms, the Flint Hills series appears to have converged to about 30.3. But the OpenAI proof gives no indication of how close we are to the full sum. It looks to have converged but, theoretically, could still be any finite value > 30.3
2
2
543
nice
On the train yesterday, table of middle aged women next to me talking about AI. All ChatGPT, pronounced "chat GBT", no idea why lol
One of them was disappointed because she asked it to make a small crossword and it couldn't
I thought surely not. I use these models every day, they do things in minutes that'd take me hours. So I got the app out and asked for one myself
Every down clue is a copy of an across clue. "You ___ here" is apparently EST. The down answers are CET, ASE and TTN. Then it tells me its own puzzle isn't a proper crossword
No wonder people outside tech think it's a fad. The stuff that blows my mind at work they'll never see, and the first thing they try falls over
1
2
1,019
New YouTube video expected to go live around 6-7PM UK/1-2PM NYC time today.
Will be on randomness of the prime numbers
watch this space…
piped.video/@almostsure
1
8
1,567
if anyone’s worried about the romance leaving mathematics, I’ll be here with special Valentine’s Day videos!
piped.video/rpW2ZYtXn6o?si=BdYR…
1
6
698
first time using Lean, but I think this means that OpenAI's proof that pi has irrationality measure 2 all checks out
1
12
931