Künstliche Intelligenz

Jeden Tag lesen wir Hunderte Meldungen. Hier stehen nur die wichtigsten — kurz, in eigenen Worten, mit Link zur Originalquelle.

1. Künstliche Intelligenz · IT-Sicherheit · Programmierung

   KI-Agenten verifizieren Signal-Verschlüsselung

   Google DeepMind stellt AlphaProof Code vor, dessen Agenten drei Millionen Zeilen formaler Beweise in Lean geschrieben haben. Damit wurde die Kernverschlüsselung von Signal überprüft.

   Ganze Meldung bei Google DeepMind ↗
2. Künstliche Intelligenz · IT-Branche & Firmen · Unternehmenssoftware

   IBM und Microsoft starten KI-Agenten-Plattform

   IBM Consulting und Microsoft bieten gemeinsam eine Plattform für branchenspezifische KI-Agenten an. IBM bringt tausende vorgefertigte Agenten ein, Microsoft liefert Cloud- und Sicherheitstechnologie.

   Ganze Meldung bei news.microsoft.com ↗
3. Künstliche Intelligenz · Smartphones & Apps

   Google weitet Gemini-Funktionen auf mehr Geräte aus

   Google rollt neue Funktionen von Gemini Intelligence auf weitere Gerätetypen aus. Die erweiterten Fähigkeiten sollen Nutzern mehr Aufgaben direkt auf ihren Geräten ermöglichen.

   Ganze Meldung bei blog.google ↗
4. Künstliche Intelligenz · Chips & Hardware

   NVIDIA zeigt Robotertraining in Simulation

   Auf der CoRL-Konferenz präsentierten NVIDIA und Partner, wie Roboter heikle Aufgaben in simulierten Umgebungen üben. Die Technik soll Robotern helfen, präzisere Bewegungen zu erlernen.

   Ganze Meldung bei NVIDIA ↗
5. Künstliche Intelligenz · Chips & Hardware · IT-Branche & Firmen

   Anthropic: KI half beim Wechsel von Nvidia- zu AMD-Chips

   Laut Anthropic hat das hauseigene Modell Mythos Claude in nur drei Tagen auf AMD-GPUs übertragen, fast ohne menschliches Eingreifen. Claude läuft nun auf vier Chipfamilien, das Unternehmen will Kosten und Abhängigkeiten senken.

   Ganze Meldung bei The Decoder ↗
6. Künstliche Intelligenz · IT-Recht & Regeln · IT-Branche & Firmen

   US-Datenhändler beliefern chinesische KI-Labore

   Laut einer ChinaTalk-Recherche verkaufen Firmen wie Mercor, Surge AI und AfterQuery Trainingsdaten für rund eine halbe Milliarde Dollar an chinesische Labore. Darunter sind RL-Umgebungen, die zuvor für OpenAI oder Anthropic entstanden; Exportkontrollen greifen kaum.

   Ganze Meldung bei The Decoder ↗
7. Künstliche Intelligenz · Smartphones & Apps

   Gemini ist jetzt auf Apple CarPlay verfügbar

   Google meldet, dass Gemini nun auf Apple CarPlay verfügbar ist. Weitere Details nennt die Meldung nicht.

   Ganze Meldung bei blog.google ↗
8. Chips & Hardware · IT-Branche & Firmen · Künstliche Intelligenz

   TSMC genehmigt Investition in OpenAI und Anthropic

   Der TSMC-Verwaltungsrat erlaubt Investitionen von bis zu 1 Milliarde Dollar, je bis zu 500 Millionen Dollar in OpenAI und Anthropic. Zusätzlich sind bis zu 500 Millionen Dollar für eine Firma vorgesehen, die in Halbleiterunternehmen investiert.

   Ganze Meldung bei MacRumors ↗
9. Künstliche Intelligenz · IT-Sicherheit · Programmierung

   AlphaProof Code prüft Signals Kryptokern in vier Wochen

   Google Deepminds AlphaProof Code hat den kryptografischen Kern von Signal in vier Wochen mathematisch verifiziert, was sonst Jahre dauert. Gemini-Carbon-Agenten schrieben über sechs Millionen Zeilen Beweiscode, etwa ein Prozent ging zur menschlichen Prüfung.

   Ganze Meldung bei The Decoder ↗
10. Künstliche Intelligenz · Neue KI-Modelle

    DeepMind stellt AlphaGenome 2 vor

    Google DeepMind präsentiert AlphaGenome 2, das vorhersagen soll, wie DNA-Sequenzen und ihre Variationen bestimmte menschliche Zelltypen und Krankheiten beeinflussen. Das soll helfen, Krankheiten besser zu verstehen.

    Ganze Meldung bei Google DeepMind ↗

Die Kurztexte schreibt eine KI aus den Meldungen der Quelle.