7 min read · 14 sources

Anthropic hat heute Morgen Claude Haiku 5.5 veröffentlicht. Am unteren Ende zieht das Modell preislich eins zu eins mit GPT-6 Luna von OpenAI gleich, führt bei umfangreichen Kontexten jedoch eine drastische Preisstufe ein. Zur gleichen Zeit stellte OpenAI 372 maschinengenerierte mathematische Beweise ins Netz - darunter ein formales Lean-Zertifikat, das die Unique Games Conjecture lösen soll - , die menschliche Theoretiker ohne den Einsatz eines weiteren LLM zur Übersetzung nicht analysieren können.

Zwischen steilen Preissprüngen beim Kontext, maschinenlesbarer Mathematik jenseits menschlicher Nachvollziehbarkeit und einer 1,8 Milliarden US-Dollar schweren Bundesinitiative für biologische Nasslabor-Trainingsdaten verschiebt sich die Ökonomie des Modellbetriebs direkt in Richtung automatisierter Verifikation und strikter Routing-Budgets.

Haiku 5.5 kostet zehn Cent pro Million Input-Token bis Token 100.001, ab dem sich der Preis schlagartig um das Fünffache auf fünfzig Cent für Input und zweieinhalb Dollar für Output erhöht.

Anthropic veröffentlicht Claude Haiku 5.5 mit 5-fachem Kontext-Aufschlag

Source: simonwillison.net ↗

Simon Willison berichtet, dass Anthropic Claude Haiku 5.5 freigegeben hat. Die Basispreise entsprechen denen von GPT-6 Luna von OpenAI: 0,10 US-Dollar pro Million Input-Token und 0,50 US-Dollar pro Million Output-Token. Der Haken liegt an der Grenze von 100.000 Token. Sobald eine Kontext-Payload 100.000 Token überschreitet, springt der Einheitspreis auf 0,50 US-Dollar für den Input und 2,50 US-Dollar für den Output pro Million Token.

Das Modell erzwingt Denkpfade (Reasoning Traces) und ist standardmäßig auf mittlere Rechentiefe eingestellt; reine Zero-Thought-Aufrufe zur Reduzierung von Latenzen im Millisekundenbereich sind Entwicklern damit verwehrt. Zudem enthält das Modell einen neuen Tokenizer, der bei identischen Text-Payloads rund 1,25-mal mehr Token verbraucht als Haiku 4.5. Wer umfangreiche Dokumente in Haiku 5.5 einspeist, muss durch die Kombination aus Token-Expansion und dem fünffachen Preisaufschlag mit Rechnungen rechnen, die das Budget kleiner Testläufe um etwa das Sechsfache übersteigen.

Für Architekturen, die auf Prompt Caching setzen, hat Anthropic die Lesepreise für den Sonnet-5.5-Cache halbiert und die API-Guthabenlimits auf Kontoebene angehoben. Wenn eine Produktiv-Pipeline große Dokumentenkontexte in einen Agenten einspeist, bleiben Luna oder ein gecachtes Sonnet 5.5 berechenbarer; Haiku 5.5 gehört strikt hinter einen Filter mit 100k-Token-Grenzwert isoliert.

OpenAI reklamiert Beweis der Unique Games Conjecture für sich, doch Menschen können ihn nicht lesen

Source: scottaaronson.blog ↗

Komplexitätstheoretiker stehen vor einem Rätsel, nachdem Scott Aaronson vermeldete, dass OpenAI 372 größere mathematische Durchbrüche veröffentlicht hat, flankiert von einer beratenden Freigabe durch Mathematiker wie Timothy Gowers und Edward Witten. Angeführt wird das Paket von einem vollständig maschinengenerierten Beweis für Subhash Khots Unique Games Conjecture (UGC), inklusive eines verifizierten Lean-Zertifikats.

Der Beweis etabliert einen völlig neuen rekursiven Code mit Rauschtest und beansprucht für sich, UGC-Abhängigkeiten zu umgehen, um optimale NP-Schwere-Approximationsgarantien für Max Cut und andere Constraint-Satisfaction-Probleme (CSP) zu fixieren. Lean garantiert zwar, dass die axiomatischen Ableitungen keine logischen Lücken enthalten, doch menschliche Leser können aus den Zwischentexten keine Struktur ableiten. Aaronson merkte an, dass die menschenlesbaren Aufsätze praktisch unanalysierbar sind, da sie sich auf zusammenhanglose Zitate und eine undurchsichtige strukturelle Logik stützen, die Mathematiker erst durch die Erklärung eines weiteren Modells erfassen können.

Damit existieren nun formale rechnerische Beweise, die unter einem Kernel verifizieren, die eigentliche theoretische Intuition jedoch vollständig im Dunkeln lassen. Informatikfakultäten müssen nun von Maschinen entdeckte Mathematik rückentwickeln, um zu verstehen, warum die eigenen Härtegrenzen überhaupt Bestand haben.

Chan Zuckerberg Biohub, DOE und NIH starten 1,8-Milliarden-Dollar-Initiative für Bio-KI

Source: wsj.com ↗

Der Chan Zuckerberg Biohub kooperiert mit dem Energieministerium (DOE) und den National Institutes of Health (NIH) im Rahmen einer 1,8 Milliarden US-Dollar schweren Initiative zum Aufbau maschinenlesbarer biologischer Datensätze.

Der zentrale Engpass in der biomedizinischen Modellierung ist nicht mehr die Rechenleistung, sondern der chaotische Zustand realer Nasslabor-Aufzeichnungen. Die Vereinbarung sieht vor:

• Das DOE steuert über fünf Jahre hinweg mehr als 500 Millionen US-Dollar für Präzisionsmesstechnik, automatisierte Laborrobotik und Rechenkapazität bei.
• Die NIH überführen historische Repositories und Wissensdatenbanken in eine einheitliche Intake-Pipeline.
• Der Biohub übernimmt die Architektur der Daten-Pipeline und standardisiert Rohdaten aus Messgeräten in saubere Tensoren, die für die direkte Modellnutzung optimiert sind.

Statt unkuratierte wissenschaftliche Veröffentlichungen und fehlerhafte klinische PDFs auszulesen, erhalten Labore Zugang zu standardisierten physikalischen Ground-Truth-Daten für Krankheitsmodelle und Pipelines zur Medikamentenentwicklung.

Thorium-229-Kernuhren in Wien und Peking in Betrieb genommen

Source: nytimes.com ↗

Forschungsgruppen in Österreich und China haben unabhängig voneinander die weltweit ersten einsatzfähigen Kernuhren konstruiert. Damit verlagert sich die Präzision der Zeitmessung von atomaren Elektronenwolken direkt in den Atomkern. Durch die Erfassung der ultravioletten Übergänge von Thorium-229-Kernen erreichen die neuen Instrumente Drift-Toleranzen von etwa einer Sekunde in mehreren Millionen Jahren.

Da Atomkerne tausendfach dichter gepackt sind als orbitale Elektronenhüllen, sind Kernuhren weitgehend immun gegen magnetische Streufelder, thermische Fluktuationen und elektromagnetische Störstrahlung, die herkömmliche optische Gitteruhren beeinträchtigen. Neben der Metrologie und ultrapräzisen Netzwerksynchronisation fungieren diese Instrumente auch als physikalische Sensoren: Vorbeiziehende Dunkle Materie oder Schwankungen fundamentaler Naturkonstanten würden sich unmittelbar als Frequenzabweichung im Takt des Thoriums bemerkbar machen.

Smash Melee zu 100 % dekompiliert und in Mixed Reality überführt

Source: kevin.md ↗

Ein jahrelanges Reverse-Engineering-Projekt der Community hat nun die vollständige Dekompilierung von Super Smash Bros. Melee abgeschlossen. Das Repository enthält nun äquivalenten, lesbaren C-Code, der bei der Kompilierung mit den ursprünglichen CodeWarrior-Flags Bit für Bit mit der GameCube-Binärdatei aus dem Jahr 2001 übereinstimmt.

Softwareentwickler Kevin nahm den passenden C-Code, koppelte ihn an moderne Rollback-Replay-Puffer von Slippi und leitete die Ausgabe in ein Meta-Quest-Headset weiter. Das Setup liest Match-Zustandsdaten in Echtzeit aus, parst Charakter-Bones sowie Hitboxen und rendert die Spielfiguren in vollständiger Mixed Reality direkt auf den Boden eines realen Wohnzimmers. Für Retro-Computing-Teams und System-Modder macht eine exakte Dekompilierung GameCube-Hypervisoren oder Dolphin-Hacks überflüssig und ebnet den Weg für native Linux- und WebAssembly-Laufzeitumgebungen der Engine.

Artcraft plant Clean-Room-Open-Source-Klone der Adobe-Suite

Source: arstechnica.com ↗

Einzelentwickler Brandon Thomas hat angekündigt, dass Artcraft mit der Bereitstellung von Open-Source-Clean-Room-Nachbauten für sieben zentrale Adobe-Werkzeuge begonnen hat, darunter Photoshop, Premiere und Lightroom. Die Suite wird in Rust und WebAssembly implementiert; Claude Opus 5.5 generiert dabei Anwendungsschichten, Canvas-Engines und UI-Layouts.

Die Codebasen stehen unter freizügigen MIT- und Apache-Lizenzen. Thomas finanziert die Entwicklung über Token-Gebühren für die in Artcraft integrierten generativen Werkzeuge und IDE-Funktionen und stellt eine nahezu vollständige Parität zu Adobe innerhalb weniger Monate in Aussicht. Die Software befindet sich in einer frühen Alpha-Phase, was eine echte Feature-Parität über komplexe Compositing-Pipelines hinweg in diesem Zeitraum unwahrscheinlich macht; das Projekt dient jedoch als praktischer Testlauf dafür, ob moderne Reasoning-Agenten komplexe GUI-Anwendungen von Grund auf neu erstellen können.

Apple kündigt kryptografische Kamera-Provenienz „Reference Image“ an

Source: schneier.com ↗

Apple hat Reference Image vorgestellt, eine Pipeline zur Bildverifikation, die sensorbasierte Fotografien von generativen Ausgaben trennen soll. Das Framework erzeugt kryptografische Nachweise direkt auf Ebene der Hardwaresensoren in aktuellen iPhone-Generationen.

Die Verifikation verhindert die Offenlegung von Geräteseriennummern oder das Tracking von Fotografen. Die Nachweise werden über Apples Private Cloud Compute (PCC)-Infrastruktur validiert und belegen, dass das Bild aus einer authentischen optischen Pipeline stammt, ohne die zugrunde liegenden Pixeldaten gegenüber Apple oder Dritten offenzulegen. Die Nachverfolgung von Zertifikatsperrungen erfolgt über geräteeigene Zero-Knowledge-Beweise. Entwicklungsteams erhalten so einen Audit-Trail zum Nachweis, dass ein Foto weder generiert noch bearbeitet wurde, ohne dass eine zentrale Datenbank physischer Hardware-IDs aufgebaut werden muss.

Entwicklungspraxis: Einfluss ohne Weisungsbefugnis und Anti-Patterns in Blogs

Source: gabrielvaldivia.com ↗

Auf organisatorischer Ebene analysiert Designer Gabriel Valdivia in einem Aufsatz, wie herausragende Individual Contributors Einfluss gewinnen, ohne disziplinarische Führungsverantwortung in Entwicklungsteams zu tragen. Die Kernstrategie: Abstrakte Spezifikationsdokumente weglassen und stattdessen portable Artefakte erstellen - wie eigenständige Bildschirmaufnahmen, minimale Repro-Repositories und visuelle Mockups - , die in Slack-Channels und Executive-Reviews geteilt werden können, ohne dass man selbst im Raum anwesend sein muss.

Für das Dokumentieren technischer Systeme oder das Schreiben von Entwickler-Blogposts hat Refactoring English die zentralen Anti-Patterns aufgeschlüsselt, die technische Leser abschrecken. Die Regel lautet: Fazit und Stacktraces innerhalb der ersten drei Sätze platzieren, Verweise auf Voraussetzungen aus älteren Artikeln vermeiden, Füllsätze streichen und Syntax-Blöcke auf Kontrastprobleme in mobilen Ansichten prüfen.

Tech-Splitter

Source: gamesindustry.biz ↗

• Xbox-Geschäft: CEO Asha Sharma erklärte Mitarbeitern auf einer internen Betriebsversammlung, dass Umsatz und Engagement bei First-Party-Titeln von Xbox nach einem zwanzigprozentigen Personalabbau wieder gestiegen seien, und verwies dabei auf Veröffentlichungen wie Gears of War: E-Day. Sharma bestätigte, dass die Hardware der nächsten Generation unter dem Codenamen Project Helix sowohl eine traditionelle Konsole als auch ein natives Handheld umfasst.
• Umfragen zur KI-Skepsis: Die Stimmung in der US-Bevölkerung gegenüber KI hat sich abgekühlt: 75 % der befragten US-Bürger äußern mehr Besorgnis als Begeisterung, und 77 % fordern nach Sicherheitsvorfällen wie dem Datenleck bei Hugging Face ein Moratorium für Neuentwicklungen.
• Protokolle für orbitale Sicherheit: SpaceX fordert konkurrierende Satellitenbetreiber formal dazu auf, Ephemeriden-Telemetriedaten direkt auszutauschen; Echtzeit-Feeds sollen autonome Ausweichmanöver in dicht besetzten niedrigen Erdumlaufbahnen koordinieren.
• Rechenleistung vs. Laborpraxis: Ein Beitrag über günstige Hypothesen hebt hervor, dass die automatisierte mathematische Forschung (so verbrauchte OpenAIs Lean-Durchlauf etwa 130 Milliarden Token über 10.000 Agenten in 88 Stunden) physikalische Experimente im Nasslabor abhängt; die physische Validierung wird damit zum eigentlichen Engpass der Forschung.
• Kommodifizierung der KI-Basisschicht: Analyst Tom Tunguz weist darauf hin, dass Inferenzkosten für Frontier-Modelle um 41 % gesunken sind, während der Token-Durchsatz seit Juli um 50 % gestiegen ist. Um profitabel zu bleiben, setzen Forschungslabore verstärkt auf direkte Vertriebskanäle und schlanke Edge-Router wie Jev von TypeSafe für 0,04 US-Dollar pro Million Input-Token.