Loading activity…
@kylecranmer
Director Data Science Institute @UWMadison @datascience_uw. EiC @MLSTjournal. Physics, stats/ML/AI, open science. same handle @sigmoid.social and bsky
AI
Laude Institute says the batch spans self-improving agent systems, maximally-open models and training data, and kernels.
AI
A poster says he is proud to have Persson on the MLST journal’s editorial board.
AI
A user welcomes the attention the trio’s work is getting, calling it well deserved.
AI
A researcher says their paper received the award at COLM’s Scientific Understanding of Foundation Models workshop.
AI
One user calls the eight formalizations “broken”; another says whitelisted definitions could be overwritten.
AI
A post calls the work significant progress on the challenge of describing chiral fermions nonperturbatively.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
AI
A poster says AI doomerism matters but is distracting from the midterms and events in the country.
AI
Addressing artists at the Vatican, the pope called for a renewed alliance to protect human creativity.
AI
Anthropic says Claude worked largely unsupervised for days, using methods developed by SLAC’s Lance Dixon and colleagues. The company puts the cost at a few thousand dollars and says Dixon independently verified the result.
AI
A post describing his UN General Assembly remarks says Trump argued that “artificial” makes the technology sound fake and urged wider use of “super intelligence,” or SI.
AI
A critique of Dario’s “Pacing AI” letter argues that Anthropic’s model documentation points to coding productivity gains sustaining the pace of progress, not accelerating it.
AI
Anandkumar says her team starts with AI-discovered candidates rather than human-constructed ones, then turns numerical results into certified bounds for analytical stability arguments.
AI
Posts say 25 Fields Medal winners signed a declaration warning of a mismatch between AI companies and mathematics. Supporters stress understanding and scientific communities; critics say AI proofs can still yield insights.
AI
The host’s September 9 announcement said the discussion would examine what would count as a verified solution and what such a result could mean for artificial general intelligence.
AI
Perplexity founders confirm appointment with focus on open research in continual learning and multi-agent systems.
Technology
NYU professor will lead research on continual learning and RL at the AI company.
AI
Four former Google researchers found a public benefit corporation to automate machine learning and science.
AI
Internal Astra model produces Lean-certified proofs for ten open problems across math and theoretical computer science.
