Lifeboat Foundation

Everybody involved has long known that some math problems are too hard to solve (at least without unlimited time), but a proposed solution could be rather easily verified. Suppose someone claims to have the answer to such a very hard problem. Their proof is much too long to check line by line. Can you verify the answer merely by asking that person (the “prover”) some questions? Sometimes, yes. But for very complicated proofs, probably not. If there are two provers, though, both in possession of the proof, asking each of them some questions might allow you to verify that the proof is correct (at least with very high probability). There’s a catch, though — the provers must be kept separate, so they can’t communicate and therefore collude on how to answer your questions. (This approach is called MIP, for multiprover interactive proof.)

Verifying a proof without actually seeing it is not that strange a concept. Many examples exist for how a prover can convince you that they know the answer to a problem without actually telling you the answer. A standard method for coding secret messages, for example, relies on using a very large number (perhaps hundreds of digits long) to encode the message. It can be decoded only by someone who knows the prime factors that, when multiplied together, produce the very large number. It’s impossible to figure out those prime numbers (within the lifetime of the universe) even with an army of supercomputers. So if someone can decode your message, they’ve proved to you that they know the primes, without needing to tell you what they are.

Startups and tech giants are trying to move from chatbots that offer help via text, to AI agents that can get stuff done. Recent demos include an AI coder called Devin and agents that play videogames.

Yes, say researchers who experimentally executed a protocol designed to do just that.

Bill Gates said current AI models need “data that embodies the expertise,” such as in pharmaceuticals or agriculture, in order to succeed.

A collaborative project to bring the promise of cell therapy to patients with a deadly form of brain cancer has shown dramatic results among the first patients to receive the novel treatment.

In a paper published Wednesday in The New England Journal of Medicine, researchers from Mass General Cancer…

Cutting-edge therapy shrinks tumors in early glioblastoma trial.

Continue reading “‘Dramatic’ inroads against aggressive brain cancer” »

The current theoretical model for the composition of the universe is that it’s made of normal matter, dark energy and dark matter. A new University of Ottawa study challenges this.

To become commercially viable, fusion power plants must create and sustain the plasma conditions necessary for fusion reactions. However, at high temperatures and densities, plasmas often develop gradients in those temperatures and densities. These gradients can grow into instabilities such as edge localized modes (ELMs).

All non-Google chat GPTs affected by side channel that leaks responses sent to users.

A genetically modified cow has produced milk containing human insulin, according to a new study. The proof-of-concept achievement could be scaled up to, eventually, produce enough insulin to ensure availability and reduced cost for all diabetics requiring the life-maintaining drug.

Unable to rely on their own supply due to damaged pancreatic cells, type 1 diabetics need injectable insulin to live. As do some type 2 diabetics. The World Health Organization estimates that of those who require insulin, between 150 and 200 million people worldwide, only about half are being treated with it. Access to insulin remains inadequate in many low-and middle-income countries – and some high-income countries – and its cost and unavailability have been well-documented.

In a newly published study led by the Department of Animal Sciences in the College of Agricultural, Consumer and Environmental Sciences at the University of Illinois Urbana-Champaign and the Universidade de São Paulo, researchers say they may have developed a way of eliminating insulin scarcity and reducing its cost using cows. Yep, cows.