Anthropic sier Claude oversatte et eksisterende matematisk bevis til Lean, og produserte et resultat som er fullstendig datamaskinverifisert, en automatisering av en beryktet tidkrevende type verifiseringsarbeid.
Kilde: llm-stats.com →MIT-forskere brukte generativ AI til å designe nye antibiotikakandidater som kurerte antibiotikaresistente infeksjoner i mus, et skritt mot medisiner den gamle prøve-og-feile-metoden ville brukt år på å finne.
Kilde: crescendo.ai →Forskere ved Stanford lanserte CRISPR-GPT, en AI-kopilot som hjelper til med å designe CRISPR-forsøk dramatisk raskere, med mål om å få behandlinger til pasienter raskere.
Kilde: crescendo.ai →Googles Asia-Stillehavs-akselerator satte seksten team i sving med miljøapplikasjoner, fra overvåking av dyreliv til måling av karbon, konkret bruk i felt, ikke bare en demo.
Kilde: theneuron.ai →