Research
MIT Creates Largest Collection of Math Olympiad Problems
MIT News AIhigh confidence
Why it matters
- →MathNet provides a comprehensive resource for AI practitioners and students, enhancing the study and application of mathematical problem-solving across diverse cultures.
MIT researchers have developed MathNet, the largest dataset of Olympiad-level math problems, featuring over 30,000 expert-authored problems from 47 countries. This dataset aims to support AI research and student training in mathematical reasoning.
Read originalThe story around this
Earlier coverage that leads up to this article, and what followed. Lines connect each piece to the closest one after it, converging here.
What happened next
- 1OpenAI Model Solves 80-Year-Old Geometry Problem
OpenAI · May 20, 2026 · Background
- 2Google DeepMind's AI Solves Nine Erdős Problems
The Rundown AI · May 25, 2026 · Background
- 3MIT Develops ChartNet for AI Chart Interpretation
MIT News AI · June 3, 2026 · Background
- 4OpenAI's Astra Solves 10 Major Math Problems
The Rundown AI · August 3, 2026 · Background
- 5AI Solves Long-Standing Math Problems
The Verge AI · August 11, 2026 · Background
More in Research
© Cole MedinResearchagents
Anthropic study: Agents sway expert judgment 86% of time
Anthropic’s latest research exposes a quiet but dangerous flaw in agentic workflows: experts follow AI recommendations 86% of the time, often adopting the agent's reasoning as their own. This isn't just about accuracy; it's about cognitive capture, where human oversight dissolves into passive compliance. The study shows that even when users believe they are steering, the agent’s framing dictates the outcome. Practitioners must now actively counter this bias by forcing agents to justify deviations or prototype alternatives before committing to a path. This shift demands a new discipline in how we interact with coding assistants. We can no longer assume our intent drives the result; the model's suggestion often becomes the default truth. The real work is ensuring we remain the architects, not just the approvers.
Cole Medin
© WIRED AIResearchother
AI-Augmented Infostealer 'Volta-Autodoxer' Targets High-Value Victims
Cisco Talos has uncovered a new infostealer strain that actively uses commercial LLMs to profile victims and prioritize high-value targets. Dubbed Volta-Autodoxer, the malware collects credentials and browsing data, then feeds this into models like Claude Opus 4.6 via OpenRouter to generate structured intelligence dossiers. This marks a shift from passive data theft to active, AI-driven triage, allowing attackers to bypass guardrails with fallback models like Kimi K2 or Gemini. The capability foreshadows a future where lower-sophistication criminals can execute sophisticated, targeted attacks at scale.
WIRED AI
© Matt WolfeResearchresearch
OpenAI Disproves Exponential Time Hypothesis
OpenAI researchers published findings disproving the Exponential Time Hypothesis, a major result in computational complexity theory.
Matt Wolfe