OpenAI published new results on open problems in mathematics produced by an internal frontier model, and shared Lean proof formalizations and research details on GitHub.
GitHub released ReviewBench, an open offline benchmark for AI code review agents.
Why it matters: GitHub's own numbers show how an offline code-review benchmark tracked a production A/B test, useful for teams weighing offline signals.
Hugging Face releases the Open TTS Leaderboard, using objective metrics (WER/CER via Qwen3 ASR.
Microsoft Research published a systematic study of mobile robotic manipulation workloads showing that running physical AI inference only on onboard GPUs limits robot performance.
Why it matters: The measurement study quantifies how onboard GPU limits hurt task success and battery life, and what offloading changes.
Microsoft Research published RetroChimera in Nature.
Google Research introduces MilleMiglia, a C++ instance generator that creates realistic.
IBM Research extended K-Search, the evolutionary kernel search framework from UC Berkeley Sky Lab.
Why it matters: The post details how a structured CUDA-to-MLX translation layer, not the LLM itself, drives the kernel gains.
Berkeley AI Research introduces SPEX and ProxySPEX, algorithms that identify influential feature.
Berkeley AI Research researchers developed an information-based framework for evaluating and optimizing imaging systems.