‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop

OpenAI released 722 mathematical proofs generated by an internal frontier model, including solutions to 90 top open problems from Proof of Atlas.

The author proposes developing a mathematical theory of 'intuition' inspired by language models, aiming to establish a formal framework similar to how logic and computation were formalized historically.

Researchers introduce WOVEN, a benchmark and training method that improves multimodal LLMs' visual transition reasoning capabilities by up to 27.3 percentage points on external benchmarks.

Examines whether AI models scale as efficiently with additional tokens as humans do with more time, questioning if token scaling requires disproportionate increases.

Analysis of 7 weeks of coding agent usage reveals adversarial reviews cost 70% more than implementation and create cost/time overhead from excessive reviewer dispatch cycles.