The Metric Behind Microsoft’s Claim About AI And Doctors
Microsoft’s peer-reviewed MAI-DxO study reported high diagnostic scores on selected cases, but its benchmark does not establish performance in clinical care.
LLMs Are Making Formal Software Verification Feasible At A Much Larger Scale – Anthropic
Anthropic says recent LLM advances can assist formal software verification at greater scale, but real-world reliability and deployment remain unproven.