Veröffentlicht am 18. Juli 2026 um 18:00 Uhr MESZ (UTC+2)
GPT-5.6 verwendete einen Prompt, um eine 30-jährige Lücke in der konvexen Optimierung zu schließen (226 Punkte von mbustamanter)
GPT-5.6 verwendete einen Prompt, um eine 30-jährige Lücke in der konvexen Optimierung zu schließen
Dieser Artikel berichtet, dass OpenAIs GPT-5.6 mithilfe eines ähnlichen Prompts wie bei einer früheren Ankündigung eines CDC-Beweises eine langjährige Lücke in der konvexen Optimierung schließen konnte. Die Lösung wurde im Lean-Theoremprover formal verifiziert, was dem Ergebnis Glaubwürdigkeit verleiht. Der Beitrag hebt die Fähigkeit des Modells hervor, fortgeschrittene mathematische Probleme zu lösen, die jahrzehntelang ungelöst geblieben waren, und signalisiert eine neue Fähigkeit von KI in der formalen Mathematik. Er löst außerdem eine Diskussion darüber aus, wie Prompting-Strategien überraschende Schlussfolgerungsfähigkeiten in Large Language Models (LLMs) freisetzen können.
Gleam ist jetzt auf Tangled (18 Punkte von nerdypepper)
Gleam ist jetzt auf Tangled
Gleam, eine benutzerfreundliche, typsichere Programmiersprache zum Aufbau skalierbarer Systeme, wurde zu Tangled hinzugefügt – einer dezentralen, selbstgehosteten Plattform für Versionskontrolle und Zusammenarbeit. Das Repository der Sprache auf Tangled umfasst Compiler, Tooling und Dokumentation. Dieser Schritt spiegelt das wachsende Interesse an alternativen Hosting-Plattformen jenseits von GitHub wider, insbesondere solchen, die Dezentralisierung und Benutzerkontrolle betonen. Für Gleam-Entwickler bietet dies eine neue, community-getriebene Möglichkeit, Beiträge zu leisten und Änderungen nachzuverfolgen.
Fable 5 vs. GPT-5.6 Sol bei einem NP-schweren Problem: Hilft /goal? (128 Punkte von couAUIA)
Fable 5 vs. GPT-5.6 Sol bei einem NP-schweren Problem: Hilft /goal?
Der Autor vergleicht Anthropic’s Claude Fable 5 und OpenAIs GPT-5.6 Sol anhand eines realen, NP-schweren Problems zur Optimierung von Glasfasernetzwerken. Fable 5 schnitt besser ab als GPT-5.6 Sol und erzielte insgesamt die beste Lösung mit bemerkenswerter Konsistenz. Der /goal-Modus (eine Prompt-Technik zur Förderung zielgerichteter Schlussfolgerung) verbesserte die Leistung nicht durchgängig – manchmal half er, manchmal verschlechterte er sie. Der Beitrag betont, dass bei komplexen, stark eingeschränkten Aufgaben nicht nur Prompt-Engineering, sondern die inhärente Intelligenz des Modells über den Erfolg entscheidet.
Ist das das Ende des einst mächtigen GoPro? (69 Punkte von aanet)
Ist das das Ende des einst mächtigen GoPro?
Dieser Artikel untersucht den Niedergang von GoPro im Action-Cam-Markt und spekuliert, ob das Unternehmen angesichts des harten Wettbewerbs durch Smartphones, günstigere Konkurrenten und sich wandelnde Verbraucherpräferenzen überleben kann. Es wird darauf hingewiesen, dass die einst dominierende GoPro HERO-Reihe heute Schwierigkeiten hat, sich abzuheben. Der Beitrag spiegelt allgemeinere Trends in der Hardware wider: Kommodifizierung, Marktsättigung und die Herausforderung, Relevanz zu bewahren, wenn Software und Ökosystem wichtiger sind als reine Spezifikationen.
Tech-Notiz: Eigene V-I-Kennlinien (Spannungs-Strom-Kurven) zu Hause erstellen (25 Punkte von zdw)
Tech-Notiz: Eigene V-I-Kennlinien (Spannungs-Strom-Kurven) zu Hause erstellen
Verfasst von Sicherheitsforscher Michał Zalewski (lcamtuf), erklärt diese Tech-Notiz, wie man mit preisgünstiger Laborausrüstung präzise Spannungs-Strom-Kennlinien (V-I-Kurven) von Halbleiterbauelementen aufnimmt. Der Autor kritisiert die oft gefälschten oder willkürlich nachgezeichneten Diagramme in gängigen Elektronik-Lehrbüchern und zeigt stattdessen, wie man echte, reproduzierbare Messungen erhält. Der Beitrag ist ein praktischer Leitfaden für Bastler und Ingenieure und betont die Bedeutung empirischer Daten gegenüber idealisierten Schaltbildern.
LG-Monitore installieren heimlich Software über Windows Update ohne Zustimmung (602 Punkte von baranul)
LG-Monitore installieren heimlich Software über Windows Update ohne Zustimmung
Es wurde festgestellt, dass LG-Monitore Treiber- oder Hilfssoftware über Windows Update auf Windows-Rechner übertragen, ohne die ausdrückliche Zustimmung der Nutzer einzuholen. Nutzer berichten von unerwarteten Installationen und Systemänderungen, was Bedenken hinsichtlich Privatsphäre und Kontrolle aufwirft. Die Geschichte unterstreicht die anhaltenden Spannungen zwischen Hardware-Herstellern, Betriebssystem-Update-Mechanismen und der Autonomie der Nutzer – ähnlich wie bei früheren Kontroversen mit anderen Peripheriegeräten.
Regressive JPEGs (537 Punkte von vitaut)
Regressive JPEGs
Bei diesem Projekt (wahrscheinlich ein Kunst- oder Forschungsexperiment) werden „regressive“ JPEGs erforscht – Bilder, deren Qualität durch wiederholte Komprimierung abnimmt und so einen visuellen Zerfalls-Effekt erzeugt. Die Technik könnte Verlust-behaftete Kompressionsartefakte veranschaulichen oder als Kommentar zur digitalen Bildtreue dienen. Angesichts der hohen Upvote-Zahl spricht es offensichtlich jene an, die sich für generative Kunst, Kompressionsalgorithmen oder die Ästhetik des Datenverlusts interessieren.
EU-Verbot der Vernichtung unverkaufter Kleidung und Schuhe tritt in Kraft (81 Punkte von robtherobber)
EU-Verbot der Vernichtung unverkaufter Kleidung und Schuhe tritt in Kraft
Ab dem 19. Juli 2026 dürfen große Unternehmen in der EU unverkaufte Kleidungsstücke, Accessoires und Schuhe nicht mehr vernichten; mittelständische Unternehmen müssen ab 2030 konform sein. Die Verordnung zielt darauf ab, Abfall zu reduzieren, Wiederverwendung und Recycling zu fördern und eine Kreislaufwirtschaft zu unterstützen. Unternehmen müssen unverkaufte Waren vorrangig verkaufen, spenden oder aufarbeiten. Dies ist das erste derartige Verbot auf einer bedeutenden regionalen Ebene und könnte globale Lieferkettenpraktiken beeinflussen.
Was KI mit Stack Overflow gemacht hat – dargestellt in einem Graphen (196 Punkte von secretslol)
Was KI mit Stack Overflow gemacht hat – dargestellt in einem Graphen
Diese Abfrage im Stack Exchange Data Explorer zeigt wahrscheinlich einen starken Rückgang neuer Fragen, Antworten oder Nutzeraktivität auf Stack Overflow, der zeitlich mit dem Aufkommen KI-basierter Coding-Assistenten (wie ChatGPT, Copilot) zusammenfällt. Der Graph visualisiert eine Tendenz, die viele bereits anekdotisch beobachtet haben: Entwickler verlassen sich zunehmend auf KI für schnelle Antworten, was den klassischen Q&A-Verkehr reduziert. Dies wirft Fragen zur Zukunft community-basierter Wissensdatenbanken und zur Rolle der KI in der Softwareentwicklung auf.
Elixir-lang.org hat ein neues Design (4 Punkte von bbg2401)
Elixir-lang.org hat ein neues Design
Die offizielle Website der Elixir-Programmiersprache wurde neu gestaltet – mit einem modernen, übersichtlichen Layout, das die Stärken der Sprache betont: Komponierbarkeit, Skalierbarkeit, Ausfallsicherheit und Entwicklerproduktivität. Die Seite hebt neue Funktionen wie Elixir v1.20, Livebook und Numerical Elixir hervor und zeigt die Nutzung sowohl durch Einzelentwickler als auch große Unternehmen. Das Redesign spiegelt die zunehmende Reife der Sprache und das Engagement der Community für eine bessere Entwicklererfahrung wider.
KI leistet echte Beiträge zur mathematischen Forschung
Das Ergebnis von GPT-5.6 zur konvexen Optimierung (Artikel 1) zeigt, dass LLMs offene Probleme der reinen Mathematik lösen können – nicht nur Code generieren oder Trivia beantworten. Dieser Trend ist bedeutend, da er den Nutzen von KI auf Theorembeweise und formale Verifikation (Lean) ausdehnt. Implikation: Forscher sollten LLMs als Koautoren zur Generierung von Vermutungen oder Beweisen betrachten, aber eine strenge Validierung (über formale Systeme) bleibt unverzichtbar. Die Lücke zwischen „interessantem Vorschlag“ und „verifiziertem Theorem“ schließt sich.
Prompt Engineering ist kein universeller „Probier-härter“-Knopf
Der Test des /goal-Modus auf ein NP-schweres Problem in Artikel 3 zeigt, dass raffiniertes Prompting nicht zwangsläufig zu besseren Ergebnissen führt. Manchmal verschlechtert es die Leistung, indem es das Modell in suboptimale Suchpfade zwingt. Kernaussage: Das Verständnis der inhärenten Schlussfolgerungsstärke eines Modells ist wichtiger als das Feintuning der Prompt-Syntax. Für komplexe Aufgaben brauchen wir bessere Benchmarks, die rohe Intelligenz von Prompt-Empfindlichkeit isolieren.
KI verändert Entwicklerplattformen und Wissensaustausch
Der Graph in Artikel 9 zeigt, wie der Stack Overflow-Verkehr unter dem Einfluss von KI zurückgeht. In Kombination mit Artikel 2 (Gleam auf Tangled) und Artikel 10 (Elixir-Redesign) erkennen wir eine Verschiebung: Entwickler bewegen sich hin zu dezentralen, KI-unterstützten Tools und kuratierter Dokumentation. Trend: KI-Copilots reduzieren den Bedarf an grundlegendem Q&A; stattdessen konzentrieren sich Communities auf Nischen- und High-Level-Diskussionen sowie auf sorgfältig ausgewählte Ressourcen. Implikation: Plattform-Designer müssen KI-Assistenten integrieren, ohne die menschliche Zusammenarbeit zu gefährden.
Hardware-Hersteller und OS-Updates schaffen neue Vertrauensprobleme
Artikel 6 (LG-Monitor-Software über Windows Update) verdeutlicht eine Spannung: Automatisierte Updates können die Zustimmung der Nutzer umgehen und so Vertrauen untergraben. Im KI/ML-Kontext entstehen ähnliche Probleme, wenn Modelle oder Agenten ihr Verhalten stillschweigend aktualisieren oder wenn Hardware „KI“-Funktionen nutzt, die Daten nach Hause senden. Trend: Die Grenze zwischen hilfreicher Automatisierung und Eindringlichkeit verwischt. Kernaussage: Transparenz und Opt-in-Mechanismen sind keine Option – sie sind grundlegend für die Akzeptanz KI-gesteuerter Systeme.
KI-Modelle zeigen uneinheitliche Leistung bei realen Optimierungsaufgaben
Der Vergleich zwischen Fable 5 und GPT-5.6 Sol in Artikel 3 bei einem Glasfasernetzwerk-Design-Problem zeigt, dass die Modellwahl bei NP-schweren Problemen enorm wichtig ist. Fable 5 zeigte eine beispiellose Konsistenz. Dies unterstreicht, dass „allgemeine Intelligenz“ noch nicht gleichmäßig auf alle Problemklassen übertragbar ist. Für KI/ML-Praktiker: Benchmark-Suiten müssen realistische, stark eingeschränkte Optimierungsaufgaben (nicht nur Coding-Puzzles) enthalten, um den praktischen Nutzen von Modellen zu bewerten.
Nachhaltigkeitsvorschriften zwingen Unternehmen, Produktlebenszyklen neu zu denken
Das EU-Verbot, unverkaufte Kleidung zu vernichten (Artikel 8), ist Teil eines breiteren Trends hin zu Kreislaufwirtschafts-Gesetzen. Für KI/ML gelten dieselben Prinzipien: Das Trainieren von Modellen verbraucht Ressourcen, und „Datenabfall“ (ungenutzte Trainingsdaten, verworfene Checkpoints) hat ökologische Kosten. Trend: Zukünftige Vorschriften werden voraussichtlich Wiederverwendung von Modellen, Offenlegung von Modellgewichten und effiziente Trainingsmethoden vorschreiben. Handlungsempfehlung: Beginnen Sie jetzt damit, den CO₂-Fußabdruck Ihrer ML-Workflows zu messen und zu kommunizieren.
Open-Source-Sprachen und dezentrale Plattformen gewinnen an Bedeutung
Gleams Wechsel zu Tangled (Artikel 2) und das neu gestaltete Elixir-Webangebot (Artikel 10) signalisieren, dass Entwickler aktiv nach Alternativen zu zentralisierten, von Konzernen kontrollierten Ökosystemen suchen. In Kombination mit KI-generiertem Code sinkt die Hürde, neue Sprachen zu erstellen und zu verbreiten. Trend: Wir könnten eine Zunahme domänenspezifischer Sprachen (DSLs) sehen, die für KI-unterstützte Entwicklung optimiert sind. Implikation: KI-Tools sollten nicht nur Python/JavaScript unterstützen, sondern auch kleinere, typsichere Sprachen, die Korrektheit und Nebenläufigkeit priorisieren.
Analysis by deepseek-reasoner | Translation by qwen/qwen3-max