Beezress

37 posts

Beezress

Beezress

@beezressee

"luck favors the prepared mind"

hole Katılım Mayıs 2025
64 Takip Edilen6 Takipçiler
Beezress
Beezress@beezressee·
@letonyo Anyone you would want to highlight?
English
0
0
0
165
Anthony Leverrier
Anthony Leverrier@letonyo·
All the quantum people I know are starting their companies these days. Is there anyone who’s not a billionaire yet ?
English
8
0
12
2.2K
Beezress
Beezress@beezressee·
@littmath "I would say the construction is in some sense implicit in the literature..." I see comments of this flavour often when mathematicians write about LLM proofs. Is it for the purpose of identifying source of reasoning or is it a deflation or something else?
English
1
0
2
622
Daniel Litt
Daniel Litt@littmath·
Still thinking through the details but I think this is likely correct!
Tomo@Tomodovodoo

Also, very exciting news! Another math problem (potentially) solved, this time, one posed by @littmath! Last wednesday in a last try with GPT-5.5 pro before 5.6 pro came out, I got an interesting partial on this problem. This prompted me the next day to use GPT 5.6 sol pro, which essentially autonomously worked through the remaining parts and managed to complete the solution by drawing on somewhat obscure techniques. I messaged Daniel with my findings and thoughts, particularly on the exposition and digestability to make sure this proof contributes something genuinely meaningful to the world. And, I believe this task is quite succesful. Though the main crux of the argument relies on these Raynaud bundles, nonetheless the connection is nontrivial and new in this specific application! The remaining work is now to digest the proof. As the subject expert Daniel had some great insights and feedback which I have tried hardest to include. It's my belief that this proof taught us about a new and exciting tool and angle to handle such problems! Particularly suprising to me is that with sufficient steering, the output of GPT-5.6 sol pro is remarkably incredible, and upon further inquiries, it seems to genuinely be able to present the underlying geometry of the problem and abstract from it to reason through the complete construction. Exciting times! I definitely see a very very clear improvement from GPT-5.5 pro in math, and it seems 10 times more trustworthy in its output, and its exposition in these proofs also improved a ton. #post-50" target="_blank" rel="nofollow noopener">problemsilike.com/forum/thread/1…

English
5
12
242
24.1K
Beezress
Beezress@beezressee·
@littmath @DocOctagonical My impression is that this marketing campaign is discouraging a lot of people from pursuing math and science. OpenAI is especially intertwined (Brockman) with the current admin cutting funding to science.
English
1
0
5
85
Daniel Litt
Daniel Litt@littmath·
@DocOctagonical I mean, insofar as they’re spending money resolving some conjectures, they are doing so.
English
4
0
9
318
Daniel Litt
Daniel Litt@littmath·
I’m kind of a fan of OpenAI’s decision to devote some resources to math. Obviously there’s a PR aspect but I much prefer a pdf signed “OpenAI” to the new trend of signing one’s name to short arxiv preprints to which one didn’t contribute anything meaningful.
English
17
23
484
30.3K
Beezress
Beezress@beezressee·
@thomasfbloom The supervisor agent is the one that set up that prompt right? If so its seems quite non-trivial to add that constraint. Is it a natural thing to do? I am not a mathematician.
English
0
0
0
9
Beezress
Beezress@beezressee·
@thomasfbloom "use a short elementary linear algebra argument to prove consistency" I would like to know how much that constraint contributes to the search. Please provide us with the CoT.
English
1
0
0
20
Charlie Marsh
Charlie Marsh@charliermarsh·
I find this post to be really disappointing... It's explicitly framed as 'not a personal criticism', then goes on to include bunch of very personal criticisms about Jarred. andrewkelley.me/post/my-though…
English
56
35
1.1K
160.7K
Beezress
Beezress@beezressee·
@creatine_cycle Maybe then they will make things that actually lifts people up rather than pathetic doom and gloom
English
0
0
0
582
atlas
atlas@creatine_cycle·
starting a contrarian VC firm that only invests in founders who finished their college degrees and are in loving relationships
English
152
197
6.5K
231.7K
Sam Lambert
Sam Lambert@samlambert·
@pdp @bcherny they can of course object but they own the consequences of that which is obsolescence
English
3
1
26
4.6K
Sam Lambert
Sam Lambert@samlambert·
We had a talented engineer apply to PlanetScale but they told us they are ethically opposed to using AI. How do people think this is a possible stance in 2026?
English
196
17
1.2K
195.1K
Simo Ryu
Simo Ryu@cloneofsimo·
Reality is "Simplicity is the king" is such normie thing to say. Frontier systems are rarely ever "simple".
Simo Ryu tweet media
Pranav Shyam@recurseparadox

@OfirPress This is mostly a matter of poor tooling and bad hyperparamter setups. A complex model can be as much as 10x more effective size if done without confounders. Era of dumb scaling is more over by the day imo

English
19
12
322
25.3K
Gergely Orosz
Gergely Orosz@GergelyOrosz·
@matchaboar @mitchellh Come on, are you trolling?? Yes ofc we could do it, but agents do it more efficient and faster and parallel This surely was trolling, blocked b/c I don’t appreciate it
English
8
1
156
10.1K
Gergely Orosz
Gergely Orosz@GergelyOrosz·
This is exactly why experienced software engineers are valuable and will be valuable. If you don’t know what good code looks like you will have no idea if what the models generate are any good Of course “AI reviews the code” etc etc… it doesn’t work as reliably. Via @mitchellh
Gergely Orosz tweet media
English
116
193
3.6K
239.8K
Beezress
Beezress@beezressee·
@steipete You still a little bitch tho, we need more bullying
English
0
0
0
5
Peter Steinberger 🦞
Peter Steinberger 🦞@steipete·
Was thinking if I should highlight this tweet or not, but it’s a masterclass in the amount of vitriol people face when working on open source. Is the app great yet? No. It’s a start. It was built by the community. Getting the iOS and Android apps working with secure pairing and push notifications - and getting both through App Review -took a surprising amount of work. OpenClaw wasn’t acquired by OpenAI and isn’t an OpenAI product. It’s an open, independent project under the OpenClaw Foundation. OpenAI sponsors the project’s token usage; I work there. Cristian, your tweet was just one of ~30 I woke up to today. I’d genuinely love your help making it great. Attention is still the scarcest resource. I’d rather spend mine encouraging people who build.
cristian rus@CristianRus4

imagine getting acquired by @OpenAI, get unlimited AI tokens and still drop this slop abomination

English
499
195
5.4K
1M
Ab Homine Deus
Ab Homine Deus@AbHomineDeus·
@StephenPiment This is easy to say but if we define AGI as a system capable of doing anything a human can do your attempt at nuance falls apart pretty fast. Who cares what the details are? If you can do it then the AI can do it better/faster/cheaper and will subsume all economic activity.
English
4
1
4
296
Stephen Pimentel
Stephen Pimentel@StephenPiment·
A great deal of discussion of AGI tacitly assumes that fine-grained microeconomics isn’t real, that all factors of transactions cost, trust, emergent preferences, distributed knowledge, institutional structure, etc. will just be nullified by a model with sufficient cognitive capability. Many have a psychological resistance to considering that, on the contrary, these factors are quite real and will remain. They accuse you of “not really believing in AGI” if you maintain this. They have a core thesis, often unarticulated, that “intelligence is all there is.”
Dean W. Ball@deanwball

The author of the piece responds with “I am only stating a premise and suggesting what it implies.” My contention is that, no, the premise itself smuggles in the assumption of the conclusion. Let me try to give you a more concrete example. Take politics, and take a broad conception of politics. Not just what elected officials do but the art of collective persuasion, coalition-building, and related strategic effort that is embedded in every organization. The higher you rise in many professions, the likelier it is that you do politics of some form or another. This premise assumes that AI is superior to humans at every single aspect of politics. Not just coming up with political strategies or finding fulcra that might persuade specific individuals or groups, but instead executing those strategies. Actually building coalitions and persuading people itself. Not just writing speeches but delivering them (is this a coherent concept?). I submit that persuasive acts like this are not unilateral or intrinsic capabilities of the actor. The recipient of the message also has a say in whether the persuasion worked. This is why the same words, delivered by different messengers, can land differently. This is why, for example, many people on this very website who used to read my writing in a favorable way are now inclined to read it unfavorably after I announced I’d be joining OpenAI. Every single aspect of the messenger affects the message itself, or at least it affects how that message is received by others. To argue that AI would be better at every aspect of politics, then, is to assume a massive degree of institutional transformation. Many such transformations are possible, but the single likeliest one would be that the human role in deciding what organizations and societies do simply does not exist, or does not matter nearly as much. And if you believe that, it would almost be a necessity that the rule of law in general, and contractual grants of equity in particular, would not be honored, the latter being the actual thesis of the essay in question. So by saying “AI is better than humans at ALL labor,” you have in fact smuggled in what amounts to the author’s conclusion. And that is what my original tweet was saying. I stand by every aspect of it. Perhaps you believe this will happen! That’s fine. But as the writer, it’s incumbent upon you to persuade the reader of this from outside the bounds of the tautology. This essay fails in that regard, as does a great deal of other writing on this topic.

English
14
18
84
9.8K
Beezress
Beezress@beezressee·
@ChekhovianGun Lmao checked, engineer at nvidia lmfao. So you’re not even smart
English
0
0
0
13
KD
KD@ChekhovianGun·
What a disingenuous thing to say. He's clearly saying in the essay that if the premise is correct, it is absurd to think that the consequences he elucidates can't follow. It is arguably a weirdly convoluted way to say that he thinks that the consequences are inevitable if the premise is correct, but it's far from the fallacy you are making it out to be.
Dean W. Ball@deanwball

Lord, grant me the cajones to one day begin my essay: “Let’s start from this premise: I am correct. My conception of cognition, AI, labor markets, the economy, human beings, and the world is perfect, and things will go exactly as I expect. I can’t prove this, but…”

English
4
1
8
831
Dean W. Ball
Dean W. Ball@deanwball·
@AlexanderPayton @boden_moraski You’re confused about my point in ways that I cannot help you to understand any further. It’s not about the hypothetical per se. It’s that the premise of the hypothetical assumes the conclusion of the piece, so it’s an analytically thin tautology
English
2
0
0
134
Dean W. Ball
Dean W. Ball@deanwball·
Lord, grant me the cajones to one day begin my essay: “Let’s start from this premise: I am correct. My conception of cognition, AI, labor markets, the economy, human beings, and the world is perfect, and things will go exactly as I expect. I can’t prove this, but…”
Dean W. Ball tweet media
English
134
34
818
549.6K
François Fleuret
François Fleuret@francoisfleuret·
So I asked claude to write a wm-like for terminal. And in a few minutes here we go: screen-like feature to attach/detach, fully mouse-controlled windows + full screen mode with stacked windows + time-stamped logging to search in windows history with the time ...
François Fleuret tweet media
English
3
0
18
3K