Google Antigravity Teamwork solves 7 open math problems
Antigravity's Teamwork multi-agent framework, paired with Gemini 3.7 Flash, solved seven open problems in mathematics and theoretical computer science, including Knuth's Cycles Conjecture (verified in Lean), and scored 71% on TCSBench. It also produced a cycle-accurate RISC-V CPU simulator and optimizations merged into Eigen and ParlayHash.
1 source
More stories today
US AI data center boom faces hidden China supply chain risks
US AI data centers depend on China-linked supplies of transformers, batteries, and optical gear. Washington is moving to tighten restrictions on foreign equipment.
CNBC Technology·2 hours ago
China's new micro-drama rules bring AI-generated shows under regulation
China's first micro-drama regulation took effect September 1, requiring AI-generated micro-dramas to carry AI disclosure labels in every episode and banning recommendation algorithms that encourage addiction. In H1 2026, AI-generated productions accounted for over 74% of 367,000 micro-dramas released.
TechNode·2 hours ago
Tesla Cybercabs spotted across Austin ahead of Sept 3 launch
Tesla Cybercabs are now operating across downtown Austin with no steering wheel, pedals, or human driver, two years after a closed-track demo. The fleet is expanding ahead of a September 3rd launch.
Vaibhav Sisinty·3 hours ago
Developers by email
Get an email when there's news on Developers
No news that day, no email.
Training a coding model to paint watercolours with TRL and OpenEnv
Sergio Paniego's open-source recipe trains Qwen3.5-35B-A3B via GRPO to write p5.brush JavaScript, reproducing Surya Narreddi's viral watercolour model. All artifacts—environment, hand-rated pool, 3 runs, and paintings—are published on Hugging Face.
Sergio Paniego Blog·3 hours ago
Fréchet Audio Distance explained with math and code
Video deep-dive explains FAD, a key objective metric for evaluating generative audio models like Suno, building intuition from math to code.
YouTube·3 hours ago
Hermes Agent sheds 375,000 lines in 15-hour autonomous repo cleanup
Teknium·4 hours agoAto: $99 AI device for seniors who can't use smartphones
Vaibhav Sisinty·5 hours ago
Reddit user shares rule of thumb for choosing LLMs
A Reddit user in r/LocalLLaMA shares a personal heuristic for selecting models, noting that with Qwen 27B, a task that would take 15 hours of active programming without an LLM takes only 4 hours. The post is anecdotal and community-focused.
r/LocalLLaMA·5 hours ago