Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems , puzzles left by the famous mathematician Paul Erdős.
## AlphaProof Nexus reports formal proof-search results on open mathematics problems
source-linked1
Raw Signals
Dated, source-linked observations imported from the QWG AI archive.
These are evidence records, not finished editorial conclusions.
Key takeaway
Across 1332 observations, most signals relate to model behavior, evaluation discipline, and real-world agent operations. Strong evidence clusters around tooling, memory, routing, and productized agent execution.
agentscoding agentsagent harnessagent runtimemodelsagent protocols
What this means
Teams are moving from experiments to systems. The emphasis is on verifiable behavior, operational safety, and measurable outcomes—especially in agent memory, evaluation rigor, and forward-deployed engineering.
Filters (current page)
1-10 of 10 matching raw signals on this page
-9-open-5adb5e notableresearch
source-linked1vations-13f900 notablereleaseOCP Summit 2026: Powering AI with Open Innovations in Scale-Up, Scale-Out, and Scale-Across Networks
Meta announced a set of open networking infrastructure efforts at the 2026 Open Compute Project Global Summit, including IcePack liquid-cooled network racks, the IceCube 102.4-Tbps switch platform, Flattened Planar Fabric (FPF), open-source implementations of MetaRoCE, and the Open Switch Platform
source-linked1-editor-aebfac notablereleasefilmcraft: FilmCraft: An open-source, nonlinear video editor written by scratch in pure Rust
FilmCraft is an open-source nonlinear video editor written in Rust, hosted in the storytold/filmcraft GitHub repository.
source-linked1icating-b79b89 notableresearchAI models may be capable of self-replicating without access to a datacenter
Anthropic’s research examines whether small models could support autonomous replication across compromised internet-of-things devices without relying on datacenter GPUs.
source-linked1ge-last-0be191 notableannouncementAnthropic’s System Trust and Reporting page, last updated July 23, 2026
Anthropic’s System Trust and Reporting page, last updated July 23, 2026, reports 11.4 million banned accounts for January–June 2026.
source-linked1elivers-066e7d notableannouncementFrom Earth to Orbit, France’s Ecosystem Delivers Agentic Computing at Scale With NVIDIA
NVIDIA’s October 12 roundup describes deployments of its infrastructure and open models across French organizations.
source-linked1ng-that-9bd2cc notableresearchAmazon Science reports a method called priming that reuses pretrained Transformer weights to construct hybrid
Amazon Science reports a method called priming that reuses pretrained Transformer weights to construct hybrid architectures, aiming to reduce the cost of pretraining more efficient models.
source-linked1-target-afacd0 notableresearchTeams evaluating the pattern should define the target behavior first, separate training records from held-out evaluation data, test responses to multiple forms of guidance, monitor for reward explo...
Microsoft Research introduced StudentSim, a framework for training individualized LLM-based student simulators from sparse per-student data through pooled training followed by per-student specialization.
source-linked1l-drive-c99a00 notablereleaseOpen source project lets a vision model drive a stock iPhone via a $7 ESP32-S3 acting as USB mouse.
ESP32 iPhone Agent is an open-source project for controlling a stock iPhone with a vision model.
source-linked1ve-made-a323bd notableresearchOver the last few months, we’ve made significant progress in reducing the effectiveness of distillation attacks against Claude.
Anthropic says new defenses reduced data harvested for Claude distillation by an estimated 90–99%
source-linked1
No raw signals match these filters.
Source & exports
Primary indexes and programmatic access to this dataset.
Archive contractEnglish normalized copy, Telegram provenance, public sources only