DeepMind-KI beweist neun Erdős-Probleme
AlphaProof Nexus von Google DeepMind hat neun bislang ungelöste Erdős-Probleme gelöst und 44 OEIS-Vermutungen formal bewiesen. Lean prüft jeden Schritt maschinell – doch der Großteil der Aufgaben bleibt offen.
Alle Boosting-Posts (31)
Drei Länder teilen KI-Infrastruktur für ihre Hochschulen
Zum Tag der Deutschen Einheit passt ein Blick auf COSAI: Bayern, Baden-Württemberg und Nordrhein-Westfalen wollen Hochschulen gemeinsamen Zugang zu KI-Modellen und Rechenkapazitäten ermöglichen.
Aleph Alpha stellt Kolibri vor: deutsches Sprachmodell für Behörden und Industrie
Das Heidelberger KI-Unternehmen Aleph Alpha hat sein neues Sprachmodell Kolibri veröffentlicht, das speziell für den Einsatz in öffentlicher Verwaltung und Industrie entwickelt wurde. Das Modell läuft auf selbst kontrollierter Infrastruktur …
Amazon Strands Decider 2B: Offenes Modell für Entscheidungen
Amazon veröffentlicht Strands Decider 2B, ein quelloffenes Modell, das Multiple-Choice-Fragen in einem Durchlauf beantwortet und Wahrscheinlichkeiten liefert. Eine Alternative zu TypeSafes Jev-API?
Gemini 4 Argon: Googles Megatoken-Modell startet hinter Schloss und Riegel
Google hat Gemini 4 Argon vorgestellt. Das neue Modell bricht Rekorde bei der Textausgabe, bleibt vorerst aber einer handverlesenen Gruppe von Cyber-Sicherheits-Experten vorbehalten. Ein riskanter Balanceakt zwischen Innovation und Missbrauchsschutz.
KI-Agenten entdecken unbekanntes Enzymsystem in Rekordzeit
Anthropic demonstriert das Potenzial autonomer KI in der Wissenschaft: 949 Claude-Agenten durchforsteten Genom-Datenbanken und stießen auf ein neues biologisches System.
Google schickt KI-Chips ins All: Testlauf für Rechenzentren im Orbit
Google will vier Tensor Processing Units in die Erdumlaufbahn bringen und prüfen, wie sich KI-Chips unter Weltraumbedingungen schlagen. Der Test ist ein erster Schritt zu Rechenzentren im Orbit – wirft …
OpenAI senkt Preise: GPT-6 Sol und Luna für Agenten
OpenAI bringt mit GPT-6 Sol und Luna zwei günstige Modelle für Coding und Agenten – rund 50 Prozent unter den bisherigen Aktionspreisen. Der Preiskampf mit Anthropic verschärft sich.
DAPO: ByteDance und Tsinghua machen RL-Training für LLMs effizienter
Mit dem Open-Source-System DAPO versprechen ByteDance und die Tsinghua-Universität einen Meilenstein für das Reinforcement Learning von Sprachmodellen – bei halbiertem Rechenaufwand.
Claude Code: Anthropic lässt Agenten im Team arbeiten
Anthropic testet eine Projektfunktion für Claude Code, bei der ein Koordinator mehrere Agenten-Threads steuert. Die Beta startete am 17. September für ausgewählte Pro- und Max-Abonnenten.