30
What OpenAI’s latest controversy tells us about the future of math
OpenAI says its agents solved the Navier–Stokes Millennium Problem using an internal model, amid uncredited-work accusations from mathematicians Buckmaster and Alpöge.
OpenAI announced that its AI agents produced a proof that the full Navier–Stokes existence and smoothness problem can break down, using an internal model that outperforms the recently released Astra. NYU's Tristan Buckmaster and Anthropic's Levent Alpöge had posted a proof for a simplified version the previous day after nearly a year of work with public OpenAI and Anthropic models. OpenAI denies using their transcripts or training on them; chief research officer Mark Chen reiterated the denial, and the company says it will not claim the $1 million Clay Mathematics Institute prize. The episode fuels debate over attribution norms as frontier labs concentrate mathematical breakthroughs.
78
Ask HN: Anyone still coding like 2021? Where do you work?
Hacker News users debate coding without LLMs, with one developer fired for refusing AI tools and others describing daily hand-coding practice to counter skill atrophy.
An Ask HN thread collects experiences of developers who still write code without LLM assistance. One contributor says he was fired for political reasons after refusing to use LLMs despite adequate stated performance, and observes fewer job ads now require LLM use. Others describe starting each day with a LeetCode problem or 30-60 minutes of hand-coding to stay sharp, contractual bans on AI-generated code for a government-adjacent embedded product over unresolved copyright issues, and inconsistent corporate policies where ChatGPT or Codex use flip-flops between allowed and blocked while a CIO mandates 70-80% AI-generated code next year.
12
I spent $4,000 on a robot dog from China
Hands-on review finds the $4,017 Unitree Go2 Pro robot dog affordable but impractical, as Unitree reaches a $34 billion valuation after its IPO.
Ars Technica reviewed the Unitree Go2 Pro quadruped, purchased for $4,017, finding it astonishingly cheap but of limited practical use; it collapsed from battery drain and heat (84°C internal temperature) on an uphill walk at 87°F. Unitree democratized quadruped research, sells humanoid robots from $13,500, and debuted on the Shanghai stock exchange on August 19 with shares rising over fivefold on day one, valuing the company at $34 billion. Its robots now face legal restrictions in the United States, and it competes with Boston Dynamics, whose Spot starts around $75,000.
20
Underwriting Superintelligence: Backing Agents you can Sue — Rune Kvist, AIUC
AIUC raised a $40 million Series A to build AIUC-1, an agent security standard backed by insurance, serving Cursor, Harvey, Lovable, and ElevenLabs.
AIUC, cofounded by former Anthropic product hire Rune Kvist, announced a $40 million Series A led by Ribbit Capital and First Harmonic. The startup builds AIUC-1, an emerging standard for agent security, safety, and reliability, stress-testing agents for jailbreaks, hallucinations, and data leaks. It pairs standards with insurance underwriting through Lloyd's of London and counts Cursor, Harvey, Lovable, and ElevenLabs among its customers. Kvist argues trust and liability, not capability, are becoming the binding constraint on AI adoption.
45