I still use emacs, I run agents in buffer or in different terminal tabs. I like pi but only claude is approved at work, so I mostly stick to that for consistency.

I'm use 1-3 agents at a time, not more than 2 on the same branch. I have some pipelined workflows but I don't run swarms.. I'm on budget!

If you spend $20M working out a Millennium Prize problem, in what universe would you offer that an unrelated effort should take credit? This is a branding game rather over whether software engineers are going to use codex or claude. In that light $20M (or whatever it was) might be worth it to squash even the rumor that claude code is more capable. Engineers look up to mathematics, while at the same time business and probably most engineers think the problem was to solve the problem. GPTs solved one the hardest known problems so they can solve my company's problem.

Some go further looking at these people, very on-the-nosely likened by one commenter here to ants, talking about education and responsibility and "core values" etc and just don't care. There was a major problem at the beginning of the week that is not a problem now and that is uncomplicated progress.

It's not wrong for OpenAI/Anthropic to do math for product development or even just branding but seemingly at no cost now they could work in an arena real mathematicians aren't interested in, versus just mowing the field. Everyone involved on their side should admit the purpose of these demonstrations is not to engage mathematical ideas it's about Claude/Codex. there's no shame in that. Which is better at solving random hard Diophantine systems? That would seem to tell me as much as I need to know insofar as a model's value is represented by raw mathematical power - then, take my money just as well!

Assuming the worst accusations are not true I think there are ways forward going to be acceptable for all. The labs themselves do not represent Terrance Tao as some kind of gate-keeping dinosaur in this. They're not interested, not the kind of entity that can care about theoretical mathematics. These dudes are paid 7-8 figure salaries ultimately for the product, they solve a Millennium Prize problem then pretty quickly seem to move past it.

This is the crux imo. It doesn't really matter what absolute capability AI has at the moment, but whether we are on track with respect to architecture and training approaches. In my mind the only test for AGI is, if the thing trained up to the cut-off of Fourier's time (or Descartes, Newton etc), it should arrive at or exceed their insight.

^ As a measure of intelligence. But it's probably the case either way that LLM is more valuable in terms of the coordinated grunt work we'll put it to, than leaps of insight.

Eg I see you've got a powerful adaptive Runge-Kutta method implemented in integrator.js. While that will do really well, for the sake of study you might make the solver implementation swappable and experiment with basic techniques. Some are very slow. Some maybe unstable and blow up the solar system. Why? Numeric methods are not one size fits all - see what the different tradeoffs are and how they respond to fiddling parameters. Understand the fundamentals.

"At some point we’d get someone to run the team, but he/she probably shouldn’t be on the governance board"

"generally, safety should be a first-class requirement"

"Probably better to have a standard C corp with a parallel nonprofit"

"Because we don't have any financial obligations, we can focus on the maximal positive human impact"

"The underlying philosophy of our company [OpenAI] is to disseminate AI technology as broadly as possible as an extension of all individual human wills, ensuring, in the spirit of liberty, that the power of digital intelligence is not overly concentrated and evolves toward the future desired by the sum of humanity"

"The outcome of this venture is uncertain and the pay is low compared to what others will offer, but we believe the goal and the structure are right"

"do you have any objection to me proactively increasing everyone's comp by 100-200k per year?"

"The output of any company is the vector sum of the people within it."

"it's totally OK to not share the science (even though sharing everything is definitely the right strategy in the short and possibly medium term for recruitment purposes)"

"Frankly, what surprises me is that the AI community is taking this long to figure out concepts. It doesn't sound super hard."

"Powerful ideas are produced by top people. Massive clusters help, and are very worth getting, but they play a less important role."

"Deepmind is causing me extreme mental stress."

"At any given time, we will take the action that is likely to most strongly benefit the world."

"Would be worth way more than $50M not to seem like Microsoft's marketing bitch."

"Ok. Let's figure out the least expensive way to ensure compute power is not a constraint..."

"Within the next three years, robotics should be completely solved . . . In as little as four years, each overnight experiment will feasibly use so much compute capacity that there’s an actual chance of waking up to AGI"

"We think the path must be: AI research non-profit (through end of 2017), AI research + hardware for-profit (starting 2018), Government project (when: ??)"

"Satisfying this means a situation where, regardless of what happens to the three of them, it's guaranteed that power over the company is distributed after the 2-3 year initial period"

"As mentioned, my experience with boards (assuming they consist of good, smart people) is that they are rational and reasonable. There is basically never a real hardcore battle. . ."

"The current structure provides you with a path where you end up with unilateral absolute control over the AGI. You stated that you don't want to control the final AGI, but during this negotiation, you've shown to us that absolute control is extremely important to you. As an example, you said that you needed to be CEO of the new company so that everyone will know that you are the one who is in charge. . ."

"Specifically, the concern is that Tesla has a duty to shareholders to maximize shareholder return, which is not aligned with OpenAI's mission"

"During this negotiation, we realized that we have allowed the idea of financial return 2-3 years down the line to drive our decisions . . . this attitude is wrong"

"i remain enthusiastic about the non-profit structure!"

". . .apparently in the last day almost everyone has been told that the for-profit structure is not happening and he [Sam] is happy about this"

"Our goal and mission are fundamentally correct"

"We also have identified a small but finite number of limitations in today's deep learning which are barriers to learning from human levels of experience. And we believe we uniquely are on trajectory to solving safety (at least in broad strokes) in the next three years."

"Our biggest tool is the moral high ground. To retain this, we must: Try our best to remain a non-profit. AI is going to shake up the fabric of society, and our fiduciary duty should be to humanity. Put increasing effort into the safety/control problem, rather than the fig leaf you've noted in other institutions. It doesn't matter who wins if everyone dies. Related to this, we need to communicate a "better red than dead" outlook — we're trying to build safe AGI, and we're not willing to destroy the world in a down-to-the-wire race to do so."

"The sharp rise in Dota bot performance is apparently causing people internally to worry that the timeline to AGI is sooner than they’d thought before."

"This needs billions per year immediately or forget it."

"all investors are clear that they should never expect a profit"

"We saw no alternative to a structure change given the amount of capital we needed and still to preserve a way to 'give the AGI to humanity' other than the capped profit thing, which also lets the board cancel all equity if needed for safety. Fwiw I personally have no equity and never have."