join.dev
AI news · 10 stories
PSI reports an AI-generated proof of the Aaronson–Ambainis conjecture · Meta updates Muse and Meta AI with memory and task-persistence models · ElevenMusic adds direct publishing to SoundCloud
PSI reported on November 6 that its research system, using a non-public Anthropic model, found a proof of the Aaronson–Ambainis conjecture that Lean accepted. The result concerns limits on quantum speedups and comes with formal artifacts for scrutiny; it is a research claim, not a peer-review verdict.
Read at PSI
Meta announced November 6 that specialized models trained using Muse Wonder are rolling out to Muse and Meta AI. Active Memory and Active Focus aim to retain relevant context and recover when tasks hit obstacles; reported improvements come from Meta’s own evaluations.
Read at Meta AI Research
ElevenLabs launched a SoundCloud integration on November 6 that lets users publish tracks made in ElevenMusic to a linked SoundCloud account. The connection shortens the path from AI-assisted music creation to distribution.
Read at ElevenLabsCoforge announced November 6 that it joined the SpaceX Super Intelligence Partner Network as a Transformation Partner. Its Momentuum blue engineering unit will integrate Grok into client workflows, linking the model portfolio with enterprise implementation services.
Read at Coforge
Protesters entered a Microsoft data-center construction site in Amsterdam on November 6 amid coordinated European actions against new developments. The demonstrations highlight public opposition over the energy, water and social costs of expanding AI infrastructure.
Read at Associated Press
The administration canceled the November 6 meeting of the President’s Council of Advisors on Science and Technology, Reuters reported. The panel was due to advise the new AI task force, and no replacement date was confirmed, leaving that scheduled policy discussion on hold.
Read at Reuters
Thinking Machines introduced Inkling 2 Small on November 5, with image input, variable reasoning effort and fine-tuning through Tinker. It is initially available with closed weights; an Apache 2.0 weights release is planned after external safety testing, expanding future customization options.
Read at Thinking Machines LabGitHub’s November 5 engineering report describes Rubicon, a Git storage architecture designed for thousands of agents pushing to one repository. Separating pack storage from reference management lets components scale independently while preserving repository consistency.
Read at GitHubMicrosoft Research’s November 5 PDD Kit demonstration uses Verus to check agent-written Rust against reviewed specifications. The research prototype verifies core login logic while leaving database, cryptographic and other trusted components to testing, making the limits of its guarantees explicit.
Read at Microsoft Research
webAI released its Mac app publicly on November 5, running small reasoning models on the user’s computer without per-token charges. The company says files stay on the Mac, offering a local approach to AI-assisted work with app integrations.
Read at webAI