Tootfinder

„StarCraft“-Benchmark: GPT-6 Astra schummelt mit einem fremden Bot
Bei einem „StarCraft“-Wettbewerb für KI-Modelle lud GPT-6 Astra einen fremden Bot herunter. Mit AlphaStar hat der Benchmark wenig gemein.
ht…

„StarCraft“-Benchmark: GPT-6 Astra schummelt mit einem fremden Bot
Bei einem „StarCraft“-Wettbewerb für KI-Modelle lud GPT-6 Astra einen fremden Bot herunter. Mit AlphaStar hat der Benchmark wenig gemein.

Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic)
https://www.anthropic.com/research/formalizing-fermats-last-theorem

Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

Hab hier für alle die gerne mal #Redaxo CMS ausprobrieren wollen, ein Projekt mit REdaxo in einen Docker-Container ;D
https://github.com/FriendsOfREDAXO/redaxo-mit-docker
Und …

GitHub - FriendsOfREDAXO/redaxo-mit-docker: Anleitung für eine flexible Entwicklungsumgebung für REDAXO auf Basis von 🐳 Docker
Anleitung für eine flexible Entwicklungsumgebung für REDAXO auf Basis von 🐳 Docker - FriendsOfREDAXO/redaxo-mit-docker

«Wie Dateiformate digitale Abhängigkeiten schaffen:
Italo Vignoli von der Document Foundation erklärt, warum digitale Souveränität bei Dateiformaten beginnt und ODF proprietären Formaten überlegen ist»
Zu viele Firmen und Private glauben, dass das Format "wichtig" da es "alle das Selbe" nutzen und deswegen Software abhängig sei. Seit Jahren heften sich viele daran fest doch nun gibt es langsam eine Einsicht zur Microsoft Abhängigkeit.
📝

Wie Dateiformate digitale Abhängigkeiten schaffen
Italo Vignoli von der Document Foundation erklärt, warum digitale Souveränität bei Dateiformaten beginnt und ODF proprietären Formaten überlegen ist.

https://www.anthropic.com/research/formalizing-fermats-last-theorem
Holy cow.

Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

Waren gestern in einem asiatischen Restaurant in #Graz.
Deren Weinkühler war auf #Farenheit konfiguriert, was mich wegen der geringen Verbreitung dieser obskuren Skala doch erstaunt hat:

Hast du Picnic schon ausprobiert? Benutze meinen Code FRANKP28 bei deiner ersten Bestellung und du bekommst 15 Euro Rabatt :)
Liebe Grüße, Frank-Peter Böschen
Hast du die Picnic-App noch nicht? Lade sie hier herunter: https://picnic.app/de/freunde-rabatt/FRANKP28

Freundschaftsrabatt | Picnic
Picnic schenkt dir 15 €! Hol dir die App und verwende den Freundschaftsrabatt bei deiner ersten Bestellung.

Relay, which develops cloud-hosted, AI-powered smart radio communicators for frontline workers, raised $36M to help businesses capture "frontline intelligence" (Mike Wheatley/SiliconANGLE)
https://siliconangle.com…

Smart radio startup Relay raises $36M to help businesses capture vital intelligence from frontline workers - SiliconANGLE
Smart radio startup Relay raises $36M to help businesses capture vital intelligence from frontline workers - SiliconANGLE

Samsungs HDR10 Advanced startet diesen Monat auf Amazon Prime Video
Mit HDR10 Advanced führt Samsung die nächste Generation seines HDR-Formats ein. Prime Video macht diesen Monat den Anfang.
https://ww…

Samsungs HDR10+ Advanced startet diesen Monat auf Amazon Prime Video
Mit HDR10+ Advanced führt Samsung die nächste Generation seines HDR-Formats ein. Prime Video macht diesen Monat den Anfang.

Extracted system prompts show Meta's Muse compiles "a page for every person in the user's life", with facts, history, tips to improve relationships, and more (Wired)
https://www.wired.com/story/muse-creates-detailed-profiles-of-all…

Muse Creates Detailed Profiles of All Your Friends and Family
Millions have downloaded Meta’s AI agent Muse. But getting it to do your bidding comes with privacy costs.