mastouille.fr est l'un des nombreux serveurs Mastodon indépendants que vous pouvez utiliser pour participer au fédiverse.
Mastouille est une instance Mastodon durable, ouverte, et hébergée en France.

Administré par :

Statistiques du serveur :

632
comptes actifs

#wtf

8 messages7 participants0 message aujourd’hui

Anthropic's Claude has co-authored a response to Apple's paper on LLM reasoning being an illusion.

i don't have nearly enough drugs in my system to deal with this.

Apple paper: arxiv.org/abs/2506.06941

Response: arxiv.org/abs/2506.09250

arXiv logo
arXiv.orgThe Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem ComplexityRecent generations of language models have introduced Large Reasoning Models (LRMs) that generate detailed thinking processes before providing answers. While these models demonstrate improved performance on reasoning benchmarks, their fundamental capabilities, scaling properties, and limitations remain insufficiently understood. Current evaluations primarily focus on established math and coding benchmarks, emphasizing final answer accuracy. However, this evaluation paradigm often suffers from contamination and does not provide insights into the reasoning traces. In this work, we systematically investigate these gaps with the help of controllable puzzle environments that allow precise manipulation of complexity while maintaining consistent logical structures. This setup enables the analysis of not only final answers but also the internal reasoning traces, offering insights into how LRMs think. Through extensive experiments, we show that LRMs face a complete accuracy collapse beyond certain complexities. Moreover, they exhibit a counterintuitive scaling limit: their reasoning effort increases with problem complexity up to a point, then declines despite having remaining token budget. By comparing LRMs with their standard LLM counterparts under same inference compute, we identify three performance regimes: (1) low-complexity tasks where standard models outperform LRMs, (2) medium-complexity tasks where LRMs demonstrates advantage, and (3) high-complexity tasks where both models face complete collapse. We found that LRMs have limitations in exact computation: they fail to use explicit algorithms and reason inconsistently across scales. We also investigate the reasoning traces in more depth, studying the patterns of explored solutions and analyzing the models' computational behavior, shedding light on their strengths, limitations, and raising questions about their reasoning capabilities.

#Lockdown in Northeast #Minneapolis - #NoKings events cancelled! The alleged assassin was wearing a police uniform!

#Minnesota Rep. Hortman and husband killed, Sen. Hoffman and wife wounded in politically motivated shooting, Gov. Walz says

by WCCO Staff

Updated on: June 14, 2025 / 10:01 AM CDT / CBS Minnesota

"Minnesota Gov. Tim Walz announced Saturday morning that state Rep. #MelissaHortman and her husband are dead, and state Sen. John Hoffman and his wife are wounded following a 'politically motivated' shooting overnight.

Hortman and her husband were shot in Brooklyn Park, while Hoffman and his wife were shot in Champlin.

At a Saturday morning press conference, Walz called the deaths of Hortman and her husband 'a political assassination.'

"Hortman was someone who served the people of Minnesota with grace, compassion, humor, and a sense of service," Walz said. "She was a formidable public servant. A fixture and a giant in Minnesota."

Walz said Hoffman and his wife were each shot multiple times.

"We are cautiously optimistic they will survive this assassination attempt," Walz said.

The governor highlighted how these acts of violence occurred following a special session where both sides compromised for the good of Minnesota.

"We don't settle our differences with violence or at gunpoint," Walz said. "In the state of Minnesota, and as recently as last week, in the most closely divided state legislature in the country, we sat down, shook hands and compromised, and we served the state of Minnesota together. It's possible in politically charged times to find compromise, democracy and civil discourse. I, Minnesota and across the country, stand against all forms of political violence."

Additional information on a suspected shooter or shooters was not immediately available. WCCO has confirmed that ATF agents responded to the situation and are participating in the manhunt.

Legislators were alerted this morning and those in the metro area were told to take extra safety precautions. The executive director of the Minnesota Sheriff's Association, in a Facebook post, said that "an evil coward dressed as a protector, went to the homes of two Minnesota elected officials and shot them."

Minnesota police agencies and the Minnesota Bureau of Criminal Apprehension are currently leading the investigation, officials report.

CBS News has also reached out to the FBI and other agencies for comment.

Hortman represented Minnesota House District 34B, and Hoffman Minnesota Senate District 34.

Organizers for the planned "No Kings" protest in Northeast Minneapolis said the event would be canceled due to the shootings and shelter-in-place.

"Our thoughts are with the victims, their families, and the communities impacted by this violence," organizers said. "Some events in other parts of the greater Minneapolis area are still moving forward at this time, and we are actively monitoring the situation."

This story will be updated."

cbsnews.com/minnesota/news/min

#Assassinations? #WTF! #AuthoritarianRule

This is BONKERS.
My 5-year-old granddaughter saw a tow truck drive up to my son's house across the street and steal my son's car. She got her mom who got to the window just to see it driving off.
Here's the real crazy: it was a 1992 Plymouth Acclaim, not drivable due to frame rust and rusted through brake lines.
1992. Plymouth. Acclaim.

"La question que l’on se pose est la suivante : existe-t-il des situations où le ménage voit ses revenus effectifs diminuer, alors même que le salaire augmente ? Plus précisément, nous cherchons des taux marginaux effectifs de prélèvement supérieurs à 100 %.

Le solveur SMT a pu répondre à cette question : c’est oui !"

#wtf #impots #methodesFormelles

blog.merigoux.ovh/fr/2019/12/2

blog.merigoux.ovhTraductions littérales • Vers une imposition formalisée⠀?Ésotériques, inutilisables, perchées, idéalistes : les méthodes formelles sont parfoiscritiquées par la communauté informatique à cause d’un certain élitisme...