Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
jrflo
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
31.
▲
by
jrflo
16d ago
But who gets credit then? Every mathematician who's work was read by an LLM during training? By that logic, we should put every published mathematician's name on the authorship of this paper. Sure, this guy should be higher up the
32.
▲
by
jrflo
16d ago
I wasn't aware of that, definitely a shady practice if that's the case.
33.
▲
by
jrflo
16d ago
I pay for the Pro ChatGPT plan, and if you go to settings > data controls this is the first setting: > Improve the model for everyone > Allow your content to be used to train our models, which makes ChatGPT better for you and every
34.
▲
by
jrflo
17d ago
I could see their comment on user training data as a bit of a CYA statement, but removing Alpoge from the paper is awful. Has really soured what could have been a huge moment for AI progress.
35.
▲
by
jrflo
17d ago
The efficacy of applied NS was never in doubt. "Checking the box" is downplaying the magnitude of the discovery quite a bit as it has been unsolved for almost 100 years. Yes, this particular problem with NS no real-world applicati
36.
▲
by
jrflo
18d ago
I don't think he was defecting or leaking directly, just that it's entirely possible that this information got to OpenAI as a rumor rather than them directly spying on mathematicians chat logs.
37.
▲
by
jrflo
18d ago
I'm so tired of this "It's just marketing!!" commentary. An AI model just proved one of the top 3 unsolved problems in mathematics, they have a Lean certificate showing it's valid. How much more evidence do you need
38.
▲
by
jrflo
18d ago
I feel like it's far more likely that ordinary corporate espionage or leak led to this rather than OpenAI sifting through piles of user data to find this approach. Buckmaster's collaborator works at Anthropic, and could have been
39.
▲
by
jrflo
18d ago
To my understanding, those mathematicians proved a subset of problems, not the Navier-Stokes problem itself. OpenAI used that subproblem in its proof of NS it seems. The drama comes from where OpenAI got the idea to use that route to tackle
40.
▲
by
jrflo
18d ago
It's possible that OpenAI was mining prominent researcher's chats for inspiration to tackle these problems, but it's also entirely possible the leak came from his collaborator's end as he works at Anthropic and I'm
41.
▲
by
jrflo
18d ago
It's the tried and true headline method of "event 2 happened after event 1", implying a causal effect between the two, despite no evidence of such effect existing. Technically the headline is correct, in the same way that &qu
42.
▲
by
jrflo
21d ago
That's really cool, I would definitely be interested in a "normal" keyboard that had this kind of layout as a guitar player. Needing to remember different hand shapes to play a major chords took a long time to get used to - w
43.
▲
by
jrflo
22d ago
FYI you're trying to repair surface-mounted components by hand, that's pretty tricky. Most hand soldering is done with through hole components, not surface mounted. Not to say it can't be done, but you're starting on har
44.
▲
by
jrflo
22d ago
Holy shit, this has to be one of the most difficult proofs to formalize due to it's length and complexity right?
45.
▲
by
jrflo
22d ago
I think people are pissy because they're scared of AI and have consumed a lot of misinformation. Most people I know still think that datacenters are going to literally drain the lakes. No one is actually informed on the details, it
46.
▲
by
jrflo
22d ago
They already do, indirectly. The local government gets property taxes from these data centers. But maybe it would be more real for people if you just wrote them a check I guess.
47.
▲
by
jrflo
22d ago
So it's just a vscode wrapper around a mystery open weights LLM I'm guessing? > Can I choose which model Bob uses? > No. Bob automatically selects the most appropriate language model for each task based on complexity, requir
48.
▲
by
jrflo
22d ago
Idk, they’re trying to sell a $500/mo/seat service to tell you what model is best. I think it’s in their interest to keep it confusing and opaque. Not exactly independent.
49.
▲
by
jrflo
22d ago
Those robots are a gimmick and they can only do prescribed tasks in a super constrained environment. They are cashing in on LLM hype right now, vision has had some advances thanks to transformers but we are so far away in terms of the hard
50.
▲
by
jrflo
22d ago
You are describing superintelligence (ASI) not general intelligence (AGI)
51.
▲
by
jrflo
23d ago
You should read more on the ARC prize, it actually has a pretty long history. We're on the 3rd iteration because they keep getting saturated. If you look at the score history over time on ARC AGI 1, 2 and 3 it's pretty impressive.
52.
▲
by
jrflo
23d ago
So if you use the non-promotional price for sol it's only 25% higher?
53.
▲
by
jrflo
23d ago
Yeah I wonder what's going on, even when Anthropic soft launched Fable/Mythos I'm pretty sure they had model cards. Weird for GPT-6 to launch without a tweet from Altman too. I'm sure that one of the articles published p
54.
▲
by
jrflo
23d ago
I'm all for regulating AI, but banning anyone from making superintelligence is a bit odd to me. It's hard enough to define superintelligence, so making a ban around it seems fraught. One could argue that current models are already
55.
▲
by
jrflo
24d ago
sidenote, but wow sonnet 5 is shockingly bad on this benchmark.
56.
▲
by
jrflo
25d ago
I've noticed that when I have codex read/modify word files the live reasoning snippets often allude to LibreOffice, so that makes sense. I think it was a quick and dirty way for them to interface with docx and xlsx files?
57.
▲
by
jrflo
25d ago
He also alludes to it here: >What follows may be an Enron-Lehman Brothers hybrid, one that leaves unbelievable destruction in its wake, an avoidable systemic risk empowered and enabled by a kneecapped media industry and sell-side analyst
58.
▲
by
jrflo
25d ago
From the OP: August 2024: "generative AI is a dead-end technology that has peaked” July 2024: "Generative AI models aren’t getting more energy-efficient, nor are they getting more “powerful” in a way that would increase their func
59.
▲
by
jrflo
25d ago
I was thinking of this article where he compares OpenAI to Enron twice: https://www.wheresyoured.at/what-happens-if-openai-dies/ You're right that he doesn't explicitly say enron-scale fraud, that's just
60.
▲
by
jrflo
25d ago
I was thinking of this article where he compares OpenAI to enron: https://www.wheresyoured.at/what-happens-if-openai-dies/
More ›