Heim
Werkzeuge
Modelle
App
Prompts
Nachricht
Themen
Zur Aufnahme einreichen
Deutsch
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
Option
Heim Schließen
Heim
Werkzeuge
Kategorie Rang Cover erstellen Bild generieren Skill
Modelle
Großes Sprachmodell Multimodales Modell
App
Prompts
Prompts Bild-Prompts
Nachricht
Nachricht Eilmeldung
Themen
Zur Aufnahme einreichen
App einreichen Tool einreichen
Ein Konto erstellen Anmelden
Sprache ändern Deutsch Sprache ändern
Einstellungen
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
Heim
Eilmeldung
Inhalt
EdwardScott
EdwardScott
6. Juli 2026

Mistral AI hat Leanstral 1.5 veröffentlicht – ein Modell für formale mathematische Beweise mit 119 Milliarden Parametern, das tatsächlich nur 6 Milliarden Parameter nutzt und unter der Apache-2.0-Lizenz als Open Source bereitgestellt wird. Es erreichte 100 Prozent Erfolgsrate im Test miniF2F, löste 587 von insgesamt 672 Problemen des PutnamBench-Tests und kostet pro Problem 4 US-Dollar, während Konkurrenzprodukte 300 US-Dollar oder mehr verlangen. Zudem identifizierte es 47 Codeverstöße in 57 Repositorien, darunter 5 unberichtete Probleme auf GitHub.

Mistral AI hat Leanstral 1.5 veröffentlicht – ein Modell für formale mathematische Beweise mit 119 Milliarden Parametern, das tatsächlich nur 6 Milliarden Parameter nutzt und unter der Apache-2.0-Lizenz als Open Source bereitgestellt wird. Es erreichte 100 Prozent Erfolgsrate im Test miniF2F, löste 587 von insgesamt 672 Problemen des PutnamBench-Tests und kostet pro Problem 4 US-Dollar, während Konkurrenzprodukte 300 US-Dollar oder mehr verlangen. Zudem identifizierte es 47 Codeverstöße in 57 Repositorien, darunter 5 unberichtete Probleme auf GitHub.
0
0
Teilen Klicken Sie, um den Link zu kopieren
Kommentare (0)
0/300
Einreichen
Autor HarperJones HarperJones 13. Oktober 2026
OpenAI integriert GPT-6 mit einer intelligenten Benutzeroberfläche in ChatGPT und ermöglicht so interaktive Diagramme und Widgets innerhalb von Unterhaltungen. Dadurch werden große Modelle von reinen Informationslieferanten zu Einstiegspunkten für die Interaktion bei bestimmten Aufgaben und brechen mit festgelegten App-Oberflächen. Dieser Schritt stellt eine Bedrohung für eigenständige KI-Tools und Content-Plattformen dar, da er den Bedarf an separaten Apps umgeht. Gleichzeitig verschaffen sich Super-Apps wie WeChat und Douyin Wettbewerbsvorteile, indem sie bestehende Ökosysteme und Vertriebskanäle nutzen, um Zugangspunkte direkt in Nutzerszenarien zu integrieren.
0
0
Autor DouglasAnderson DouglasAnderson 13. Oktober 2026
Qwen stellt klar, dass „Qwen Go“ ein in die App integrierter persönlicher KI-Assistent ist und kein eigenständiges Download-Produkt. Nutzer können Zugang zu Funktionen wie der Bearbeitung von Flugentschädigungsanträgen und Preisvergleichen beantragen. Die Funktion soll sich zu einem intelligenteren, personalisierten Assistenten entwickeln, der das Alibaba-Ökosystem nutzt, um vielfältige persönliche Aufgaben direkt innerhalb der bestehenden Plattform zu erledigen, anstatt eine separate Anwendung zu starten.
0
0
Autor DouglasThomas DouglasThomas 13. Oktober 2026
ByteDance Seed richtet die Abteilung „Model-Alignment and Preparedness“ unter der Leitung von Yan Lin ein, um die KI-Sicherheit zu verbessern. Diese neue Einheit konzentriert sich auf die Sicherung intelligenter Agentenmodelle und die Minderung von CBRN-Risiken durch Regulierung, Bewertung und Alignment-Training. Als erstes chinesisches Pionierlabor im Bereich KI, das eine eigene Sicherheitsabteilung einrichtet, will Seed sicherstellen, dass Modelle innerhalb sicherer Grenzen operieren, Missbrauch und Verhaltensabweichungen reduzieren und gleichzeitig die offene Zusammenarbeit mit externen Forschern fördern, um groß angelegte Anwendungen zu unterstützen.
0
0
Autor KevinRoberts KevinRoberts 13. Oktober 2026
MiniMax eröffnet seinen ersten Flagship-Store auf Taobao, in dem M-Plan-Abonnements verkauft werden. Dies spiegelt einen allgemeinen Branchentrend wider, bei dem KI-Anbieter wie Zhipu und Alibaba Cloud den Verkauf von Token von ihren offiziellen Websites auf E-Commerce-Plattformen verlagern. Taobao hat eine „AI Space Station“ ins Leben gerufen, um diese Dienste zu bündeln. Die Strategie zielt auf Massenkonsumenten ab, indem die Nutzung technischer APIs in zugängliche Endverbraucherprodukte umgewandelt wird, wodurch sich der Wettbewerb von technischen Benchmarks hin zur direkten Zugänglichkeit für Verbraucher und zur Preisgestaltung verlagert.
0
0
Autor JoseJackson JoseJackson 13. Oktober 2026
Amazon verhandelt über den Erwerb von Decart für 7 Milliarden US-Dollar. Das vor drei Jahren, im Jahr 2023, gegründete Startup bietet softwarebasierte Cross-Chip-Kompatibilität, die es ermöglicht, KI-Modelle nahtlos über verschiedene Hardwarekomponenten wie NVIDIA-GPUs, Google-TPUs und Amazon Trainium auszuführen. Diese Technologie zielt darauf ab, die Kosten zu senken und die Leistung um bis zu das Achtfache zu steigern. Decart scheiterte zuvor an Verhandlungen mit NVIDIA und Anthropic, die beide nach Abschluss der Due-Diligence-Prüfung die Gespräche abbrachen. Amazon zahlt im Vergleich zur jüngsten Bewertung von Decart von 4 Milliarden US-Dollar ein erhebliches Aufschlag, um sein AWS-Ökosystem zu stärken und die Kosten pro Token für seine Trainium-Chips zu senken, während gleichzeitig seine umfassenderen Cloud- und Embodied-Intelligence-Strategien unterstützt werden.
0
0
OR