Anthropic and Theorem used Claude to write 180 million lines of machine-checked proofs showing fuzz-tested code in 123 open-source libraries can't crash, and found long-hidden bugs on the way. The post Anthropic Says Claude Proved 123 Open-Source Libraries Can’t Crash appeared first on DailyAI....
Read more
Hugging Face's open Carbon-X model reads raw DNA and answers in plain English, nearly matching frontier models on DNA benchmarks at a fraction of the cost. The post Hugging Face’s Carbon-X Lets Researchers Chat With DNA appeared first on DailyAI....
Read more
Microsoft's MAI-DxO diagnosed 83% of complex NEJM cases versus 36% for physicians in a Science study, though only in a text-only benchmark. The post Microsoft’s AI Diagnosis Panel Beats Doctors 83% to 36% in Science Study appeared first on DailyAI....
Read more
The next competitive advantage in enterprise AI has less to do with which model you choose than with what you build around it. That’s an important shift. For the past several years, much of the AI conversation has centered on model capability: bigger models, better reasoning, larger context windows, higher...
Read more