Tootfinder

Fermats letzter Satz: KI liefert maschinell geprüften Beweis
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.

Fermats letzter Satz: KI liefert maschinell geprüften Beweis
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.

Patriot Front formed in 2017 under Thomas Rousseau after the
“Unite the Right” rally in Charlottesville, Va.
The group’s manifesto calls for the formation of a white ethnostate.
https://extremism.gwu.edu/patriot-front

What Gets Measured Gets Governed: Benchmarking Privacy in Frontier AI Development and Deployment
https://fpf.org/blog/what-gets-measured-gets-governed-benchmarking-privacy-in-frontier-ai-development-and-deployment/…

Ze werd verdacht van overmatig botox gebruik maar dat bleek Parkinson te zijn. De laatste jaren heb ik haar ook niet meer gevolgd.
https://www.trouw.nl/binnenland/jerney-kaagman-1947-2026-was-een-frontvrouw-voor-alle-muzikanten~b2917…

Jerney Kaagman (1947-2026) was een frontvrouw voor alle muzikanten
Nederland kende Jerney Kaagman als de stoïcijnse frontvrouw van Earth & Fire en later als streng jurylid van talentenjacht Idols. Maar bovenal vocht ze voor de rechten van muzikanten.

„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.

South Korea plans to launch a ~$3.5B program to develop a frontier AI model starting as early as March 2027 and will open a competition to select participants (Jie Ye-eun/The Korea Herald)
https://www.koreaherald.com/article/10893306

Korea bets W4.7tr on frontier AI - The Korea Herald
South Korea plans to split its homegrown artificial intelligence development program into two tracks next year: a frontier model project backed by 4.7 trillion

«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.

And it fit in the margin of a book.
https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/?utm_id=97758_v0_s00_e0_tv4_a1demo0ecg7rma

Fermat's last theorem formalised by AI agents in just 11 days | New Scientist
Converting the proof of Fermat's last theorem into code that computers can check was expected to take years. Anthropic's Claude AI managed it in less than two weeks

Le Pen eller Bardella – på tisdagen avgörs det. https://www.dn.se/varlden/nu-avgors-framtiden-for-de-franska-hogernationalisterna/

Marine Le Pen eller Jordan Bardella – nu avgörs vem som blir presidentkandidat
Marine Le Pen eller Jordan Bardella – nu avgörs vem som blir presidentkandidat för Nationell samling i Frankrike

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.