Daily AI Digest

OpenAI Shares Breakthroughs in Automated Mathematics: Hundreds of Unsolved Conjectures Cracked via Formal Verification

OpenAI published a comprehensive research update titled "Sharing AI Progress in Mathematics", revealing that its advanced reasoning models have autonomously resolved hundreds of previously open conjectures spanning 372 distinct mathematical result families. The computations averaged roughly three hours of sustained reasoning per result at ChatGPT Pro scale. Crucially, the system translated its novel mathematical discoveries into Lean formal verification code, demonstrating an end-to-end research loop from creative theorem generation to machine-checked proof.

Verdict: When frontier models start cracking previously unsolved mathematics autonomously, academic workflows permanently tilt from human derivation to machine discovery and verification.

QLabs Introduces Dust: Pretraining Transformers via Pure Search Without Backpropagation

AI research lab QLabs unveiled Dust, a zeroth-order optimization framework that completely bypasses backpropagation and analytic gradients when pretraining Transformer models. By perturbing activation states instead of weights across a parallel virtual population, Dust evaluates candidate reasoning paths in a single forward pass without requiring differentiability. The authors demonstrate that scaling brute-force search over latent activations avoids bad local minima that trap first-order gradient descent, opening new frontiers for training non-differentiable architectures.

Verdict: Taking direct aim at decades of backpropagation orthodoxy, turning neural network training into pure compute-driven search over latent activations.

Google Releases EmbeddingGemma 2: Modular 740M Multimodal Embeddings Running in 191MB on Mobile

Google DeepMind open-sourced EmbeddingGemma 2 under the Apache 2.0 license, expanding its lightweight embedding architecture to map text, code, images, video, and audio into a unified 768-dimensional vector space. Built on Gemma 4, the modular 740-million parameter system lets developers run text-only workloads with just 270 million parameters, consuming roughly 191MB of RAM on mobile hardware after quantization. With an expanded 8K token context window and Matryoshka dimensionality truncation, it significantly reduces memory and storage costs for offline on-device retrieval.

Anthropic Expands Cyber Verification Program, Granting Security Defenders Relaxed Safeguards on Frontier Claude Models

Anthropic announced a major restructuring of its Cyber Verification Program (CVP), formally absorbing its cross-industry Project Glasswing initiative into a unified three-tier access framework. Qualified security professionals and infrastructure operators can now apply for Defense, Red Team, or Specialized access tiers to deploy Claude Opus 5.5, Sonnet 5.5, and Mythos 5.1 with relaxed safety classifiers for dual-use defensive security tasks. Anthropic reported that these collaborative scanning efforts have already uncovered over 134,000 verified software vulnerabilities across critical open-source and proprietary codebases, with more than 33,000 classified as high or critical severity.

Open-Source Hardware openTPU Trends: First AI Accelerator Co-Designed by Frontier LLMs

Open-source developer FeSens introduced openTPU on GitHub and Hacker News, sparking widespread technical discussion as the first complete neural accelerator architecture co-designed and verified by frontier LLMs. The repository provides RTL logic, custom ISA specifications, an instruction-level simulator, compiler toolchains, and profiling utilities. Demonstrations show the synthesized hardware successfully executing Qwen and LFM models on standard Xilinx Kintex-7 FPGA boards, illustrating that modern models are capable of autonomously designing and validating their own domain-specific inference hardware.

Amazon Bedrock Makes Zhipu GLM-5.3 Generally Available, Pioneering International Cloud Revenue-Sharing

Amazon Web Services officially made Zhipu AI's flagship 753B-parameter Mixture-of-Experts model, GLM-5.3, generally available to enterprise customers on Amazon Bedrock. Tailored for complex multi-step agent workflows, code generation, and cybersecurity defenses, the model features a 1-million-token context window with selectable reasoning effort levels and managed prompt caching. The deployment operates under a revenue-sharing agreement tied directly to inference token consumption, establishing a proven template for leading Chinese foundation model developers to monetize compute globally via premier cloud distribution channels.