bananaflag

6 ms·

31.
by bananaflag 9d ago
First of all, because mathematicians themselves are now asking the right questions to the public models to solve problems.
32.
by bananaflag 9d ago
A lot of serious philosophers don't believe in souls.
33.
by bananaflag 9d ago
Sorry, I was ignorant indeed. I had assumed Mars and Snickers were like Coke and Pepsi.
34.
by bananaflag 9d ago
I started as a kid with the second book, as it was the only one in the bookstore on that day
35.
by bananaflag 9d ago
Nvidia is not a competitor of openai, but a partner
36.
by bananaflag 9d ago
> There are about twenty of these people, though. In Germany every small town has a (state-funded) orchestra. I know someone who plays the violin in such an orchestra, he has a solid salary, big house etc. He has a side gig, he has a qua
37.
by bananaflag 10d ago
Why dont they train LLMs not to speak like that? Is it some tragedy of the commons here?
38.
by bananaflag 11d ago
The argument was that senescence is as natural as child mortality, and thus naturalness is not a reason not to fight against it.
39.
by bananaflag 11d ago
Yeah Vandiver was on my mind, this is why I said 1920. Wouldnt mind it more complicated, but with simpler concepts and most importantly concepts that feel like they have something to do with FLT (cyclotomic fields, not modular forms).
40.
by bananaflag 12d ago
Wow that's very interesting but it only works for the front page (and also only changes the order not the numbers), not for each comment page. Maybe we should have a setting "count only votes before date yyyy-mm-dd" but this
41.
by bananaflag 12d ago
I am really interested in whether AI will find a significantly easier (1920 level or so) proof of FLT.
42.
by bananaflag 12d ago
In fantasy: J R R Tolkien Janny Wurts M A R Barker Ed Greenwood
43.
by bananaflag 12d ago
By training. When we access the API, we don't get to train the model, we just do inference on the already trained model.
44.
Catalan's Constant Is Irrational(arxiv.org)
3 points by bananaflag 13d ago|1 comments
45.
by bananaflag 13d ago
When my dad bought one he told me outright "this is for poor people".
46.
by bananaflag 13d ago
It is how I remember it.
47.
by bananaflag 13d ago
Where did you get the link to the pdf? Was it announced somewhere?
48.
by bananaflag 13d ago
Not for the kind of floor I have with tons of obstacles and small corners.
49.
by bananaflag 16d ago
> A PhD in Arithmetic Geometry and a publication in a top tier journal is hardly mediocre in and of itself, as far the author is concerned. It kinda is (sadly) because unlike engineering there aren't thousands of postdoc jobs in ari
50.
by bananaflag 16d ago
> And, I lie to anyone who asks me why I’m a mathematician. I prefer to say "I liked a girl" (because it's the truth)
51.
by bananaflag 16d ago
Follow https://vibemathed.com/
52.
by bananaflag 17d ago
What LLMs are you using?
53.
"The Fate of the Riemann Hypothesis" by Richard Evan Schwartz [pdf](math.brown.edu)
2 points by bananaflag 17d ago|2 comments
54.
by bananaflag 20d ago
https://meaningness.com/geeks-mops-sociopaths
55.
by bananaflag 20d ago
I have no idea why people believe AI will not be good at all the other things. It's a general reasoning machine, it surely can reason on many things beside the actual code. I've been hearing this "writing code is not what bei
56.
by bananaflag 20d ago
> A serious point about this is that it's an AI that's an organization. This matters. Well, that's the final level of AI. https://firstmovers.ai/agi-levels/
57.
by bananaflag 21d ago
Yeah it's up there with "they also believed at Dartmouth they will have AGI in a year"
58.
by bananaflag 23d ago
Same for me. Neural networks in general. I first studied them in 2011, and I was like what? Just a bunch of partial derivatives? I keep looking at AI to check if now it's something else but it keeps being gradient descent. Okay, it&#x2
59.
Can AI Do Philosophy? An Experiment (Part Two)(ryansimonelli.com)
2 points by bananaflag 23d ago|1 comments
60.
by bananaflag 24d ago
I would like to also know the date.

More ›