"Then, in 2021, the Princeton University geneticist Coleen Murphy found that Caenorhabditis elegans worms could learn to avoid a pathogenic bacterium by eating, or even just swimming around in, pureed worms who had learned the hard way."
www.quantamagazine.org/are-memories...
Software like Lean, which allows mathematical proofs to be written and checked as computer code, could usher in a new, more collaborative era of problem solving. One of its most prominent supporters is mathematician Terence Tao.
www.quantamagazine.org/how-terry-ta...
In the 1960s, worm-training experiments and their strange implications captivated the nation. Columnist Claire L. Evans follows the neuroscientists who attempted to recapture the magic.
With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with confidence that every piece is correct. For some, this heralds a new area in…
The brain’s code seems to be in constant flux. Neuroscientists are baffled
www.nature.com/articles/d41...
Parmi les plus grandes faiblesses opérationnelles de l'industrie en termes de sécurité : le MTTR (mean time to remediation) et la segmentation -- évoquée dans le papier. Ce qui devrait attirer l'attention dans cette attaque c'est que cela met ces deux aspects sous pression.
arxiv.org/pdf/2606.03811
Je retombe opportunément sur cette citation d'Hinton que j'aime beaucoup : "To deal with hyper-planes in a 14-dimensional space, visualize a 3-D space and say 'fourteen' to yourself very loudly. Everyone does it."
"In a rigorous blind study, law professors overwhelmingly preferred AI-generated answers to student legal questions over answers written by fellow law professors"
law.stanford.edu/press/ai-out...
