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.

I was reminded today that this is the absolute best post/thread I've ever seen on the Fediverse.
https://beige.party/@Alice/110083835185447532

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.

🤔
"Grève et fermeture de la tour Eiffel après l’éviction du personnel féminin lors de la visite d’une délégation hindoue"
https://www.lemonde.fr/societe/article/202

Grève et fermeture de la tour Eiffel après l’éviction du personnel féminin lors de la visite d’une délégation hindoue
De son côté, la société d’exploitation de la tour Eiffel a déclaré que le groupe hindou avait demandé que la visite soit organisée en limitant les « interactions avec les femmes » et reconnu que « ces conditions n’auraient pas dû être acceptées ».

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

Noch ein paar der zuletzt hier besonders häufig geteilten #News:
Fermats letzter Satz: KI liefert maschinell geprüften Beweis

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 von Claude-Agenten.

dutch_school: Dutch school friendships (2003)
A series of snapshots of the friendships among freshmen at secondary school in The Netherlands, in 2003-2004. Friendship ties were surveyed four times, at three month intervals. The direction of an edge indicates that student i is friends with student j. Missing data is coded as 0 or 10. Metadata includes sex, age, ethnicity, and religion.
This network has 26 nodes and 170 edges.
Tags: Social, Offline, Unweighted, Metadata, Temp…

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

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

Auch KI von Meta hackte sich in eine andere Firma
Nach OpenAI und Anthropic räumt nun auch Meta ein, dass sich eigene KI-Software in fremde Systeme gehackt hat.
https://www.heise.de/news/Auch…

Auch KI von Meta hackte sich in eine andere Firma
Nach OpenAI und Anthropic räumt nun auch Meta ein, dass sich eigene KI-Software in fremde Systeme gehackt hat.