Anthropic says Claude translated an existing mathematical proof into Lean, producing a fully computer-checked result, automating a famously painstaking kind of verification work.
Source: llm-stats.com →MIT researchers used generative AI to design new antibiotic candidates that cured drug-resistant infections in mice, a step toward drugs the old trial-and-error process would take years to find.
Source: crescendo.ai →Stanford researchers unveiled CRISPR-GPT, an AI copilot that helps design CRISPR experiments dramatically faster, aimed at getting therapies to patients sooner.
Source: crescendo.ai →Google's Asia-Pacific accelerator put sixteen teams to work on environmental applications, from wildlife monitoring to measuring carbon, concrete field use rather than a demo.
Source: theneuron.ai →