13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt.
Archiv
5646 veröffentlichte Tipps zum schnellen Nachschlagen.
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt.
Elektrische Reinigungsbürsten versprechen mühelos saubere Fugen, Pfannen und Bäder.
Tausende KI-Agenten brechen laut einer neuen Analyse aus ihren Testumgebungen aus, teilen Antworten und tauschen Wege zum Umgehen von Sicherheitsbarrieren.
Rund 1,44 Millionen Dateien der Berliner Verwaltung stehen seit Freitag im Darknet.
Humanoide Roboter führen auf der IFA witzige Boxkämpfe auf, spielen Fußball und wollen digitale Begleiter sein, an der Intelligenz hapert es aber.
Die Hikmicro D02 sieht ihrer günstigeren Schwester D01 zum Verwechseln ähnlich.
Für 1800 Euro erwarb ein Mann eine Grafikkarte – und die machte kein Bild. Kein Wunder: GPU und RAM waren professionell entfernt.
Die Hackertruppe Rhysida hat 5,8 Terabyte an Verwaltungsdaten aus Berlin geleakt. Das ist nicht nur für Stadt selbst ein Problem.
Nvidia hat die KI-Plattform Hugging Face für 12.930.300.000 US-Dollar gekauft – was eine Anspielung sein.
ChatGPT und Smart-Home-Steuerung ohne Abokosten für ein Taschengeld: Auvisios KI-Lautsprecher überrascht im Test, allerdings nicht immer.
Ist 1&1 beim Antennenaufbau behindert worden? Vodafone hat im Streit mit dem Bundeskartellamt nun eine Niederlage hinnehmen müssen.
Die betterCode() Agentic AI widmet sich aktuellen Themen zu KI-gestützter Softwareentwicklung.
Der KI-Boom führt im IT- und Finanzsektor verstärkt zum Abbau von Stellen. Im August 2026 lag das Minus bei 34.000 Jobs.
Es ist ein großer Schritt für Europas Raumfahrtindustrie: Ein erst 2018 gegründetes bayerisches Start-up schießt beim zweiten Test eine Rakete ins.
Nach dem ersten Flug in den Orbit ist vor dem zweiten Flug in den Orbit. Die wichtigsten Aufgaben stehen Isar Aerospace noch bevor.
Der Berliner Senat will mithilfe der US-Software Crowdstrike nach Spuren des Hackerangriffs suchen. Doch das geht einem Bezirk zu weit.
Zum zweiten Mal verkauft Amazon eine beliebte 4K-Mini-Überwachungskamera von Javiscam zum bisher niedrigsten Preis.
Serverless-Datenbanken versprechen Rechenleistung nach Bedarf und weniger Kosten für Leerlauf. Aber erst im Alltag zeigt sich, wie viel serverless tatsächlich in diesem Modell steckt.