AI Breakthrough: OpenAI Model Disproves Decades-Old Erdős Conjecture
1428
OpenAI's reasoning model has achieved a historic mathematical breakthrough by autonomously disproving a long-standing conjecture by Paul Erdős.
Autonomous Research Agents
AI systems that autonomously design, run, and interpret scientific or engineering experiments, iterating toward optimal solutions with minimal human intervention.
Reading List
The Verifier Moat: Out-Designing Humans with Auto-Architecture
241
AI agents can autonomously optimize complex hardware designs, but their success depends entirely on the rigor of the automated verification systems that gate them.
Research-Driven Agents: Enhancing AI Code Optimization via Literature Search
177
Coding agents produce superior performance optimizations when they research academic papers and competing implementations to gain domain knowledge before touching code.
AI Models Solve Open Hypergraph Ramsey Problem
480
Frontier AI models have solved an open problem in hypergraph Ramsey theory, leading to a new mathematical publication.
Automating ML Research: Claude Code vs. the eCLIP Optimization Loop
424
An LLM agent successfully automated the tedious aspects of ML research, such as hyperparameter tuning and bug fixing, but hit a ceiling when attempting complex architectural innovations.
Scaling Autoresearch: How 16 GPUs Transform AI-Driven Discovery
237
Scaling AI research agents with 16 GPUs enables 9x faster model optimization and the emergence of sophisticated, parallelized experimental strategies.