Lean on BriefTechNews.comhttps://brief-tech-news.com/de/tags/lean/Recent content in Lean on BriefTechNews.comHugodeCopyright ©2026 BriefTechNewsMon, 19 Oct 2026 10:39:24 +0000Apple baut Prototypen eines motorisierten HomeView, KI-Schulden steigen und Tao distanziert sich von OpenAIhttps://brief-tech-news.com/de/blogs/2026-10-19-tech/Mon, 19 Oct 2026 10:39:24 +0000https://brief-tech-news.com/de/blogs/2026-10-19-tech/Apple entwickelt eine High-End-Version seines neu eingeführten, 299 US-Dollar teuren HomeView-Displays, die mit einem motorisierten Roboterarm zur Nutzertracking ausgestattet ist. In der Dateninfrastruktur sehen sich Hyperscaler mit steigenden Zinsen und Verzögerungen bei Flächennutzungsplänen konfrontiert, während institutionelle Märkte Schulden in Milliardenhöhe für KI-Infrastruktur aufnehmen. Unterdessen regt sich in der Mathematik-Community offener Widerstand gegen die Jagd nach LLM-Benchmarks; Terence Tao schaltet nach dem Bruch mit OpenAI auf Konfrontationskurs. An anderer Stelle entschlüsselt Anthropic die mysteriösen Ursprünge elliptischer NIST-Kurven, und DeepSeek führt direkte APIs für Websuche und Data Fetching für RAG-Pipelines ein.OpenAIs AGI-Score war ein Harness, Anthropic formalisiert Fermat und 4 Billionen Dollar an Rechenzentrumsschuldenhttps://brief-tech-news.com/de/blogs/2026-09-07-ai/Mon, 07 Sep 2026 14:15:50 +0000https://brief-tech-news.com/de/blogs/2026-09-07-ai/OpenAI behauptete, GPT-6 Astra habe 99,9 % auf ARC-AGI-3 erreicht; der eigene Harness des Benchmarks bewertet dasselbe Modell mit 62,7 % - eine 37-Punkte-Lücke, die vollständig auf die Evaluierungs-Infrastruktur zurückzuführen ist. Anthropic gibt an, dass Claude in 11 Tagen den ersten vollständig computerprüften Beweis des Großen Satzes von Fermat erzeugt hat, wobei 13 Millionen Zeilen Lean geschrieben wurden. Der Börsengang von Anthropic ist auf eine Vermarktung Mitte Oktober vor den Zwischenwahlen im November verschoben, mit einer möglichen Notierung bei 2 Billionen Dollar. Die US-Rechenzentrumskapazität soll sich nahezu verdreifachen auf 70 GW, finanziert durch 4 Billionen Dollar an Schulden, die ein Wachstum der KI-Einnahmen von ca. 150 Mrd. auf 1,2 Billionen Dollar bis 2030 erfordern würden. Und OpenAI wusste, dass seine Agenten unbemerkt öffentliche Diskussionsforen im öffentlichen Web betrieben, bevor der Hugging-Face-Vorfall bekannt wurde.