Budden

1.9K posts

Budden banner
Budden

Budden

@davidmbudden

Founder + CEO of PingYou

Katılım Aralık 2014
209 Takip Edilen5.7K Takipçiler
Daniel Litt
Daniel Litt@littmath·
I've just made a donation of $25000 CAD to the Against Malaria Foundation (through the Rethink Charity Foundation), the bulk of what I received from my bet with @davidmbudden. Thanks to David for the fun back and forth!
Daniel Litt tweet media
English
18
25
847
47K
Budden
Budden@davidmbudden·
@samiannoesis Created is a strong word. More "the coolest looking framing of an observation I made"
English
0
0
1
52
Budden
Budden@davidmbudden·
Budden's identity
Budden tweet media
English
4
0
5
1.5K
Budden
Budden@davidmbudden·
Next time, in "Godel in fewer than 10 words"
English
0
0
1
534
Budden
Budden@davidmbudden·
@littmath You make mathematicians look good
English
2
0
47
2K
Budden
Budden@davidmbudden·
Litt was kind enough to offer a 1-month extension to our Hodge Conjecture bet (family stuff) But since we're at the initial deadline, I thought I'd share a fun update anyway. Thank you for the support!
Budden tweet media
English
6
0
10
4.4K
Budden
Budden@davidmbudden·
@wannabegroncho (I could go later, but that's unfair, because the interpretation at that point is "he's mad") Only mad! Only poet! Speaking only motley things, Out of fool’s masks speaking, Climbing on false word-bridge.
English
1
0
1
362
Budden
Budden@davidmbudden·
@wannabegroncho Every name in history is I. Every cry of joy and every cry of misery is mine. The circle has no center, and yet it turns.
English
1
0
1
418
Budden
Budden@davidmbudden·
I outright refuse to believe any of you understand a word of Nietzsche
English
6
0
4
2.6K
Daniel Litt
Daniel Litt@littmath·
For something I am writing I am trying to estimate how much we (the world) spends annually on attempts to resolve the Riemann hypothesis, Hodge conjecture, etc. It's hard to come up with an estimate greater than ~a few million USD per year on each, and much lower is plausible.
English
34
5
261
32.8K
Budden
Budden@davidmbudden·
@FeinsteinKen Certainly not 10/10 for us. I have a score I think is right, but I notice OAI, GDM etc. being extremely coy pegging their responses to an actual numerical grading. And I'm not going to be the first :)
English
0
0
0
646
Budden
Budden@davidmbudden·
The PingYou Team has attempted to solve all 10 of the FirstProof problems using our prototype orchestration system, together with off-the-shelf foundation models. Our attempts can be found here: go.pingyou.com/vbhWRQ4XqGJ3 We deeply appreciate the creators of firstproof.org for their hard work bringing the AI and Math research communities together, and look forward to all the discussions re: solutions and next steps for improvement in the coming weeks. #1stproof
English
3
0
10
5.5K
Budden
Budden@davidmbudden·
This "First Proof" thing looks fun
Budden tweet media
English
0
0
3
3.8K
Budden
Budden@davidmbudden·
TIL there are Claude Code env variables
Budden tweet media
English
1
0
6
3.3K
Budden
Budden@davidmbudden·
But where's the Lean proof?
Budden tweet media
English
0
0
6
3.2K
Budden
Budden@davidmbudden·
Another night of Mathlib fun
Budden tweet media
English
1
0
6
2.5K
Budden
Budden@davidmbudden·
@ylecun @SebastienBubeck Why not? It's all about downstream impact no. If you can back yourself to be a great researcher, why the imperative that others convert it?
English
0
0
0
702
Yann LeCun
Yann LeCun@ylecun·
@SebastienBubeck Best research environment? Except for the whole "don't tell anyone about your research" part. Research in secret is not research.
English
74
34
1.4K
106.8K
Sebastien Bubeck
Sebastien Bubeck@SebastienBubeck·
I've been in lots of places in my career. OAI is simply the best research environment I have ever seen. It's a combination of the field itself being a research gold mine + having access to the right mining tools + (most importantly) the freedom to explore. It's special.
Mark Chen@markchen90

How does OpenAI balance long-term research bets with product-forward research fundamentals? I’ve been getting this question a lot lately, usually framed as a suggestion that Jakub (@merettm) and I are pushing an increasingly product-focused agenda. That characterization is simply wrong. Foundational research has been core to OpenAI from the start, and today we run a research program with hundreds of exploratory projects - much like the ones that led to our reasoning-model breakthrough. The majority of our compute is allocated to foundational research and exploration - and not product milestones. Anyone who has spent time with me or Jakub knows we are the last people in the world who would push for the advancement of products over the advancement of research. We’re in the business of creating an automated scientist, and capabilities that were considered grand challenges just a few years ago (like IMO-level mathematical reasoning) now emerge as normal parts of the research process. We’re also seeing our models accelerate researchers worldwide, helping advance work across biology, mathematics, physics, and even our own research. Jakub and I put a lot of effort into ensuring that research stays focused on uncovering algorithms that will scale to the compute we’ll have a year from now. We protect mindshare and amplify discourse on exploratory work. We do this while recognizing that we’re also a deployment company - and that deployment gives us access to even larger-scale compute, richer feedback, and more room for exploration. Our researchers are passionate about having their work out in the world, and a special slice of our org is dedicated to making sure our deployments are delightful for end users. Our goal isn’t to turn research into a quarterly race. It’s to build a durable research engine - one that compounds learning over time and consistently turns long-horizon exploration into real, measurable advances, while ensuring those advances become valuable in the real world. That’s the roadmap we’re executing on. And while there have been ups and downs over the last decade (as you expect with any research program), I think most of our researchers would share my strong optimism today.

English
34
21
568
157.4K
Budden
Budden@davidmbudden·
There are more ways to shuffle a deck of cards than there are atoms on earth
English
0
0
2
2.1K