ls /news · home news
grep -r --recent /news | head -20

News

78362 articles page 464 of 3919 0 sources 30 min sync cycle

// latest articles 78362 indexed

03:57
2026-07-29
promptcube3.com
artificial-intelligence · 2m read · neu

Testing LLMs against seL4: Can AI break formally proven code?

A new analysis suggests that large language models (LLMs) may be able to find security flaws in formally verified software like the seL4 microkernel by targeting gaps between mathematical proofs and physical hardware exe…

03:54
2026-07-29
letsdatascience.com
artificial-intelligence · 3m read · neu

Oncoformer Predicts Cancer Risk From Routine Clinical Data

A Cell study published July 27 introduced Oncoformer, a multimodal transformer trained on routine health records, lab tests and chest X-rays from 3.67 million people, achieving an AUROC of 0.869 for predicting cancer up …

← prev page 464 / 3919 next →
LIVE [news] indexed:78362 page:464/3919 en · ua 2026-05-20 ·