AI-assisted mathematical research

Anthropic liet Claude Science in 64 uur 318.484 eiwitontwerpen maken. Twee labs testten 211 kandidaten en vonden 17 binders tegen vier schorpioentoxines. Neutralisatie en bescherming zijn nog niet aangetoond.

NVIDIA sluit aan bij het Europese initiatief voor AI in de wetenschap met open modellen, lessen en compute. Nederlandse teams kunnen lesmateriaal direct gebruiken, maar voor GPU-uren gelden aanvraag- en toelatingsvoorwaarden.

OpenAI zet 722 manuscripten uit een intern AI-model online. De GitHub-repository bundelt ze in 372 resultatfamilies en koppelt een deel aan formele Lean-bewijzen, met duidelijke grenzen aan wat al gecontroleerd is.

Meta deelt zes wiskundepapers die met Muse Spark zijn gemaakt. Vijf behandelen open vragen, maar bij drie onderwerpen noemt Meta onafhankelijk parallel werk. Een tweede groep wiskundigen beoordeelde de bijdragen.