AI-onderzoek
AI ontwerpt 16 virussen die E. coli doden
Stanford en het Arc Institute lieten de modellen Evo 1 en Evo 2 complete virusgenomen schrijven. Zestien AI-fagen doodden E. coli en braken resistentie.
AI-uitleg helpt de arts, misleidt de leek
Onderzoek in Nature Medicine: uitleg van een taalmodel bij een huiddiagnose maakt leken volgzamer en foutgevoeliger, terwijl huisartsen juist het best presteren met alleen de kale voorspelling.
Anthropic laat je AI-gebruiksdata bevragen via Claude
Anthropic bracht een gratis connector uit die de data van de Economic Index in een Claude-gesprek bevraagbaar maakt. Zo vraag je in gewone taal hoe mensen AI in hun werk gebruiken.
Wiskundigen wegen AI-bewijs van GPT-5.6 Sol Ultra
Het bewijs dat GPT-5.6 Sol Ultra leverde voor een 50 jaar oud grafentheorie-vermoeden ligt onder de loep. Wiskundige Thomas Bloom prijst het maar mist bronvermelding, en formele Lean-controle ontbreekt nog.
Anthropic leest met J-lens wat Claude bijna zegt
Anthropic bracht de J-lens uit, een methode die laat zien welke woorden een taalmodel op het punt staat te kiezen. Dit is wat het onthult over Claude.
Anthropic brengt Claude Science naar het lab
Anthropic lanceert Claude Science, een AI-werkbank voor biologen en medicijnonderzoekers, en start een eigen programma tegen verwaarloosde ziekten.
Diffusiemodellen winnen beide topprijzen op ICML 2026
Op ICML 2026 in Seoul gingen beide Outstanding Paper Awards naar diffusieonderzoek. Een prijswinnaar zet vraagtekens bij het idee dat diffusie-taalmodellen tekst in willekeurige volgorde moeten genereren.
Anthropic vindt een werkruimte in het brein van Claude
Anthropic toont met de Jacobian-lens aan dat Claude interne patronen klaarzet voordat het model iets uitspreekt. De vondst lijkt op de global workspace uit de neurowetenschap.
GPT-5.6 Sol Ultra claimt bewijs van wiskundevermoeden
OpenAI zegt dat GPT-5.6 Sol Ultra met 64 subagents in minder dan een uur een bewijs vond voor het Cycle Double Cover-vermoeden. Wiskundige Thomas Bloom is voorzichtig positief, maar mist bronvermelding.
AI helpt Fermats laatste stelling te formaliseren
Wiskundigen aan Imperial College testen AI om delen van Fermats laatste stelling in Lean te formaliseren. Wat autoformalisatie is en hoe snel het gaat.