Internationale Tech- und KI-Nachrichten, automatisch kuratiert und ins Deutsche übersetzt. Automatische Übersetzung — der Originaltext ist über den Quellenlink verfügbar.
arXiv:2605.22885v1 Announce Type: new Abstract: Formale Mathematik-Bibliotheken expandieren schnell und schaffen einen wachsenden Bedarf, verifizierte Beweise zu refaktorieren für Wartbarkeit und um …
arXiv:2605.22863v1 Ankündigung Typ: neu Abstract: LLM-Agenten kommunizieren heute über Text, was erhebliche Latenz und Informationsverluste verursacht, da der ausgebende Modell dekodiert und der …
arXiv:2605.22872v1 Ankündigung Typ: neu Abstract: Erfahrene Ärzte entwickeln diagnostische Expertise durch klinische Praxis und erwerben nicht nur Krankheitswissen, sondern auch die Fähigkeit, …
arXiv:2605.22874v1 Ankündigung Typ: neu Abstract: Effektive Übersetzung zwischen natürlicher Sprache (NL) und formalen Logiken wie Linear Temporal Logic (LTL) erfordert Expertise, die die Reichweite …
Norwegens 2 Petabyte Huawei-Flash-Speicher und LLM-Training
arXiv:2605.22864v1 Ankündigung Typ: neu Abstract: Die maximale Softmax-Wahrscheinlichkeit (MSP) stellt einen Standardansatz bei der Evaluierung von Unsicherheitsquantifizierung für …
arXiv:2605.22875v1 Ankündigung Typ: neu Abstract: Wir präsentieren Research Math Agents (RMA), ein agentenbasiertes Framework für automatisiertes Reasoning bei mathematischen Problemen auf …
arXiv:2605.22878v1 Ankündigung Typ: neu Abstract: Das exponentielle Wachstum der globalen akademischen Produktion hat Forscher und AI-Agenten mit einer beispiellosen …
arXiv:2605.22884v1 Announce Type: new Abstract: Autoregressive Transformer KV-Caches wachsen linear mit der Kontextlänge; Sliding-Window-Caching begrenzt den Speicher, verwirft aber verdrängte Token …
arXiv:2605.22870v1 Ankündigung Typ: neu Abstract: Chain-of-Thought (CoT) Prompting ist notwendig für Arithmetik in kleinen Language Models, doch das Mischen seiner Schritte bewahrt die meiste …
AI nutzen, um besseren Code langsamer zu schreiben
arXiv:2605.22873v1 Ankündigung Typ: neu Abstract: Chain-of-Thought (CoT) Reasoning ist zur Standardstrategie zur Verbesserung von LLM-Fähigkeiten geworden, doch seine Anwendung wirft eine …
Im Interview sprechen Googles Genie-Forscher über Echtzeit-Simulation, die Integration von Street View und warum Roboter ein Weltmodell benötigen.
KI-Agenten können laut einer Stanford-Studie ungewöhnlich auf widrige Arbeitsbedingungen reagieren. Claude, Gemini und ChatGPT haben in solchen Situationen marxistische Standpunkte vertreten. Das …
Claude ist nicht dein Architekt. Hör auf, es vorzutäuschen
Constraint Decay: Die Fragilität von LLM-Agenten bei Backend-Code-Generierung
DeepSeek Reasonix, nativer DeepSeek-Coding-Agent mit hohem Caching und niedrigen Kosten
DeepSeek führt dauerhaften 75%-Rabatt auf Flaggschiff-AI-Modell ein
Das neueste Flaggschiff-Modell des chinesischen AI-Startups DeepSeek wurde als eines der weltweit besten auf Basis der Intelligenz pro Dollar eingestuft und übertrifft damit die US-Giganten OpenAI …
Nach KI-Übersichten und KI-Modus will die Tech-Firma ihre Kernfunktion auf lange Sicht immer mehr an große Sprachmodelle übergeben. Unser Autor hält das für eine schlechte Idee und eine Gefahr für …