Mathematicians dispute OpenAI's 166-page potential proof of the Navier-Stokes problem published in September, arguing that although it is formalized in Lean, it only superficially resembles the approaches of Diego Córdoba and Luis Martínez-Zoroa as OpenAI claimed; the CMI is reviewing it.
AI startup Elorian and Scale AI released the visual intuition reasoning benchmark Humanity's Sixth Sense (HSS), containing 522 questions, 288 images and 234 short videos (17.6 hours of video in total).
Google DeepMind's Pushmeet Kohli and Biohub's Sal Candido discuss why AlphaFold's breakthrough was only a starting point and protein structure prediction is far from solved.
OpenAI this week released hundreds of mathematical proofs claiming to solve major open problems, but several requirements in the AGMAI guidelines from Princeton's Institute for Advanced Study were unmet: of 719 submissions, only 10 included the model's chain of thought, only 42% of proofs went unformalized, and the required machine-readable metadata linking natural language to formal artifacts was not provided.
The Latent Space podcast interviews Periodic Labs co-founders Liam Fedus and Ekin Dogus Cubuk about their "synthesis superintelligence" vision: building reinforcement learning environments around physical labs where AI agents learn through an end-to-end cycle of predicting, synthesizing and characterizing materials, rather than relying only on internet data.
Jake Boggan, who once moved to Budapest to research graph theory, said he invested 24 years and thousands of hours, on and off, into the Barnette conjecture, and felt deeply conflicted upon learning it was reportedly proven in openai/math problem 180. He described the feeling as "as sad as hearing an ex-girlfriend suddenly died in a car crash," and guessed many others would feel equally mixed tonight.
In a Microsoft Research podcast, partner research manager Jennifer Neville speaks with applied scientist Chad Atalla about how evaluation drives AI systems past performance limits to meet user needs, and about the "unexpected failures" models show when tested beyond standard benchmarks. She shares practical advice on using existing AI systems and stresses the importance of carefully checking data when results don't match expectations.
Over the past year, AI labs including OpenAI and Anthropic have announced breakthroughs on multiple long-unsolved math problems, even a famous Millennium Prize Problem. These achievements should have been celebrated, but instead sparked a strong backlash in the math community. OpenAI says it will consult top mathematicians to avoid repeating the mistakes, but whether it delivers remains to be seen.
Thore Graepel, a former core member of DeepMind's AlphaGo team, argues in an essay that large language models are essentially fast-associative next-token prediction, that their chains of thought are not an independent reasoning mechanism, and that they do not reason in the scientific sense.
The Latent Space podcast interviewed MIT PhD student Alex Zhang about his work on GPU Mode, KernelBench, and Recursive Language Models (RLM).
Latent Space's swyx announced a revamp of AINews, which has run for 3 years and has over 200,000 subscribers, planning to merge AINews v3 with the tens-of-thousands-member Latent Space Discord, migrate the site to Beehiiv and launch a new homepage.
Latent Space released a long-form interview with John Platt, inventor of two textbook algorithms including SVMs, who now leads Empirical Research Assistance (ERA) research at Google.
Import AI issue 470: METR research finds AI brings significant speedups to cybersecurity discoveries, modest contributions to math, but no measurable acceleration yet for optimizing AI research algorithms. Teams from multiple universities propose the SPADE framework, which co-evolves environment synthesis with agent capabilities via self-play, reaching an average score of 58.3 on a suite of game environments with Qwen3-30B-A3B, 5.3 above the baseline. This issue also introduces Hawkeye, for building better GPU kernels.
TrendForce analysts explain three paths tech giants are taking to compress the KV Cache through architectural and algorithmic innovation, with Google and DeepSeek respectively reworking attention mechanisms via GQA and MLA.
King's College London, Fudan University, and The Alan Turing Institute released the SocioHack benchmark, containing 72 sandboxed social environments that test LLMs' ability to exploit loopholes in real rule systems after RL training; RL let LLMs rediscover historically patched loopholes with 61.25% recall and 90.85% precision.
Import AI issue 456 focuses on three topics. Law & AI researchers propose a "radical optionality" approach to AI regulation: governments should avoid overregulating now and instead invest in capabilities like information gathering, whistleblower protection, model weight security, and talent to prepare for future transformative AI.
Berkeley AI Research publishes a research survey on adaptive parallel reasoning, exploring the idea of letting reasoning models autonomously decide when to decompose tasks, how many threads to generate in parallel, and how to coordinate them.