nybsjytm

9 ms·

61.
by nybsjytm 2y ago
AlphaGeometry is a hyper-specific system trained to add auxiliary geometric objects, like extra lines, to existing Euclidean geometry configurations. These prompts are not even sensible inputs to AlphaGeometry.
62.
by nybsjytm 2y ago
> A.I. has helped chatbots carry on conversations almost indistinguishable from human interaction. It has solved problems that have confounded scientists for decades like predicting protein shapes. And it has blurred the lines of creativ
63.
by nybsjytm 2y ago
> “The industry is wrestling with this. Technically the companies have the copyrights, but we have to think through how to play it,” said an executive at a large music company. “We don’t want to be seen as a Luddite.” Being a Luddite is
64.
by nybsjytm 2y ago
It would be very hard to make a good analogy with this since the problem of "finding" arithmetic progressions is, as far as I know, of negligible interest compared to the structural knowledge of their existence. The situation is p
65.
by nybsjytm 2y ago
I'm a mathematician but tbh I have no clue what you mean by saying that arithmetic progressions of primes are "trivial" or analogous to anything here or in machine learning.
66.
by nybsjytm 2y ago
Great article, covers well both the achievements and the shortcomings. It's crazy how many people write about these kinds of AI developments while completely skipping over anything like the following: > The “good news is that when A
67.
by nybsjytm 2y ago
Sorry, I think this style of hagiography is completely goofy, there's nothing else to say about it. And I'm sure it's not even true that he has the "highest IQ on record." To make a claim like "greatest living
68.
by nybsjytm 2y ago
> The author of the post is Terence Tao that is the best live mathematician. If he says it's a "breakthrough", it's a breakthrough. I think it's pretty silly to say that Tao is the best living mathematician, but
69.
by nybsjytm 2y ago
It's perfectly common for a mathematician to successfully use a technique where another top mathematician tried and failed.
70.
by nybsjytm 2y ago
"top scientist" Max 'Mathematical Universe' Tegmark?
71.
by nybsjytm 2y ago
> And over and over I come away with Hinton explaining mathematically and conceptually whats going on in LLMs Every time I see Hinton talking about LLMs he's just anthropomorphizing whatever 'mathematics' is going on there
72.
by nybsjytm 2y ago
Thanks, I'd never heard about this before. I definitely think it helps in understanding his commentary. It's really a shame that DeepMind picked up his communication style.
73.
by nybsjytm 2y ago
> Bill Gates had the aptitude to be a leading researcher at probably anything if he set out to do it. He was already doing coding whilst working on math courses, so his attention was divided. Simons focused 100% on math until doing tradi
74.
by nybsjytm 2y ago
Friend, there's a world of difference between being a smart guy who completed a hard math class and being one of the world's best researchers in differential geometry.
75.
by nybsjytm 2y ago
You don't need to be a smart guy to take math 55, nor is 'being a smart guy' what I'm even talking about.
76.
by nybsjytm 2y ago
I can read both the Gates-Papadimitriou paper and Simons' work, and it doesn't compare. Maybe Gates could have been a great scientist, who knows, but no matter how many advanced classes he took, he never was. It doesn't even
77.
by nybsjytm 2y ago
Sometimes people act like guys like Bill Gates or Elon Musk are coming from deep personal scientific knowledge and accomplishment, but they're absolutely nothing compared to Simons. His contributions to geometry in the 60s and 70s, fro
78.
by nybsjytm 2y ago
> someone dismissing it based on the perceived over-zealousness of its marketing, as people seem to want to do with TFA Sorry, but that's nothing but a reading comprehension problem for you
79.
by nybsjytm 2y ago
I don't have any particular thoughts about DeepMind's board game algorithms or how they were advertised, but even if I happened to think it was the most innovative and influential research in years, I'd still ask for honest c
80.
by nybsjytm 2y ago
No, how?
81.
by nybsjytm 2y ago
Not just the headline, the whole press release. And not questioning that it's a big improvement.
82.
by nybsjytm 2y ago
I think it's important to qualify that the relevant "game" is not advanced science per se; the game is business whose product is science. The aim isn't to do novel science; it's to do something which can be advertis
83.
by nybsjytm 2y ago
Just "Alpha-- models" in general?? That's not a remotely reasonable way to reason about it. Even if it were, why should it stop DeepMind from clearly communicating accuracy?
84.
by nybsjytm 2y ago
Thanks, those look helpful. Whenever I meet someone with relevant PhDs I ask their thoughts on AlphaFold, and I've gotten a wide variety of responses, from responses like yours to people who acknowledge its usefulness but are rather di
85.
by nybsjytm 2y ago
I don't know Paul Adams, so it's hard for me to know how to interpret your post. Is there anything else I can read that discusses the accuracy of AlphaFold?
86.
by nybsjytm 2y ago
>The alphafold work has been used across the industry (successfully, in the sense of blind prediction), and has been replicated independently. This is clearly an overstatement, or at least very incomplete. See for instance https:/&
87.
by nybsjytm 2y ago
Important caveat: it's only about 70% accurate. Why doesn't the press release say this explicitly? It seems intentionally misleading to only report accuracy relative to existing methods, which apparently are just not so good (30%
88.
by nybsjytm 3y ago
I think that paper is pretty weak, but at least in terms of content it's still night and day compared with the nature of Tegmark's clout-chasing in his physics days. But it's pretty grim if that's the kind of paper that
89.
by nybsjytm 3y ago
That reflects kind of badly on NeurIPS if true. I first became aware of him over 10-15 years ago when he was pushing his "mathematical universe" idea, which is quite simply the most vapid and contentless idea I've ever seen i
90.
by nybsjytm 3y ago
Before turning to AI, Tegmark's claim to public fame was his "mathematical universe" hypothesis, which is complete drivel

More ›