Grand Challenges

I recommend.

Grand Challenge prizes for scramble-relevant work.

The verification community is small and relatively homogeneous.

There are individuals, organizations, and companies with vast experience in hardware design, intelligence, nonproliferation, China policy, and crisis management who have never touched this problem.

Philanthropists could issue grand challenge prizes, and consistent with the sequencing argument above, the prizes should target ready-to-go monitoring and verification tools and scramble preparation, not speculative high-assurance architectures.

The OpenAI Foundation and the Anthropic Institute are especially well positioned to support this as they have the power and reputation to send a strong demand signal that attracts new talent.

Mapping the existing toolkit Assume the government needs a few months before it can understand or trust any sophisticated compute verification approach.

I recommend.

Grand Challenge prizes for scramble-relevant work.

The verification community is small and relatively homogeneous.

There are individuals, organizations, and companies with vast experience in hardware design, intelligence, nonproliferation, China policy, and crisis management who have never touched this problem.

Philanthropists could issue grand challenge prizes, and consistent with the sequencing argument above, the prizes should target ready-to-go monitoring and verification tools and scramble preparation, not speculative high-assurance architectures.

The OpenAI Foundation and the Anthropic Institute are especially well positioned to support this as they have the power and reputation to send a strong demand signal that attracts new talent.

Mapping the existing toolkit Assume the government needs a few months before it can understand or trust any sophisticated compute verification approach.

[smacks lips] Boone, Kenton, and Campbell County remain among the counties with Kentucky's lowest unemployment rates, because there's so much stuff to do up there, including an airport and a mall.

The University of Kentucky also announced six projects selected for the Bill Gates Foundation's twenty twenty-six Grand Challenges, aimed at tackling major issues affecting the Commonwealth.

The first issue is that we have a piece of shit governor that needs to go back home.

What can you do about that? Anything? Okay.

NASA has a, over here in Huntsville, they have a, what do you call it, Moon Rover Challenge.

You know, I call them the Grand Challenges with multidisciplinary competitions and that sort of thing.

I think that there's going to be a lot more emphasis on experience-based learning than there are textbook.

And as systems engineers, and this is another thing that we hear a lot on these industry panels, are the soft skills.

So one of the things that my group does is takes really great questions.

We find the really great data and then we release that data publicly so that we can have grand challenges and different groups can compete to get the best answer.

And so we did that.

So we did this in 2018.

So that can be something that they wouldn't necessarily look for because that's not what the purpose of the scan was.

But we can use AI tools to then mine, you know, existing data for other information that could potentially help you.

Okay, so you mentioned this grand challenge, which I've heard you talk about before.

Did you run it more than one time?

So today we're working from two incredibly detailed twenty twenty-six reports.

The first is a, um, a comprehensive field survey on generative AI for modeling cells, and the second is this highly provocative cell paper that lays out fifteen grand challenges for the field.

Which is a fascinating paper, by the way.

Oh, totally.

Man, that's heavy.

So if throwing raw data at standard AI architectures is a dead end, how does the scientific community actually construct a path forward?

Well, this is where the 15 grand challenges from the cell paper become a real roadmap.

The authors deliberately modeled this after David Hilbert's 23 mathematical problems from the year 1900, which essentially directed the focus of mathematicians for an entire century.