Alibaba's new MoE flagship at 2.4T total parameters, billed as 'a new bar for coding and cowork' — the company says its long-horizon agentic coding ran for 10+ days of self-evolving development, building a complete project from an empty folder to production deliverables with a full trace. Open weights are announced for next week, alongside a 27B dense sibling also going open; 1M context and native vision per the official announcement. The biggest open-weights story of the day and a direct follow-on to the Kimi K3 frontier-open-weights wave.

OpenAI published results on ten long-standing open problems spanning mathematics and theoretical computer science — geometry, cryptography, and complexity among them. The results ship with Lean 4 formalizations in openai/ten-proofs, a meaningful step toward machine-checked frontier math rather than unverifiable claims, while the company explicitly says humans prepared the manuscripts and take responsibility for correctness.

MiniMax's third-generation video model is out with open weights and native ComfyUI support on day zero: text, image, video, or audio in, 2K clips up to 15 seconds out, with stereo audio generated in the same pass. Comfy engineers pruned about 40% of the modulation weights into a functionally equivalent lookup table, added int8 convrot quantization and dynamic VRAM offload, and report a 66% memory reduction that can bring the model to an RTX 3060.

JFrog's audit of a fresh batch of 'critical' SQLite CVEs found the advisories to be AI-generated slop: cited functions that don't exist in the pinned versions, PoCs that never crash, and line numbers past end-of-file. Its broader audit found 54 fabricated advisories out of 55 from the same repository, a sharp case study in how LLM slop can pollute vulnerability databases and mislead automated triage.

The top-scoring essay of the day argues that when answering in Slack, code review, or a group chat, you should not relay an LLM's giant verbatim response as if that were your own work. The lesson lands hardest in code review: shipping unread model output under your name means the reviewers did the real implementation, and you cannot vouch for what you sent.

A systems paper argues that disaggregated prefill/decode inference ignores interconnect topology: with a 70B model moving 2.6 GB of KV cache per request, bandwidth varies about 72x from NVLink to InfiniBand to TCP. It proposes pipelined layer-by-layer transfer, NVLink-aware expert placement, and CXL 3.0 overflow memory, projecting 3–18x lower transfer latency while clearly labeling the full evaluation as analytical because the required hardware is not yet available.

A portable C99 inference engine runs the 2.78T-parameter Kimi K3 on a single CPU within a measured 8.24 GB peak RSS — no BLAS, no framework, no GPU. The routed experts stay packed at 4-bit and stream from storage while the dense trunk is kept in memory, so the project reports byte-identical greedy output across memory budgets from 8 GB upward; it is slow, but genuinely portable and meticulously documented.

Cloudflare details how Workers AI serves large open MoE models at scale: FP8 KV cache doubles the context it can hold for Kimi K2.6, INT4 weights shrink GLM 5.2's checkpoint from 705 GB to 421 GB, and cache-integrity checks cost under 1% in its measurements. The concrete numbers make the serving bottleneck clear: memory traffic and cache capacity, not just FLOPs, determine what frontier models cost to run.

Andy Pavlo — CMU database professor and creator of dbdb.io — is joining ClickHouse to establish and lead ClickHouse Labs. The new group will work directly with ClickHouse and PostgreSQL engineering teams, with an explicit research line on how DBMSs should support AI agents and how agents might help build DBMSs themselves.

The Lean 4 formalizations accompanying OpenAI's ten-math-results announcement turn the headline into artifacts that can be checked term by term. The repository includes build instructions, individual theorem files, and an independent-checking path rather than asking readers to trust a model-generated proof narrative.

Baidu's 3.3B-parameter Unlimited-OCR is aimed at one-shot, long-horizon document parsing, including multi-page PDFs, with Transformers, vLLM, and SGLang recipes published on the model page. At 3.3B parameters it is a plausible small-model choice for a quantized 3060/3070-class GPU, while its unusual value proposition is preserving layout and long documents in one pass rather than stitching together page-sized OCR calls.

The r/LocalLLaMA thread covers Alibaba's announcement that a 27B dense model will go open alongside the 2.4T Qwen3.8-Max. For a community centered on hardware people can actually own, the 27B is the release that should run locally while the flagship points at the datacenter — a clean illustration of the split between frontier-scale and local-runnable open models.

An RFC is bringing Raspberry Pi Zero 2 W support to Zephyr: a new BCM2710 SoC and board, peripheral drivers, and the CYW43439 SDIO Wi-Fi path. The proposed work is split into 16 reviewable PRs with roughly 10,200 net additions, giving the cheap, widely available A53 board a real bare-metal RTOS target instead of treating it like a Pi 3 or Pi 4.

Cubic Doggo 06R is an open, 3D-printed 12-DOF quadruped that adds stronger joint supports, spring-like feet, smaller foot tips, a better center-of-mass setup, and IMU balance. The project documents BNO055-based PID control, shows full-PID oscillation at a 50 Hz readout rate, and publishes CAD, wiring, ROS 2 launch files, and test plots so the failure modes are as useful as the walking demo.

Within Tolerance's Cell Goblin turns a tedious battery-salvage job into a small production line: 768 used LFP cells are charged, discharged, measured, and classified by custom ESP32-S2 testers. Five dual-cell testers process ten cells at once, while PC software reads an internal-resistance meter over UART; the hardware and code are published for others facing the same sorting problem.

An open DIY pen plotter replaces the usual Cartesian axes with delta kinematics, a tool changer, and a paper-feed treadmill. Most of its parts are 3D-printed; an Arduino Nano and GRBL shield are paired with custom software that converts images into delta-aware G-code because ordinary plotter software cannot describe the machine's geometry.

RWTH Aachen's DAP-CG is an open-source C# geometry library for additive-manufacturing CAM operations including orientation, support generation, nesting, slicing, and scan strategies. The institute reports a fivefold memory reduction in nesting and similar savings in slicing and scan preparation by compressing polygon data, potentially moving large jobs from a server to a 32 GB desktop.

During CJLOTS 26 in South Korea, U.S. Marines reverse-engineered and 3D-printed a Coast Guard boat's replacement strainer inside a deployable X-FAB. The part cost about $12 and returned the boat to service the same day, replacing a normal two-to-three-week supply delay with a concrete demonstration of field manufacturing as logistics resilience.

NASA installed a plaque on the Nancy Grace Roman Space Telescope that includes a memory card containing 1,350,144 names submitted from around the world, including Artemis II and Artemis III astronauts. The observatory is scheduled to launch on August 30, 2026, carrying a small human-scale archive on a mission designed to census exoplanets, planet-forming disks, and dark energy.

X-ray tomography of the 518-million-year-old marine arthropod Urokodia exposed pincer-like appendages and possible book gills preserved in soft anatomy. Published in Nature, the study places these structures near the evolutionary beginnings of the chelicerae that later became the fangs and pincers of spiders, scorpions, and their relatives.

An experiment with photons crossing a rubidium-atom cloud found that transmitted photons can be assigned a negative dwell time: the average timing says they spend less than zero time in the cloud. A weak measurement of the atoms' excitation produced the same negative value, showing a measurable quantum effect rather than a faster-than-light signal or time machine; standard physics still explains it.

Sediment cores off Qikiqtaruk/Herschel Island show that most land-derived organic carbon carried from thawing permafrost can remain buried in the seabed rather than immediately returning to the atmosphere. The study's microbes converted about 10% of sedimentary organic carbon into gases while preferring fresh marine carbon over older permafrost carbon—a useful nuance, not an all-clear, for Arctic climate models.

ESA's Euclid found 31 new quasars in the early Universe, including two at redshifts 7.77 and 7.69 that shone when the cosmos was only about 670 million years old. The result more than doubles the known population at this age and turns a handful of bright outliers into something closer to a census of black holes during reionisation.

A long-running Taiwan Tree Seekers project combined climbers, airborne LiDAR, and citizen review to locate an 84.1-metre Taiwania fir, recognized as the tallest known tree in Taiwan and East Asia. The search mapped 941 trees above 65 metres and found that automated terrain errors misidentified 93% of candidates, an unexpectedly strong case for human-in-the-loop field science.