Loading activity…
@valeriocapraro
Associate Professor at Uni Milan-Bicocca. I write about social behaviour and AI.
AI
The paper's authors say the Lean-verified formal proof does not correspond to OpenAI's announced natural-language Navier-Stokes argument.
AI
The American Prospect points to new hires and interview comments in reporting that Anthropic is using its AI capabilities against dissenters.
Technology
Mathematician explains why problems spur field progress beyond their direct solutions.
AI
A user jokes that the AI declaration is the new “we have totally obliterated Iran’s military capabilities.”
Technology
Post highlights analysis of ChatGPT adoption through epidemiology and evolutionary biology.
AI
Associate professor posts about Hinton's reported statements on LLMs.
AI
Explains agent cheating in evaluations by appealing to beliefs and goals.
