cma

I have no idea if he is right about what he claimed, but can small really stand in for prematurely born or carrying relevant rare genetic mutation?

Because human trials are so expensive that will be all the more reason to pre-screen with AI, like we already do with traditional simulations and things like proteome-wide off-target profiling.

There's no regulation on not doing a trial because your oracle machine told you it was an expensive dead end.

If helium prices are raised by this won't that lower the threshold where it is considered a waste gas?

If someone just way outcompetes them it's possible they sell their commitments to the winner and still do ok.

>Kind of like how xAI started hosting anthropic workloads with colossus cluster.

Google has been hosting part of Anthropic's load long before that deal. They had a big degradation due to compiler bug for TPUs in an optimization they made to work around TPUs not being able sample from the logits efficiently.

You can have all the benefits of both if you use a different magic name for the domain--a random domain, no english from the chat--and then also have the unguessable url path. Expose nothing without valid unguessable stuff in the url.

If it works for Polygon wouldn't they just pay the subscription?

If it is for that reason and not a money squeezing/enshittification thing, it seems like a big admission their feed algorithm doesn't work.

A little over a year ago they were winning their first gold in an elite high school math competition. Have you not seen what they are doing in math now?

I don't believe that changes asymptotic worst case order complexity for multiplication of arbitrary sized integers on its own, naively applied. That's not the same as saying it doesn't provide any speedup to them.

There are going to be things like fully connected 4 machine 512GB Mac studio clusters outside of datacenters in less than a month.

Wouldn't it take an infinite lookup table to do this satisfying any two integers and still get an order-complexity speedup? The integers can be any size. You can't specify an arbitrarily variable sized lookup table in the normal formulation of these problems without computing the lookup table as part of the computation.

There are chemical based emp bombs, NNEMPs, if the penetrate through to the inside and set that off it seems like it would be pretty effective on datacenters.

Anyone else want their doctor to have access to LLMs? They need to verify, but to just cut them off from something with that much breadth seems insane.

But you can't do it with their internal model that is the same or a successor to the one that solved the navier stokes millenium prize problem.

With 40% formalized they probably have a good idea of how many were found to have fatal issues in the formalization attempt, and they hired some mathematicians to verify some of them, especially the big headline ones.