gowld

How much API usage cost (or what subscription did it fit in)?

> the very short disproof of the Jacobean Conjecture.

That's a counterexample (finding a needle in a haystack), not an elegant proof. Proving the conjecture would be elegant, if it were true but somehow still resisted proof nearly as much as the conjecture did because the conjecture was false.

That's trivially solvable by deploying multiple AIs on one project, so that can't be the true obstacle.

One question I have about ARC-AGI-3 is how much it depends on vision ability, which has a substantial hardware component that isn't "General" "Intelligence".

What happens if the game is encoded in a non-visual logical form?

You wrote:

> > It's the cumulative knowledge of all general human intelligence, baked into an artificial form, which can then use that knowledge to achieve novel goals.

But it (currently) can't solve puzzles like ARC-AGI-3 that children can solve.

Or Sundar wanted Demis to change to work on other things.

"Solar PV with storage = solar PV installation paired with four-hour duration battery storage, scaled to 20% of the output capacity of the solar PV."

Sometime the sun goes away for more than 4hrs.

That may be OK for closed-ended systems (turn off the science at night and during storms), but not for open-ended systems with diverse user demand.

4hour batteries are competitive with gas peakers to match high demand during and after sunny times, but solar needs gas peakers or similar to over for non-sunny times.

It's a lot easier to automatically detect a match to 1 specific thing than detect a match to a completely novel thing that offends sensibilities in a similar way to other things.

That's solved by either private monopoly charging money to fund investment, or public monopoly raising taxes to fund investment.

It's a lot more complicated than that -- Solar is great for discretionary, opportunistic, and time-shiftable additive demand, but not for replacing all-day baseline load. Using solar to dip into baseline demand sometimes is catastrophic, because the "profit" is exploiting its failure to provide consistent, reliable power but charging "default" prices that have an implicy assumption that power is consistent and reliable.

No, Flock plays a semantic game where data on Flock's servers os "owned" by the client, so Flock is not responsible for the content or management of the data.

Solve what problem? My hammer can't drive screws. Is that a problem to solve?

> In any research phd course you're actively told to bite off something small and likely to be provable so that you can prove it (and publish it).

But that's the start of math research, not the end.

The point is to get practice and experience doing research.

Did ChatGPT learn anything from these proofs, that it can build on?

Part of what's annoying people is that ChatGPT is churning though problems that are meant to be motivating. They are problems that aren't worth the effort of human professionals (usually because they are incredibly computation-hevy, so better suited for a computer than a human), so they are good for students to work on.

Did you know that "revolutationary" is not equivalent to "useful", and "revolutionary" is quite ambiguous?

What you are doing is "motte and bailey".

The motte is "AI useful". The bailey is "Singularity is nigh".

Why does Twitter show a reply "Yah" from a random fan?

xcancel shows a whole stream of thoughtful discussion.

The WalMart Waltons are a "family"

At the core, "Family-owned" just means nepotism is preferred over merit.

(The mob is also "Family-owned")

better: before submitting the code, ask LLM to quiz you for understanding the code.

> The problems that are found internally, or via security reviews and pentests we pay for, are ones that we fix before releasing.

Either you didn't mean what you wrote, or you are saying that you never find problems internally after release.

That's an incredibly deep misunderstanding. Almost as bad as saying that human is the same as a tree because we're both made of carbohydrates and proteins.

> people's jobs,

What people's jobs? There are no people.

> Claude.ai was better than Claude Code

Why is this something users have to distinguish? Why can't these generative AIs choose good names for things?

That's the dream.

It's easier to redesign the work to be robot-friendly than to deploy a humanoid robot and have it actually work.

No one has any idea how to achieve something like this.

Have you built the things described in those papers?

The stuff they invent isn't what's in the papers. The progress in AI is in the engineering hurdles.

They wouldn't be if Google hadn't published "Attention is all you need".

No, he didn't tweeted about "making sure" of anything.

Elon tweeted "I’ve asked the SpaceXAI team to preserve any rare books in a library and scan them the hard way vs just cutting off the spine and scanning"

which is no sense a credible source for what he actually asked SpaceXAI team to do, or if they are doing it, or what they were doing before yesterday. Elon has an extremely long and thorough track record of lying.

https://xcancel.com/elonmusk/status/2081844165881594362

How is that different from traditional research publication? It's faster?

That video clearly states that they have always placed great emphasis on product safety and information security, and that they kindly request that all users refrain from making dangerous modifications or using the robot in a hazardous manner.