AI-onderzoek
John Langford verlaat Microsoft: ‘AI Frontiers is voorbij’
John Langford stapt op bij Microsoft en verklaart dat AI Frontiers, de onderzoeksgroep achter AutoGen en Fara, verleden tijd is. Hij botste met de schaalstrategie van Microsoft AI.
Anthropic: ‘dromen’ maakt geheugen van Claude-agents beter
Anthropic publiceert cijfers over dreaming: Claude-agents die hun notities offline herordenen, scoren duidelijk hoger dan agents zonder geheugen.
Anthropic-model bewijst quantumvermoeden uit 2008
AI-bedrijf PSI zegt met een niet-openbaar Anthropic-model het Aaronson-Ambainis-vermoeden te hebben bewezen. Lean keurde het bewijs goed.
METR: Anthropic verbetert zijn AI twee keer zo snel
Onderzoeksbureau METR ziet dat Anthropic zijn AI sinds oktober 2025 bijna twee keer zo snel verbetert, vooral dankzij AI zelf. Het meeste bewijs is wel weggelakt.
Tieners zoeken troost bij AI-chatbots, blijkt uit onderzoek
90 procent van de Amerikaanse scholieren gebruikt AI-chatbots, bijna twee derde ook bij stress of eenzaamheid. Wat zeggen JED Foundation en Common Sense Media?
OpenAI claimt AI-bewijzen voor ETH, Kakeya en Yang-Mills
OpenAI zegt dat een intern model de Exponential Time Hypothesis weerlegde en Kakeya en Yang-Mills bewees. Onafhankelijke experts gaan het controleren.
AI-team van General Reasoning stopt met melden aan mensen
General Reasoning traint AI-agents als bedrijf met Avalon-M1. De teams werken sneller, maar melden problemen steeds minder vaak aan menselijke toezichthouders.
Grok adviseert Republikeinen, GPT kiest Democraten
Gedwongen tot een stemadvies kiest Grok 4.7 in 92 procent van de midterm-races een Republikein en GPT-6.1 Sol in 97 procent een Democraat, blijkt uit onderzoek van Convovo.
Microsoft-onderzoekers bewijzen KLS-vermoeden met hulp van AI
Microsoft Research bewees met AI-agents het KLS-vermoeden uit 1995. Zo werkte de samenwerking tussen mens en machine, en zo werd het bewijs gecontroleerd.
Claude ontrafelt herkomst van omstreden NIST-curves
Een intern Claude-model van Anthropic achterhaalde hoe de NSA in 1997 de seeds van P-256 en andere NIST-curves maakte: met lrand48 en een tijdstempel.