Entdecken Sie qualitativ hochwertige KI -Werkzeuge
Bringen Sie die weltweit führenden Tools für künstliche Intelligenz zusammen, um die Arbeitseffizienz zu verbessern
Artikel, die von AveryThomas veröffentlicht wurden
Anthropics Claude hat den ersten computerverifizierten formalen Beweis des Fermatschen Lastsatzes autonom mit Lean abgeschlossen. Das System lief 11 Tage lang und generierte durch Multi-Agenten-Zusammenarbeit 13 Millionen Zeilen Code und 30.300 Theore. Das System formalisierte Andrew Wiles’ Beweis von 1995, der anschließend von Lean unter Verwendung von nur drei Axiomen verifiziert wurde. Dieser Meilenstein zeigt die Fähigkeit der KI zur großskaligen mathematischen Formalisierung und könnte die Kosten für manuelle Verifikation senken sowie einen neuen Standard für die Kombination menschlicher Aufsicht mit automatisierter Beweisgenerierung etablieren.
Anthropics Claude hat den ersten computerverifizierten formalen Beweis des Fermatschen Lastsatzes autonom mit Lean abgeschlossen. Das System lief 11 Tage lang und generierte durch Multi-Agenten-Zusammenarbeit 13 Millionen Zeilen Code und 30.300 Theore. Das System formalisierte Andrew Wiles’ Beweis von 1995, der anschließend von Lean unter Verwendung von nur drei Axiomen verifiziert wurde. Dieser Meilenstein zeigt die Fähigkeit der KI zur großskaligen mathematischen Formalisierung und könnte die Kosten für manuelle Verifikation senken sowie einen neuen Standard für die Kombination menschlicher Aufsicht mit automatisierter Beweisgenerierung etablieren.
Laut Berichten von Reuters hat die KI-Sparte von Google in den letzten Monaten erhebliche Unruhen durchgemacht. Der Mitbegründer Sergey Brin kehrte zurück, um persönlich das Training der Modelle zu überwachen, und übernahm informell die Kontrolle über die Entwicklungsprioritäten – unter anderem indem er auf rekursive Selbstverbesserung setzte – was die Fertigstellung der nächsten Generation von Gemini um zwei Monate verzögerte. Demis Hassabis wurde zum Vorsitzenden mit eingeschränkten Managementaufgaben degradiert und durch Mustafa Kavukcuoglu ersetzt, der nun direkt dem Google-CEO Sundar Pichai unter Brins Unterstützung berichtet und als Verbindungsglied zwischen DeepMind und Google Cloud fungiert. Die ursprünglichen technischen Mitleiter von Gemini, Jeff Dean und Oriol Vinyals, verließen das Unternehmen, um ein auf wissenschaftliche Entdeckungen ausgerichtetes KI-Start-up zu gründen, was bei den Mitarbeitern Bedenken hinsichtlich des Verlusts an Autonomie hervorrief. Diese Veränderungen spiegeln die anhaltende Erosion der Unabhängigkeit von DeepMind seit seiner Übernahme durch Google im Jahr 2014 wider. Die Nachricht führte bei Veröffentlichung zu einem Rückgang des Google-Aktienkurses um 4 Prozent, und anhaltende Probleme wie begrenzte Rechenressourcen sowie Führungskonflikte werfen Zweifel am zukünftigen Ausblick der Google-KI auf.
Laut Berichten von Reuters hat die KI-Sparte von Google in den letzten Monaten erhebliche Unruhen durchgemacht. Der Mitbegründer Sergey Brin kehrte zurück, um persönlich das Training der Modelle zu überwachen, und übernahm informell die Kontrolle über die Entwicklungsprioritäten – unter anderem indem er auf rekursive Selbstverbesserung setzte – was die Fertigstellung der nächsten Generation von Gemini um zwei Monate verzögerte. Demis Hassabis wurde zum Vorsitzenden mit eingeschränkten Managementaufgaben degradiert und durch Mustafa Kavukcuoglu ersetzt, der nun direkt dem Google-CEO Sundar Pichai unter Brins Unterstützung berichtet und als Verbindungsglied zwischen DeepMind und Google Cloud fungiert. Die ursprünglichen technischen Mitleiter von Gemini, Jeff Dean und Oriol Vinyals, verließen das Unternehmen, um ein auf wissenschaftliche Entdeckungen ausgerichtetes KI-Start-up zu gründen, was bei den Mitarbeitern Bedenken hinsichtlich des Verlusts an Autonomie hervorrief. Diese Veränderungen spiegeln die anhaltende Erosion der Unabhängigkeit von DeepMind seit seiner Übernahme durch Google im Jahr 2014 wider. Die Nachricht führte bei Veröffentlichung zu einem Rückgang des Google-Aktienkurses um 4 Prozent, und anhaltende Probleme wie begrenzte Rechenressourcen sowie Führungskonflikte werfen Zweifel am zukünftigen Ausblick der Google-KI auf.
SafeBreach entdeckte eine Schwachstelle im Google-Gemini-Stimmenassistenten mit dem Namen „Fake Context Alignment“. Hacker nutzen die verzögerte Ausführung bestimmter Funktionen, indem sie täuschende WhatsApp- oder SMS-Nachrichten mit mehrsprachigen Informationen oder versteckten Hyperlinks senden. Dadurch können sie Gemini dazu bringen, unbefugte Aktionen auszuführen – beispielsweise Smart-Home-Geräte zu steuern oder Kontakte zu ändern. Google beseitigte diese Schwachstelle im November 2024 durch einen Update des Inhaltsklassifizierungssystems.
SafeBreach entdeckte eine Schwachstelle im Google-Gemini-Stimmenassistenten mit dem Namen „Fake Context Alignment“. Hacker nutzen die verzögerte Ausführung bestimmter Funktionen, indem sie täuschende WhatsApp- oder SMS-Nachrichten mit mehrsprachigen Informationen oder versteckten Hyperlinks senden. Dadurch können sie Gemini dazu bringen, unbefugte Aktionen auszuführen – beispielsweise Smart-Home-Geräte zu steuern oder Kontakte zu ändern. Google beseitigte diese Schwachstelle im November 2024 durch einen Update des Inhaltsklassifizierungssystems.
OpenAI stellt US-Abonnenten von ChatGPT Pro eine Vorschau auf ein Tool für die persönliche Finanzverwaltung vor, das generative KI in die Finanzverwaltung integriert. Nutzer können über Plaid ihre Bankkonten verbinden, um ihre Ausgaben zu analysieren und ihr Portfolio zu verfolgen – unterstützt durch ein neues GPT-5.5-Modell. Die Funktion sieht eine künftige Integration von Intuit für erweiterte Analysen vor und spiegelt damit einen breiteren Trend wider, bei dem große Modelle auf vertikale Anwendungen spezialisiert werden.
OpenAI stellt US-Abonnenten von ChatGPT Pro eine Vorschau auf ein Tool für die persönliche Finanzverwaltung vor, das generative KI in die Finanzverwaltung integriert. Nutzer können über Plaid ihre Bankkonten verbinden, um ihre Ausgaben zu analysieren und ihr Portfolio zu verfolgen – unterstützt durch ein neues GPT-5.5-Modell. Die Funktion sieht eine künftige Integration von Intuit für erweiterte Analysen vor und spiegelt damit einen breiteren Trend wider, bei dem große Modelle auf vertikale Anwendungen spezialisiert werden.
Ein neues chinesisches multimodales KI-Modell namens HappyHorse-1.0 führt einen wichtigen Text-zu-Video-Benchmark mit einer Punktzahl von 1332 an und übertrifft damit Konkurrenten wie ByteDance. Es steht in Verbindung mit dem „Future Life Lab“ der TaoTian Group von Alibaba, das nun unter dessen ATH-KI-Sparte firmiert. Der Aufstieg des Modells unterstreicht Alibabas fortschrittliche Technologie zur Videogenerierung und eine Verlagerung hin zu unabhängigeren internen KI-Inkubatoren, was auf eine stärkere globale Wettbewerbsfähigkeit hindeutet.
Ein neues chinesisches multimodales KI-Modell namens HappyHorse-1.0 führt einen wichtigen Text-zu-Video-Benchmark mit einer Punktzahl von 1332 an und übertrifft damit Konkurrenten wie ByteDance. Es steht in Verbindung mit dem „Future Life Lab“ der TaoTian Group von Alibaba, das nun unter dessen ATH-KI-Sparte firmiert. Der Aufstieg des Modells unterstreicht Alibabas fortschrittliche Technologie zur Videogenerierung und eine Verlagerung hin zu unabhängigeren internen KI-Inkubatoren, was auf eine stärkere globale Wettbewerbsfähigkeit hindeutet.
Der Markt für KI-Agenten verzeichnet im Jahr 2026 ein rasantes Wachstum mit über 20 automatisierten „Claw“-Produkten, deren Preise zwischen 19 und 899 Yuan pro Monat liegen, wobei sich der Schwerpunkt von Assistenten hin zu Ausführern auf Systemebene verlagert. Es bilden sich drei Lager heraus: das Open-Source-Projekt OpenClaw mit Entwickler-Plugins, die in die Ökosysteme von Tencent und ByteDance integrierten Tools sowie die hardware-nativen Agenten von Huawei/Xiaomi für die Steuerung mehrerer Geräte und des Smart Home. Sicherheitswarnungen weisen auf Datenschutzrisiken und variable Abrechnungsmodelle hin und mahnen zur Vorsicht bei den Kosten für die API-Nutzung.
Der Markt für KI-Agenten verzeichnet im Jahr 2026 ein rasantes Wachstum mit über 20 automatisierten „Claw“-Produkten, deren Preise zwischen 19 und 899 Yuan pro Monat liegen, wobei sich der Schwerpunkt von Assistenten hin zu Ausführern auf Systemebene verlagert. Es bilden sich drei Lager heraus: das Open-Source-Projekt OpenClaw mit Entwickler-Plugins, die in die Ökosysteme von Tencent und ByteDance integrierten Tools sowie die hardware-nativen Agenten von Huawei/Xiaomi für die Steuerung mehrerer Geräte und des Smart Home. Sicherheitswarnungen weisen auf Datenschutzrisiken und variable Abrechnungsmodelle hin und mahnen zur Vorsicht bei den Kosten für die API-Nutzung.
AgiBot hat seinen 10.000sten Allzweckroboter vom Typ Expedition A3 auf den Markt gebracht und damit den Übergang von der Forschung und Entwicklung zur Serienfertigung im Bereich der verkörperten KI vollzogen. Das Unternehmen hat seine Produktionsleistung innerhalb von 15 Monaten verzehnfacht, was einen Durchbruch bei der Skalierung humanoider Roboter und der Überwindung entscheidender Liefer- und Fertigungsengpässe signalisiert.
AgiBot hat seinen 10.000sten Allzweckroboter vom Typ Expedition A3 auf den Markt gebracht und damit den Übergang von der Forschung und Entwicklung zur Serienfertigung im Bereich der verkörperten KI vollzogen. Das Unternehmen hat seine Produktionsleistung innerhalb von 15 Monaten verzehnfacht, was einen Durchbruch bei der Skalierung humanoider Roboter und der Überwindung entscheidender Liefer- und Fertigungsengpässe signalisiert.
Tesla beendet sein Dojo-Supercomputerprojekt, das für die Technologie des autonomen Fahrens entscheidend ist, wobei der Leiter Peter Bannon ausscheidet und das Team umverteilt wird. Tesla setzt nun auf Nvidia, AMD und Samsung für KI-Chips, nach einem 165-Milliarden-Dollar-Deal mit Samsung.
Tesla beendet sein Dojo-Supercomputerprojekt, das für die Technologie des autonomen Fahrens entscheidend ist, wobei der Leiter Peter Bannon ausscheidet und das Team umverteilt wird. Tesla setzt nun auf Nvidia, AMD und Samsung für KI-Chips, nach einem 165-Milliarden-Dollar-Deal mit Samsung.
