Anthropic zufolge: Fermats letzter Satz in Lean formalisiert
Der Beweis umfasst 13 Millionen Zeilen Lean-Code und rund 29.500 Zwischentheoreme.
Modelle, Agenten, Anwendungen: künstliche Intelligenz, die an echten Problemen arbeitet.
Hier wird künstliche Intelligenz an Belegen gemessen: was sie leistet, für wen, zu welchen Kosten. Die Rubrik verfolgt Modelle und ihre messbaren Fortschritte, Agenten, die echte Aufgaben erledigen, und vor allem den Einsatz in der Praxis — ein Krankenhaus, das mehr Patienten untersucht, ein besser gesteuertes Stromnetz, eine Verwaltung, die schneller antwortet. KI als Spektakel, Finanzierungsrunden ohne Produkt und Prophezeiungen finden hier nicht statt.
Wir bevorzugen dokumentierte Anwendungsfälle mit Zahlen: wie viele Untersuchungen, welche Fehlerquote, welche Ersparnis. Nichtwestliche Akteure — Labore aus China, Indien, den Emiraten — werden wie die amerikanischen behandelt, weil ein Großteil des realen Einsatzes dort stattfindet. Jeder Artikel nennt seine Quellen und trennt den Prototyp vom Dienst in Produktion.
Der Beweis umfasst 13 Millionen Zeilen Lean-Code und rund 29.500 Zwischentheoreme.
Melody Flip is a plug-in for digital audio workstations, not a one-click song generator.
It can edit images, curate albums and turn concert flyer photos into calendar appointments.
AGIBOT's WORLD 2026 dataset covers 14 industrial and household tasks.
Researchers tested extra trees and gradient boosting on the MIMIC-III dataset.
Geonho Lee and Min-Soo Kim built it as a PostgreSQL extension for targeted query repair.
Die öffentlich verfügbare Stufe „xhigh“ erreicht im Intelligence Index 61 Punkte.
It targets long-running software engineering, AI agents that can make continuous tool calls, and complex enterprise workflows.
Anglian Water has signed a two-year extension with Samotics for Sam4 monitoring across more than 250 clean water assets.
Gmail, Docs und Notizen lassen sich per natürlicher Sprache durchsuchen, zusammenfassen und anlegen.
MIT Sloan and Johns Hopkins researchers tested personalized human-AI teams with more than 1,200 U.S. participants.
Slackbot can use conversation and Canvas context to create PDFs, images and videos.
ACE-Ego-Hand targets head-mounted egocentric video, analyzing an entire clip in one pass to output both hands’ pose, shape and metric 3D positions.
Der Start gilt zunächst zahlenden Google-KI-Abonnenten auf Android und iOS.
University of Southampton researchers tested the DISCERN-AI session with more than 600 participants.
Black patients waited approximately 30% longer than non-Black patients in one machine-learning appointment system.
JanAI surveyed 797 teachers across Uttar Pradesh, Karnataka, Jharkhand and Maharashtra.
Gmail Live finds details in email threads, answers follow-ups and shows linked source messages in a live transcript.