AI
Artificial intelligence: LLMs, agents, diffusion, vision, NLP and the latest from top labs.
65 published articles
AI Research
How maxproof turns generative verifiers into a proof revolution engine
MaxProof is a test-time scaling framework that models mathematical proof generation as an evolutionary search process. By combining Proof RL, verifier alignment, and refinement augmentation, it turns unreliable generative verification into a trustworthy reward system for training and inference.
2026-07-05
AI Research
The verification horizon: why verifying coding agents is now harder than building them
A classical intuition holds that verifying a solution is easier than producing one. For today's coding agents, that intuition has inverted: generating complex solutions is now easy. The hard part is reliably verifying them.
2026-07-05
Deep Learning
M3D and Real-Guidance Bring Dataset Distillation to High-Resolution Realms
Dataset distillation has long been stuck on low-res benchmarks, but a new approach called M3D changes that. By combining multi-scale matching, a data manifold prior, and a Real-guidance strategy, it scales to ImageNet-1K at 128×128 resolution, achieving 68.5% top-1 accuracy with just one image per class and cutting memory usage by ten times.
2026-07-05
Deep Dive
Aleph Alpha builds theoretical inference model for DeepSeek: Deriving performance from hardware primitives
Aleph Alpha created a theoretical inference model for DeepSeek v3 to estimate throughput from hardware parameters, analyzing trade-offs across GPU setups to help practitioners optimize performance and cost for large MoE models.
2026-07-05
Artificial Intelligence
Ai2 cuts satellite imagery AI costs by 3x with a smarter token trick
Ai2's OlmoEarth v1.1 reduces compute costs by up to 3x compared to v1, enabling cheaper large-scale map refreshes. The key innovation is merging resolution-based tokens for Sentinel-2 imagery, cutting token counts by a factor of three while preserving performance through modified pre-training.
2026-07-05
AI Research
Llms corrupt your documents when you delegate: a close look at the delegate-52 benchmark
The DELEGATE-52 benchmark reveals that current LLMs accumulate fidelity degradation when entrusted with multi-step document edits. Errors affect 19–34% of artifact content over 20 iterations, though Python workflows show less than 1% loss. The study is a diagnostic tool, not a verdict on real-world AI utility.
2026-07-05
Model Release
DeepSeek-V4 preview lands, and the open-weight math gets harder for everyone
DeepSeek unveils DeepSeek-V4 preview with top-tier reasoning and stronger agent abilities, now available across platforms. The release signals a major escalation in the open-weight AI race, putting pressure on OpenAI and Google to justify their closed-source strategies.
2026-07-05
Trending Research
Why vision-language papers are flooding Hugging Face right now
Vision-language papers are dominating Hugging Face's trending page, as researchers race to build models that see and understand language together.
2026-07-04
AI Hardware
Spacex is developing an ai device prototype, report says, but musk denies it
The Wall Street Journal reports that SpaceX has prototyped a sleek AI device smaller than an iPhone, integrating xAI technology and a proprietary OS. Musk calls the report 'utterly false,' while analysts note SpaceX's manufacturing and wireless ambitions could make such a move plausible.
2026-07-04
AI Security
Your AI research agent is leaking private data through every web query it makes
MosaicLeaks reveals that deep research agents can leak private enterprise data through web queries, even when no single query is incriminating. A new training method, PA-DR, reduces leakage from 34% to under 10% without sacrificing accuracy.
2026-07-04
Artificial Intelligence
MiniMax's new M2.5 coding model tops the benchmark at 5% of the price
MiniMax's M2.5 model tops the Multi-SWE-Bench coding benchmark, beats mainstream models on workspace tasks, and costs a tenth to a twentieth of competitors. Open-source weights are on HuggingFace.
2026-07-04
LLM Inference Optimization
Aleph Alpha builds a theoretical inference model to decode DeepSeek V3 performance from hardware primitives
Aleph Alpha's theoretical model predicts DeepSeek V3 inference performance from hardware parameters alone, revealing how GPU count and interconnect bandwidth shift the bottleneck between compute, memory, and communication.
2026-07-04