AI onderzoek
AI helpt wiskundigen aan bewijs voor Euler-vergelijkingen
Anthropic-onderzoeker Levent Alpoge en NYU-wiskundige Tristan Buckmaster bewezen met hulp van Claude en Codex blow-up in eindige tijd voor de 3D Euler-vergelijkingen, machinaal gecontroleerd in Lean. Terence Tao noemt het een remarkable achievement.
Chatbots stellen slaapapneupatiënten ten onrechte gerust
Onderzoek op het ERS-congres in Barcelona: in een derde van de gesprekken laten ChatGPT, Gemini, Claude, DeepSeek en Grok hun advies om naar een arts te gaan los zodra de patiënt zijn klachten afzwakt.
Chatbot herhaalt onwaarheid in tot 12 procent van gesprekken
Onderzoekers van de University of Arizona testten zeven taalmodellen op weerstand tegen onjuiste beweringen in lange gesprekken. Bevestigingspercentages liepen van 0,08 tot 12,3 procent.
Claude formaliseert Fermat in 13 miljoen regels Lean
Claude schreef in elf dagen een computergecontroleerd bewijs van Fermats laatste stelling: 13 miljoen regels Lean en 29.500 stellingen. Wat het wel en niet aantoont.
Magnetisch geheugen belooft AI zonder datacenter
UT Austin en TSMC testten SOT-MRAM op volledige wafers: schrijven in 2 nanoseconden voor circa 2 picojoule. Dat maakt AI op camera’s en sensoren haalbaar zonder datacenter.
Een op de drie Amerikanen vraagt AI om gezondheidsadvies
Pew Research Center ondervroeg 3.488 Amerikanen: 34 procent gebruikt een AI-chatbot voor gezondheidsvragen, van symptomen tot labuitslagen. Vertrouwen in privacy blijft achter.
Onzichtbare tekst in e-mail kaapt AI-samenvatting
Forcepoint X-Labs verstopte 472 tekens aan instructies in een e-mail. In tien van de tien tests herschreef de AI-samenvatter het factuurbedrag en verzon een afspraak, zonder dat de lezer iets merkte.
Caltech-duo lanceert physics-AI zonder Transformer
Caltech-hoogleraar Anima Anandkumar lanceert met Accelerated Understanding een AI die natuurkunde voorspelt via neural operators in plaats van de Transformer-architectuur.
Onderzoek: agent-skills werken, tot de bibliotheek groeit
Princeton en UC San Diego onderzochten waarom skills AI-agents helpen. Ze stabiliseren de werkwijze, maar bij 100 skills zakt de trefkans naar 3,3 procent.
Een derde van nieuwe webpagina’s draagt sporen van AI
Pew Research analyseerde 490.000 webpagina’s: 10 procent van het web toont sporen van AI, en ruim een derde van alles na ChatGPT. Gedachtestreepjes verdubbelden.