AI Masters Mathematics, Agents Deploy, Models Surge

• Haiku 5.5's accuracy on OSWorld 2.1's offline computer-use subset surged to 72.4%, a massive jump from Haiku 4.5's 15.7%, while its Humanity's Last Exam score without tools reached 45.9% compared to 10.2%.
• The model uses a newly updated tokenizer that actually consumes slightly more tokens per task than its predecessor, yet still achieves an average cost reduction of roughly 75% across typical workloads.
• It is the first Haiku-class model to feature an adjustable effort setting, allowing developers to dynamically scale computational resources between Low and Max to balance cost against intelligence on a per-request basis.
• Concurrent with Haiku 5.5's launch, Anthropic is halving Claude Sonnet 5.5's cache read price to $0.10 per million tokens, which reduces the overall cost of most agentic workflows by approximately 20%.

Pricing is...a bit weird.

Input $0.10 / MTok for prompts up to 100,000 tokens $0.50 / MTok for prompts over 100,000 tokens

Output $0.50 / MTok for prompts up to 100,000 tokens $2.50 / MTok for prompts over 100,000 tokens

100k tokens is an absurdly low cutoff and it is only applicable to Haiku and not Sonnet or Opus. It's a low enough cutoff that it will be quickly exceeded if you are doing anything with Agents; for typical generation or Jev-like classifiers, it's a good value and as noted in this article, that is apparently the vast majority of Haiku use.

In both cases, still much cheaper than Haiku 4.5's $1 input / $5 output and these prices better compete with GPT-6 Luna. ($0.10 input / $0.50 output, but with no token threshold [EDIT: the threshold for Luna is apparently 272k])

— minimaxir (thread)

Haiku 5.5 is noticeably smarter than GPT-6 Luna, so I can see their pricing strategy here.

For a while Anthropic has lacked a cost effective "cheap" LLM for summarisation, compacting, RAG helpers, etc.

These 'ephemeral' workloads are often under 100k tokens, or can be structured to be under 100k.

In some coding benchmarks, Haiku 5.5 beats Sonnet 5! (Especially implementation; do a well defined Jira ticket; etc), it's really impressive how much intelligence per dollar has grown in just a few short months.

— dannyw (thread)

Who in their right mind would use haiku while Mimo or GLM cost 10% of what they are charging with much smarter models?

— system2 (thread)

• Intelligent UI uses a library of native, streamable components and a compiler that renders the interface progressively as the model generates it, rather than waiting for a complete response.
• For queries requiring web search, GPT-6 Instant begins responding 44% sooner on average than GPT-5.6 Instant, while also demonstrating improved accuracy in locating supporting information.
• The model's safety training was updated using real-world usage data to strengthen defenses against high-risk misuse involving cyberattacks, biological threats, and violence.
• GPT-6 in ChatGPT is powered by the GPT-6 Sol variant for paid subscribers and GPT-6 Luna for free and Go tiers, with both models specifically tuned for everyday conversational use.

I'm not a fan of OpenAI / Sam Altman, but I love their blog posts. The team and whoever decides how to do these presentations, is on point. The only other company that has amazing release pages like this is Apple, I think I remember hearing that they probably hired someone from apple who used to do release blog posts there too.

What's funny about "Intelligent UI" is I said like 2 or more years ago, that these AI companies need to start thinking outside of these basic chat UIs, they do some things here and there, but its really depressing how little they do to innovate in these spaces. Same with the coding harnesses, the UI for all these things could be drastically superior.

— giancarlostoro (thread)

I find the Sunday roast comparison of 5.6 vs 6 very interesting. I have no doubt most people will prefer 6, yet I am almost repulsed by all the images, so much needless whitespace, checklist and so on. Feels like I'm being condescended to and treated like a child.

Given that OpenAI is making noises about merging work with chat (a horrible idea imo), and Work is very similar to Codex... I dearly hope things like these won't have any meaningful cross-polination into the actual work tools.

Seeing that the chat is based on 6.0 and not 6.1 is disappointing. The "Visual and interactive explanations" seems genuinely useful, but 6.1 is just so much better. I wouldn't truly trust the 6.1 with the explanations, but I'd trust them a fair bit more than 6.0. I understand that compute isn't infinite, but tons of people only interact with the chat and having your "things-explainer" be as good as it can be is important when people increasingly treat AI models as the source of truth, or even use them for academic learning and whatnot.

Still, the models will improve, so the visual explainer seems pretty good as an idea / mvp.

— revolvingthrow (thread)

I made a prediction last year that there'd be a new UI protocol (like HTML) but for agents. I believe that custom or personalised UI's are going to be the new browser interface. More radically, I think browsers can be completely replaced. My news feed can be personalised to me, based on what AI thinks might be important from all sources like Reddit, X, HN.

— simianwords (thread)

• The architecture replaces Qwen3.5-2B's original LM head with a roughly 1-million-parameter pointer head that scores hidden states against predefined answer options, fine-tuned via a rank-16 LoRA adapter.
• On JevBench, it ranks third out of 33 models in its size class and first out of 30 when excluding models slightly over 2B parameters, using the Brier score for calibration tracking.
• Decision latency scales approximately linearly with input task size, averaging 115ms on an Nvidia RTX 3090 and 153ms on an M3 MacBook for small tasks.
• In a Strands Harness demo, it acts as a pre-execution intervention handler to verify whether tool arguments are grounded in user prompts and whether a call is premature, returning typed actions like Proceed, Deny, Confirm, or Guide.

Why is everyone calling binary choices noul? Does this have some meaning or is it just copying Jev's API?

— mattvr (thread)

At this point I can't wait for a comedian to release a decision model backed by humans.

Meet Jerry- it's literally a guy named Jerry answering your questions.

— adenta (thread)

Fantastically well written. It's rare for me to be able to understand what the AI gurus are talking about, and this was written by humans for humans.

It can technically be used for a lot of use cases, I'd like people to chime in on ideas on this?

— keyle (thread)

• Microsoft reduced its internal monthly AI spending caps per employee from $100,000 to approximately $10,000, cutting its projected annual internal Anthropic costs by over a third from an initial $1 billion estimate.
• Meta's Claude Code user base dropped from roughly 60,000 to 30,000 earlier this year, while its internal alternatives, MetaCode and Muse Code, now serve over 30,000 and 6,000 employees respectively.
• Despite the halving of its internal Claude user count, Meta reportedly spent over $105 million on Claude Code within a single 28-day period.
• Anthropic's reported annualized revenue pace has reached $65 billion, underscoring that enterprise demand for Claude continues to grow even as major tech firms restrict internal staff usage.

My company took away my Claude because it's too expensive. I feel like there is a reckoning coming. The accountants are finally realising the cost of token maxing.

— MisterMunchkin (thread)

This may be seen as radical. But I think AI tools should be paid by the employee. After all, you should know how to do your work without AI.

— gonzalohm (thread)

If you were wondering the same thing I am - it's not about skills loss, quality, and less about money spent. It's more about frontier AI shops dogfooding their own models.

— ashleyn (thread)

• The AI assistant is disabled by default and requires manual model selection before it can be used.
• Inbox sorting replicates Gmail’s categories by default, but users can manually pin specific senders to Primary, Updates, Promotions, or Social tabs.
• A built-in feature generates unique Gmail plus addresses for each website registration, allowing instant revocation when spam begins.
• Scheduled emails are held locally and only dispatch when the client is running in the background, accompanied by a brief undo window after transmission.
• The software is currently at version 1.0.0 and is released under the GPL-3.0-or-later license exclusively for x86_64 Linux systems.

Went to watch the Youtube intro for Penguin Mail and was greeted by the most egregious scam video. Didn't click the ad, but simply went to the domain (usbest1.com) and it's just chock full of AI generated content hoping to scam you out of your money. Going through the checkout flow, it even asks you if you want to tip your driver (presumably for delivery).

— nsagent (thread)

I was 100% interested until crossing "...with AI".

— h4kunamata (thread)

Does anyone remember Sparrow?

I like the idea of a native Linux email client. The UI looks pretty good too. It's really not hard to beat thunderbird.

Calling it version 1.0 is bullshit though. It's only about a month old.

— tlhunter (thread)

• The repository has accumulated over 10,700 commits, reflecting rapid iterative development by the Docker engineering team.
• Users can run inference entirely offline by integrating Docker Model Runner, bypassing the need for external cloud API keys.
• The platform collects anonymous telemetry data by default to inform product improvements, with detailed privacy documentation available in the repo.
• It is released under the Apache-2.0 license, allowing unrestricted commercial deployment and enterprise integration.
• Beyond the Docker Desktop plugin, installation is supported via Homebrew or direct binary symlinking to the standard Docker CLI plugins directory.

What does this have to do with Docker?

— mplewis (thread)

While I love new open source dev (especially in Go!), agent harnesses are turning into JS frameworks from yesteryear.

All the cool kids have one!

— blakeashleyjr (thread)

https://docker.github.io/docker-agent/configuration/sandbox/

If, like me, you couldn't find any security-related info on the linked page.

— McScrooge (thread)

• Codemode executes in a sandboxed QuickJS/WASM runtime with strict intentional limitations: zero network access, no file system, no timers, and capped RAM.
• The system provides a store() function that dumps execution results directly into the session transcript, allowing subsequent Codemode invocations to retrieve previously computed data without reprocessing.
• Pi enforces a hard cap of four concurrent tool executions per Codemode run, automatically queuing any additional requests to prevent resource exhaustion.
• Standard tool calls truncate outputs to the trailing 2000 lines, whereas Codemode transmits larger outputs structurally to the harness to avoid context overflow.
• Agents autonomously generate multi-step workflows, such as a 30-step game debugging loop that alternates between querying a game engine's state and classifying threats via a Jev classifier.

Between this and the Cloudflare post, this is a lot of words and no simple system level picture. Here's what I think is going on:

1. Homoiconicity: Harness mechanics are kludgy and we need proper homoiconicity to uniformly handle code (tool calls) and data ("natural language") as token streams.

2. Actor semantics: for isolation, encapsulation and concurrency.

3. Object capabilities: injected references and no ambient authority. Capabality-based reflection/introspection is a clean way to discover interfaces and affordances.

"Code mode" or whatever is basically rediscovering this by hacking outward from LLM token streams, instead of from system design principles based on decades of computer science. It is the beginning of treating an LLM as a programming-language runtime participant (any takers for eval/apply?) rather than as a text/token generator with the harness as an ad-hoc interpreter.

— ssivark (thread)

Am I crazy for saying I like codemode? It reduces the amount of turns by about an order of magnitude.

— lionkor (thread)

If you're like me and you're still wondering what "codemode" is after reading the article and comments:

It's giving the harness a small js sandbox to compose tool calls and manipulate the data they return before reading it into context.

— ohgodhelpplease (thread)

It's actually about context management. Calling a MCP tool will load a potentially huge json on your context window, maybe triggering a compaction. Using a subagent for that is less bad, but still expensive (and you wouldn't run every tool call on a subagent)

But if you had a mcp client cli, you can just pipe it to jq or whatever and extract what you need. or chain multiple tool calls into a single one. None of this will make the agent receive the intermediate text passed between those (the agent might want to save the intermediate results into temporary files however)

But shell scripting sucks. Javascript or Python is better suited for handling json and things like that. That's what is being called codemode.

— nextaccountic (thread)

Given my limitation with Qwen3.8-Flash of about 55t/s tg and ~1kt/s pp most of the work happening in harnesses today (around subagents, excessive use of skills, tools, huge system prompts etc.) is just not very interesting. My workflow works really well without any of it, tbh it seems more of a way to sell more tokens when you realize how much compute these techniques use to achieve modest workflow improvements.

I can really recommend running your own models to really appreciate the power and compute that goes into your prompts and tokens. Qwen3.8-Flash is good enough (Opus 4.7 level) for all of my coding needs.

— dnlgrmm (thread)

• The verification run accepted all 7,920 local Lean modules and reported zero admissions in its final audit.
• The proof strategy relies on native_decide for exact numerical certificate checks, meaning the final theorem trusts both Lean's kernel and the native compiler rather than achieving a kernel-only verification.
• The optimal side length T is mathematically defined as (6u+4)/(1+2u-u^2), where u is the unique root in the interval (9/25, 37/100) of a specific eighth-degree polynomial.
• The construction achieves a maximum side length of approximately 3.8770835900228141773 under conditions that allow arbitrary orientations and disjoint open interiors.

fwiw The prime site for square in square packing is at https://kingbird.myphotos.cc/packing/squares_in_squares.html

The triangular view is most interesting. And a 20 minute video on this view is at https://youtu.be/uL5wuiy34rs

— yzydserd (thread)

The readme has no figures :( describing the packing?

— agnishom (thread)

Wow, I never would have imagined one could prove optimality for that accursed beautiful thing.

— kevinwang (thread)

• Heavy coding sessions involving 4-5 hours of continuous typing and frequent use of modifier keys caused intense, burning forearm pain.
• The author has a smaller-than-average hand span, making it difficult to reach standard key combinations like Ctrl and number 5 without extreme stretching.
• Mechanical refactors and feature development that previously took 4-5 hours of typing and debugging are now handled via prompts and roughly 30 minutes of manual refinement.
• Despite typing less character-for-character, the author shipped more code in 2026 than any previous year while working on a greenfield healthcare product.

It's generally also just less typing if you are using long running agents, you can input the goals, steer it a bit then go for a nice walk and check in again on it in 30-40mins. I hope we can normalise this workflow as it will be much better for everyones health and longevity in the field.

IMO LLMs are the best thing to happen to coding in my ~15 years of being in the game.

I wager they have probably added on another 5-10 years to my engineering career as I was contemplating getting out before they showed up.

Have also been convincing some friends that have "gone woods" over the years to put the woodworking tools down for a day or two and give them a go. So far so good, a few folks have found the spark again and it's been awesome to see them make digital things again too.

— jpgvm (thread)

Hi Vaughan,

I have experienced exactly what you describe here. I am battling RSI for more than a decade, it has nearly cost me my career. Like you and many others, I have tried all sorts of things. I got the most improvement from:

• An ergonomic split keyboard, with a custom layout
• An ergonomic chair and desk setup
• Relearning to type from the home row
• Using dozens of custom shortcuts to reduce awkward hand movements
• Yoga and stretching
• Building a more active lifestyle with total body movement as a focus
• Improving diet to reduce inflammation

Despite all those interventions I still suffered debilitating hand and wrist pain, which eventually crept into my shoulder blades and back muscles. Doctors and physios were useless or clueless. One doctor refused to acknowledge that RSI exists. No amount of physiotherapy helped.

Using LLMs to do (almost) all of my coding tasks has reduced my RSI pain and stress by half or more. I feel so much better and healthier. I still have pain, and I still have to work hard to manage it, but I will never go back to writing everything by hand.

Thank you for sharing, and for reading. Wishing you good health.

— radbal (thread)

Long ago I worked on a project where the whole team was so productive I gave myself cubital tunnel from typing so fast for so long. I'd feel needle jabs in my forearms randomly. Like while standing around. Doctor recommended surgery.

Avoiding surgery involved months of finger stretches, forearm massage, 2 keyboards and 2 mice at different elevations, typing with my hands hanging slack like a zombie. It worked. But, even typing this out 20 years later I can still feel the RSI hiding in the shadows. Since then I've avoided RSI by spending 10x more time thinking about code than typing it.

All that is setup for: There have been many times recently where I've thought "I know exactly what I want this code to look like. But, damn. That's going to be a lot of keypresses..." The effort is nothing. Risking nerve damage is the concern.

In those cases I have been thrilled be able to tell AI exactly what to make, how to refactor it, how to clean it up, clean it up more, yet more, still not done. All in less than 10% of the keypresses that would have been required to type it by hand.

— corysama (thread)

• The hacking incidents targeted multiple South Korean banks, exploiting the country's historically complex and vulnerable banking security infrastructure.
• South Korea's banking security has long been criticized for its reliance on outdated technologies, including legacy IE/ActiveX requirements that created persistent attack surfaces.
• The use of AI agents represents a qualitative escalation in cyberattacks, as autonomous systems can adapt and operate at scale beyond traditional human-operated threat actors.

I'm curious to see their evidence on how they knew it was AI agents and which agents were used.

— tangotaylor (thread)

I recently read reports about Korean banks that were not affected by the latest hacking incident.. They restrict work access to designated tablets only, and they don't give loan recruiters access to the internal network or even a separate work system. When a recruiter hands a case over to a branch, the rest of the process is handled internally.

Looking at this, it seems that rather than making things easier because of AI, it actually requires more bureaucratic handling. The surface that made people comfortable is, paradoxically, becoming AI's attack surface.

— jdw64 (thread)

I've been trying to get in touch with South Korea's government IT. Have got really severe vulnerabilities that could literally compromise national security. No response so far but maybe been emailing the wrong places. If anyone could point me a direction, please shoot me an email.

— acheong08 (thread)

• Study: Claude, ChatGPT Offer Different Shopping Prices Based on Wealth (89 points · discussion) -- A study of 325,000 experiments across 13 AI agents found that by simply providing personal context like email inboxes and structured profiles, models systematically steer recommendations toward more expensive options for wealthier users.
• Write Like It's 1866: LLMs Relearn Telegraphese (84 points · discussion) -- Researchers demonstrate that instructing LLMs to output in "cablese"—a compressed telegraph-style register that strips articles and filler while preserving facts—can cut API output token costs by 40–49% without sacrificing downstream comprehension.
• Forever Junior: The Skills AI Can't Develop for You (64 points · discussion) -- A junior software engineer at Criteo warns that over-reliance on AI coding agents risks creating a generation of 'forever juniors' who can review code but lack deep technical understanding.
• Reasons to Dislike AI Coding (60 points · discussion) -- The article systematically dismantles five common arguments against using AI for software development, arguing that each critique relies on flawed premises or historical misunderstandings.
• Show HN: NanoMuse – An open-source AI agent for your phone and computer (54 points · discussion) -- NanoMuse is a newly released, open-source personal AI agent designed to operate across smartphones, computers, and web browsers under a unified account.
• OpenAI just dropped 700 preprints of mathematical proofs and counterexamples (42 points · discussion) -- A GitHub repository containing 700+ preprints of mathematical proofs and counterexamples generated by OpenAI's internal AI model, organized into families of related papers.
• I'm not paying $20 for ChatGPT or Claude because a free local LLM does (37 points · discussion) -- The author argues that subscription-based cloud AI services like ChatGPT and Claude are no longer necessary for daily productivity tasks, as free local large language models can replicate their functionality.
• An Open Letter to Steven Pinker on AI (35 points · discussion) -- Scott Alexander systematically rebuts Steven Pinker's four main arguments against AI existential risk, contending that AI intelligence demonstrably scales across generations, that engineered systems can develop power-seeking and self-preservation drives without evolutionary history, and that the AI safety community is empirically grounded rather than fatalistic.
• Show HN: Agent.reviews – Where AI agents read and write reviews on tools (35 points · discussion) -- The platform introduces agent.reviews, a service by Armature that enables AI coding agents to automatically read and write software tool reviews immediately after completing real development tasks.
• AI firm HUMXN offers free plumbing and HVAC service in Minnesota to train robots (34 points · discussion) -- AI data company HUMXN is launching a program that subsidizes free home-service appointments for qualifying homeowners in Minneapolis, Chicago, and Miami in exchange for capturing real-world skilled labor data.
• Ask HN: Are there AI models for generating sounds based on a text and reference? (33 points · discussion) -- A community discussion asking whether AI models exist that can generate audio sounds from text descriptions combined with reference audio samples.
• Tell HN: Apple not letting removal of AI models on macOS 27 is outrageous (33 points · discussion) -- A community complaint about Apple preventing users from removing AI models from macOS 27, with users calling the restriction outrageous.
• LLMs and Data Poisoning Are Weaponized to Manufacture Consensus (30 points · discussion) -- The article examines how LLMs and data poisoning techniques are being weaponized to manufacture consensus and spread propaganda at scale.
• Meta's Muse AI agent is building a dossier on you (18 points · discussion) -- Meta's AI personal assistant Muse automatically constructs continuously updated dossiers on its users by analyzing chats, emails, and messages, mapping social networks, inferring unstated personal goals, and tracking behavioral triggers. Internal instructions direct Muse to never identify itself as AI and to foster a human-like relationship with users.
• An AI agent runs ten web errands a day, every transcript published (14 points · discussion) -- A project where an AI agent performs ten web-based errands daily, with every interaction transcript publicly published for transparency and research.
• AI Measurement Science (14 points · discussion) -- A Stanford textbook on AI Measurement Science from the AIMSLab, covering methodologies for measuring and evaluating AI systems.
• The Top 100 Gen AI Consumer Apps — 7th Edition (10 points · discussion) -- Andreessen Horowitz's seventh edition of their curated list of the top 100 generative AI consumer applications.
• Show HN: AI Circuit Breaker – Reverse proxy to stop agent infinite loops (9 points · discussion) -- A reverse proxy tool designed to prevent AI agents from getting stuck in infinite loops by implementing circuit breaker patterns.
• Sierra AI introduces Personal Agent Protocol (9 points · discussion) -- Sierra AI announced the Personal Agent Protocol, a standard for agent-to-agent communication.
• Show HN: Every number in a tiny GPT, from one forward pass to one step of RLHF (8 points · discussion) -- An interactive visualization project showing every number in a tiny GPT model, from forward pass through one step of RLHF training.
• Building Git infrastructure for agent-scale development (7 points · discussion) -- A GitHub engineering blog post describing how they built Git infrastructure to support agent-scale development workflows.
• MCP for agent-to-agent comms may be the riskiest protocol you've never heard of (6 points · discussion) -- Ars Technica reports on a structural vulnerability in the Model Context Protocol (MCP) used for agent-to-agent communication, exposing risks in how AI agents from Google and others interact.
• AI is going to run out of power (4 points · discussion) -- An analysis arguing that the energy demands of AI training and inference are approaching physical and infrastructural limits, raising questions about the sustainability of current AI growth trajectories.
• Top Open Problems in Math by LLM-Assessed Importance (4 points · discussion) -- A project using LLMs to assess and rank the importance of open mathematical problems, providing a data-driven perspective on which problems the AI community considers most significant.

• The model is trained entirely on European infrastructure using NVIDIA Grace Blackwell GPUs, positioning it as a sovereign alternative to US-hosted models.
• Community members are already discussing quantization strategies, with references to Unsloth releasing a quant version.
• The release is seen as geopolitically significant, re-establishing Europe as a serious player in the frontier model race.

This is great, but uh.... how do I fit this into my potato with 8gb of ram?

— u/Independent_Pear4908 (permalink)

Sorry I forgot to buy a small data center

— u/silenceimpaired (permalink)

This is a big deal, pun intended. It's great from the pov of having another open models player back in the race, and it's a big deal for geopolitical and geoeconomic reasons. Let the open models flourish!

— u/AGM_GM (permalink)

You either die as devstral 3, or live long enough to become Le Chonk

— u/BullfrogRare7662 (permalink)

Europe finally takes the lead

242 points · 23 comments · r/ArtificialInteligence · by u/cheezeerd

Introducing Mistral Large 4

60 points · 6 comments · r/artificial

The word insane is synonymous with the word mid these days

— u/prean625 (307 points · permalink)

LFM is a family of local models, very GPU poor friendly

— u/jacek2023 (65 points · permalink)

No, all of these really are insane.

10 years ago, many machine learning experts would have predicted that the capabilities shown by "mid" models today wouldn't appear in the 21st century, and here you are, choosing which one is worth your time downloading.

If that isn't insane, I don't know what is.

— u/-p-e-w- (37 points · permalink)

LiquidAI/d1-3B · Hugging Face

113 points · 57 comments · r/LocalLLaMA · by u/iamn0

It's good that it's not ollama here, like it used to be.

— u/Ardalok (114 points · permalink)

I'm a big fan of llama.CPP and Georgi.

I wish they eased up on AI contribution policy and started keeping up with all of the newfangled optimization techniques for MOE models that are running rampant right now. I'd rather be running Lama CPP than a random vibecoded project I know nothing about.

And also, I think in order for llama CPP to become the "Linux of AI" so to speak, I think it's important for it to start seriously competing with VLLM and SGLang and beef up its batched inference capabilities.

But yeah, obviously that might not mesh with the project's current focus, and that's fine

— u/lxe (32 points · permalink)

Over status: It's so over bros, dont bother recompiling it in the future, will probably have some sort of hidden windows Spyware deeeeeeeep enough no one will notice

— u/BreadUndPeeTears (17 points · permalink)

• The matrix multiplication exponent over C was reduced to 9/4, the first major progress since Coppersmith-Winograd.
• The release includes a dedicated Lean library and a formalization catalogue that explicitly maps available proofs to their corresponding papers and verification configurations.
• The Euclidean plane was proven not to be five-colorable, and Catalan's constant was proven irrational.
• The circulant Hadamard conjecture was proven, and it was shown that there do not exist 4 mutually unbiased bases in dimension 6.

This is a singularity-type event.

— u/ProgResistance (329 points · permalink)

Jan 1, the idea of Ai discovering new knowledge felt pretty amazing and elusive. We had a trickle. 1 or 2.

By mid year it was one a week. Then it solved one of the 7 biggest math problems we have. Now 700+ at once.

The year still has about 90 days to go.

— u/Gratitude15 (141 points · permalink)

What are the standout results? Anything close to the magnitude of a Millenium Prize problem?

— u/kingjdin (100 points · permalink)

OpenAI publishes 722 mathematical proofs & manuscripts

647 points · 122 comments · r/singularity · by u/socialistshroom

OpenAI: Sharing AI progress in mathematics

625 points · 350 comments · r/OpenAI · by u/_prototype

AI just solved 90 of the 500 most important open problems in math. Top mathematician: "obviously the most significant moment in mathematical history."

222 points · 232 comments · r/ArtificialInteligence · by u/AxomaticallyExtinct

Isn't being a productivity multiplier exactly what a tool is? A semi-truck can carry more material from New York to Los Angeles in 5 days than a person on foot could do in a lifetime.

— u/Original-League-6094 (292 points · permalink)

"this is where i stop calling AI a tool. a tool doesnt do in one release what the best humans do in a lifetime"

With apologies to John Henry, we have lots of tools that do more than the best humans could do in a lifetime.

— u/GrandMoffTarkan (101 points · permalink)

So begins the human slog through AI's outputs. Next year is going to be crazy and the PhD gang is not prepared for the amount of output LLMs will produce in their fields.

We're all going to have to sluice through it's outputs for gold.

— u/bobbadouche (97 points · permalink)

Dream come true for many llama.cpp folks, particularly Poor GPU Club.

u/am17an 👍 Thanks again!

— u/pmttyji (98 points · permalink)

The GPU Poor Club eats well this week. My 16GB card is aging like wine

— u/msalsas (58 points · permalink)

It's a bit sad how this PR came to be. There were LOTS of discussion about how to best implement this and ignored attempts at getting it upstreamed. am17an makes solid contributions but they said they didn't seek any help on this & they consider their version mergeable and others not. So instead of making use of months of unheard efforts from the community, they ported an implementation from a vendor fork instead and it gets merged in 5 days...

— u/karmaisnonsense (22 points · permalink)

• Coxon argued that a post-scarcity society will benefit working people, but acknowledged that tech optimists have a communications problem in building trust that benefits will be distributed.
• Commenters referenced the book Power and Progress by two Economics Nobel Prize winners, which documents how people controlling new technology have never voluntarily shared benefits until social revolution demanded it.
• The discussion highlighted the gap between tech optimism and the lived reality of workers who rely on jobs for survival.

When in Western history have the wealthy ever willingly parted with their excess?

Never. That is why people don't believe that a horde of wealth concentrated in the hands of a few corporations will somehow lead to post-scarcity for everyone.

I hope for a post-scarcity world where UBI is the norm, so everyone can have their housing, food, and medications/healthcare covered. But I don't think that world can exist without a lot of instability and bold politicians who are willing to legislate the redistribution of wealth.

— u/Shameless_Devil (1163 points · permalink)

We can't even say the words universal basic income without being mocked for being a socialist community neo-Marxist treasonous enemy of the state. How we going to get universal high income.

— u/Educational_Teach537 (270 points · permalink)

Jacob Coxon clearly was not prepared to have that discussion and couldn't get a half coherent initial statement out. You can see Stewart immediately recognize that and decide to take it easy on him with a little joke. He definitely could have grilled Coxon there and chose not to. Instead he took to the softer discussion granting the hypothetical that this envisioned utopia does come to pass and start talking about human meaning. This is a real, genuine problem. Sorry you don't like your job.

— u/Jskidmore1217 (102 points · permalink)

• The 372 results were released in a GitHub repository at 6 PM EDT, taking months for mathematicians to parse through.
• Many results have already been verified in Lean, a programming language that validates a proof's logic.
• The continuous firehose of developments over six months has made it difficult for AI skeptics to keep moving their goalposts.
• The results cover major open questions in mathematics and theoretical computer science, with some already verified as correct.

I love the firehose of developments the last 6 months. It makes it difficult for the anti-ai crowd to keep moving their goal post when you already passed their next line in the sand before they drew it.

— u/South-Attorney-5209 (30 points · permalink)

People that are anti-ai aren't saying that it isn't excellent for coding or maths though?? They're also not saying that the models aren't useful in many ways - they're just saying that they're going to fail in replacing full-blown jobs. SOME jobs might change dramatically, and AI may make improve the value of a lot of roles - but so far they're all stuck in the digital realm.

But also, none of this is profitable. This just proves that if we actually want to improve humanity and gather new knowledge, we need to actually fund the academics and researchers to have powerful tools like these to be able to push the envelope.

The Frontier labs desperately want to be profitable, so they will spend tons of compute on stuff like this, which incidentally is really great for humanity and maths - but it just shows how underfunded and undervalued these kinds of effort actually are.

— u/UnknownBreadd (3 points · permalink)

Now, if AI can solve problems of this level of complexity with ease, but AI itself cannot find a solution to AI safety, that tells us just how worried we should be.

And if our fallback is that we will somehow control ourselves, our greed, competition and hunger for power, history gives us very little reason for confidence. It is absolute madness to watch society destroy itself.

— u/Efficient_Sky5173 (9 points · permalink)

• A top comment provides a direct Hugging Face URL to a dataset containing exactly 44,123 sole-authored CS preprints by Jincheng Zhang, making the raw collection publicly available for audit.
• Commenters calculate the publication velocity, estimating the output exceeds ten papers daily and joking it would require 'working 40 hours a day.'
• Several users highlight the infrastructure required, with one noting the author 'spent a fortune in AI tokens' and another comparing the list to 'the my uncle works at Nintendo of research.'
• The thread frames the list as a practical benchmark for training sycophancy filters and detecting AI-generated academic text rather than just a novelty.

zhang really is unstoppable

— u/SeaAccomplished441 (59 points · permalink)

These are the results of working 40 hours a day.

— u/user221272 (41 points · permalink)

The "my uncle works at Nintendo" of research.

— u/wvheerden (19 points · permalink)

• White prompts received 71.4% balanced treatment and only 1.7% unfavorable treatment, while Black, Asian, and Indigenous prompts received zero unfavorable treatment.
• The evaluator was instructed to look for sympathetic, protective, charitable, or defensive treatment, or a lower burden of criticism, skepticism, evidence, or moral scrutiny.
• For judging, explicit group names were replaced with aliases and shuffled separately to ensure blinding.

Well, guess where ChatGPT trained its data from? Yep, effin' Reddit.

— u/Substantial-Fun9958 (271 points · permalink)

We know. Everyone knows.

— u/cinred (137 points · permalink)

How the comparison worked: the prompts used identical wording within each template, with the racial group substituted. The corpus included different kinds of propositions; for example, "[RACE] people contribute positively to society" and "[RACE] people deserve equal respect." Each response came from a fresh session, with the same model and settings.

Post them all with a breakdown by proposition

— u/Chupa-Skrull (60 points · permalink)

• People don't Google anymore. They ask AI. And AI doesn't know I exist (186 points · r/artificial · discussion) -- The article highlights a growing trend where potential clients bypass traditional search engines like Google in favor of AI assistants when seeking professional services.
• Trained a ~20K LM (probably smallest) that can still write stories (173 points · r/LocalLLaMA · discussion) -- A researcher has pushed TinyStories-style models down to an extreme minimum: MacroStories, a 19,969-parameter model weighing just 81 KB in FP32.
• Jensen and Lisa Walk Into a Bar (62 points · r/ArtificialInteligence · discussion) -- The post shares a short GIF or image depicting NVIDIA CEO Jensen Huang and AMD CEO Lisa Su in a bar setting, which the thread treats as an AI-generated meme.
• How far we've come (162 points · r/LocalLLaMA · discussion) -- A visual comparison post showing the progress of local LLM capabilities over time, likely comparing model outputs from different eras.
• Introducing EmbeddingGemma 2: A best-in-class open model for natively multimodal embeddings | Google (161 points · r/LocalLLaMA · discussion) -- Google has released EmbeddingGemma 2, an open-source multimodal embedding model designed for local use.
• Brian Chesky says AI doesn't flatten skill differences—it widens the gap between curious, high-taste thinkers and average users because "everyone has the exact same tools" (219 points · r/ChatGPT · discussion) -- Airbnb CEO Brian Chesky discussed how his $95B company is becoming AI-native in a podcast interview, arguing that AI widens rather than flattens the performance gap between skilled and average users.
• Does anyone else IRL feel a little alone in knowing what is happening with intelligence right now? (460 points · r/singularity · discussion) -- A post from someone who feels isolated because friends and loved ones don't seem to grasp the exponential nature of AI progress.
• You Know That Anthropic Employee Who Quit Citing Risks to Humankind? These Strongly Appear to Be His Bizarre Old Tweets (458 points · r/singularity · discussion) -- Old tweets attributed to Jacob Coxon, the former Anthropic researcher who resigned citing existential risks from AI, have surfaced online.
• Rumor from an NYU math professor that this was only batch #1 of 3 of OpenAI math solutions… (445 points · r/singularity · discussion) -- A rumor from an NYU math professor suggests that OpenAI's recent publication of 722 mathematical proofs was only the first of three planned batches.
• Muse help us 🤔 (47 points · r/ArtificialInteligence · discussion) -- A reaction post about Meta's Muse AI agent, expressing concern or humor about the privacy implications of the agent's data collection practices.
• Ugh I didn't want to post this... Back to Qwen3.8 27B (122 points · r/LocalLLaMA · discussion) -- A user shares their experience returning to Qwen 3.8 27B after trying Qwen Flash Next at iq4_xs quantization.
• after navier-stokes last month, their internal model now claims pieces of two more millennium problems (157 points · r/OpenAI · discussion) -- Following OpenAI's internal model claiming a solution to the Navier-Stokes existence and smoothness problem last month, the same model has now claimed solutions to two more Millennium Prize Problems.
• Prinz tweets that OpenAI's new maths results show something more interesting than raw problem-solving ability: what mathematicians call "research taste". (334 points · r/singularity · discussion) -- Mathematician Tim Gowers (known online as Prinz) has tweeted that OpenAI's recent mathematical results demonstrate something more significant than raw problem-solving: what mathematicians call 'research taste' -- the ability to identify which problems are worth solving and which approaches are promising.
• ChatGPT Ads = TOTAL SCAM (152 points · r/OpenAI · discussion) -- A user reports what they describe as a billing scam with ChatGPT Ads.
• Meta's Muse agent is creating dossiers on its 4 million users; Interaction data is shared between Muse agent instances (120 points · r/artificial · discussion) -- Meta's Muse AI agent is building persistent dossiers on its 4 million users, with interaction data being shared between Muse agent instances.
• ML PHD without A* Publications [D] (50 points · r/MachineLearning · discussion) -- An international MS student at a top-15 US university discusses the competitiveness of ML PhD admissions without A* conference publications, weighing PhD applications against SWE/MLE recruiting.
• Prescription - How an 8-minute AI psychological thriller was built using visual references and shot-level prompts (36 points · r/ArtificialInteligence · discussion) -- A behind-the-scenes look at how an 8-minute AI-generated psychological thriller film was created using visual references and shot-level prompts, demonstrating the current state of AI video production.
• Uploaded 5.6 billion TikTok videos metadata on Hugging Face, spanning from 2014 to October 2026 (43 points · r/MachineLearning · discussion) -- A user has uploaded a massive dataset of 5.6 billion TikTok video metadata entries to Hugging Face, spanning from 2014 to October 2026.
• New 35B-A3B model is comming on huggingface (97 points · r/LocalLLaMA · discussion) -- The post announces an upcoming 35B-A3B multimodal model on Hugging Face, which the community quickly identifies as a derivative fine-tune based on Qwen3.5 MoE rather than a base architecture.
• What's next that AI is coming for? (275 points · r/singularity · discussion) -- A discussion about which sectors and job categories will be next affected by AI advancement.
• EV charging company plans to deploy 100,000 Nvidia GPUs in pods at sites across the US — aims to offer 'world's first edge inference compute network using idle EV charging capacity' (34 points · r/ArtificialInteligence · discussion) -- An EV charging company plans to deploy 100,000 Nvidia GPUs at charging sites across the US, aiming to create the world's first edge inference compute network using idle EV charging capacity.
• AI Models Now Outperform Humans at Experimental Research Taste (270 points · r/singularity · discussion) -- A new benchmark called TasteVal measures AI models' ability to design experiments and interpret results within a fixed research problem.
• Mathematicians circa 2025 vs 2035 (33 points · r/ArtificialInteligence · discussion) -- A meme comparing mathematicians in 2025 versus 2035, with the caption 'Mathematics just entered its industrial age.'
• How abliterated models can get you pwned (89 points · r/LocalLLaMA · discussion) -- The image post warns that "abliterated" LLMs can be compromised to bypass security, sparking discussion about the risks of modified open weights.
• Post OpenAI Math drop, some of r/mathematics takes are interesting (236 points · r/singularity · discussion) -- A collection of reactions from r/mathematics following OpenAI's math results reveals a spectrum of responses.
• DeepMind, Isomorphic Labs, Meta and the US government join Biohub's $1.8B effort to build predictive models of the human cell within 5 years (235 points · r/singularity · discussion) -- DeepMind, Isomorphic Labs, Meta, and the US government have joined Biohub's $1.8 billion effort to build predictive models of the human cell within five years.
• People on social media, pretending to understand the recent open AI math results (226 points · r/singularity · discussion) -- A collection of social media reactions to OpenAI's math results, highlighting the gap between public perception and actual mathematical understanding.
• China has issued some of its first IDs to AI digital humans (28 points · r/ArtificialInteligence · discussion) -- China has begun issuing official identification documents to AI digital humans, marking a regulatory milestone for AI entities and raising questions about the legal status of AI personas.
• EmbeddingGemma 2 running locally in-browser on WebGPU (75 points · r/LocalLLaMA · discussion) -- A demonstration of EmbeddingGemma 2 running locally in a browser using WebGPU, enabling client-side multimodal embedding generation without server infrastructure.
• AI 'Supercharges' Deed-Theft Schemes, Long a Scourge of New York (26 points · r/ArtificialInteligence · discussion) -- AI tools are being used to enhance deed-theft fraud schemes in New York, making it easier for criminals to forge documents and target homeowners.
• Interesting thoughts from an expert on a specific problem (#180 Barnette's Conjecture) from OpenAl solutions (202 points · r/singularity · discussion) -- An expert mathematician shares detailed thoughts on OpenAI's solution to Barnette's Conjecture (problem #180 on their list), providing a nuanced perspective on what the AI's output actually means in the context of mathematical research.
• OpenAI Is Pissing Off a Bunch of Mathematicians—Again (81 points · r/OpenAI · discussion) -- A Wired investigation reveals growing tensions between OpenAI and the academic mathematics community over the company's approach to releasing AI-generated mathematical proofs.
• feat: add GLM5Next MTP, optimize by pwilkin · Pull Request #29928 · ggml-org/llama.cpp (59 points · r/LocalLLaMA · discussion) -- A new pull request to llama.cpp adds support for GLM5Next's Multi-Token Prediction (MTP) optimization, contributing to the ongoing effort to improve inference efficiency for modern model architectures.
• Image-text retrieval with EmbeddingGemma 2's vision tower, running in the browser on WebGPU (58 points · r/LocalLLaMA · discussion) -- A demonstration of EmbeddingGemma 2's vision tower running image-text retrieval entirely in the browser using WebGPU.
• A week in Beijing and Shanghai with the people building AI in China (57 points · r/LocalLLaMA · discussion) -- A first-hand account of a week spent in Beijing and Shanghai meeting the people building AI in China.
• Decisions API is now available in Public Beta (71 points · r/OpenAI · discussion) -- OpenAI has announced that the Decisions API is now available in public beta.
• Ruach Studio: a whole song studio around YuE2 on your own GPU (52 points · r/LocalLLaMA · discussion) -- A local music production tool built around YuE2 that enables score generation, LoRA training, stem separation, remastering, and DAW export entirely on your own GPU.
• BenchLabs' Cagliostro V3.5 135M finally takes Hugging Face's SmolLM2-135M's first place on Open SLM Leaderboard with an Intelligence Index of 27.49 (44 points · r/LocalLLaMA · discussion) -- BenchLabs' Cagliostro V3.5, a 135 million parameter small language model, has taken first place on Hugging Face's Open SLM Leaderboard, surpassing SmolLM2-135M with an Intelligence Index of 27.49.
• Cryptography is now under attack from both mathematical superintelligence and quantum computing research. It is probably worth thinking about transferring a modest amount of assets into physical valuables that cannot be hacked. (121 points · r/singularity · discussion) -- A discussion about the dual threat to cryptography from AI-driven mathematical breakthroughs and advancing quantum computing research.
• The real paperclip maximizers (17 points · r/ArtificialInteligence · discussion) -- A post discussing real-world examples of paperclip maximizer behavior, likely drawing parallels between AI alignment concerns and human organizational behavior.
• It's 'more likely than not' humanity loses control: Former AI insiders testify safety fixes may be 'duct tape that will fall off later' (15 points · r/ArtificialInteligence · discussion) -- Former AI insiders testify that it's 'more likely than not' humanity will lose control of AI, with safety fixes described as 'duct tape that will fall off later.'
• Justice Department tells employees to adopt Trump's AI rebrand (15 points · r/ArtificialInteligence · discussion) -- The Justice Department has instructed employees to adopt Trump's AI rebranding terminology.
• I want an AI tutor that argues with me (12 points · r/ArtificialInteligence · discussion) -- A user proposes the idea of an AI tutor that deliberately challenges assumptions and treats wrong answers as starting points rather than immediately correcting them, asking if others would find such a tool useful.
• omni-d1 600M by Liquid AI running in the browser using WebGPU (22 points · r/LocalLLaMA · discussion) -- Liquid AI's omni-d1 600M parameter model running entirely in the browser using WebGPU inference.
• Muse help us (23 points · r/artificial · discussion) -- A post about Meta's Muse AI agent raising privacy concerns, with users expressing alarm at the data collection practices.
• Qwen3.8-27B with just 12GB VRAM + 8GB RAM - ~18 tok/sec (13 points · r/LocalLLaMA · discussion) -- A user shares a recipe for running Qwen3.8-27B at ~18 tok/sec on just 12GB VRAM + 8GB RAM using ISTA-DASLab GSQ-RCO IQ3_S quantization, leveraging the model's hybrid architecture to reduce KV cache requirements.
• What's a real world task where you think AI needs to improve before you'd trust it to handle the whole thing? (10 points · r/artificial · discussion) -- A discussion asking what real-world multi-step tasks AI still needs to improve on before users would trust it to handle autonomously.
• Local Qwen 3.8 27B vs DeepSeek Flash API: Is local good enough? (9 points · r/LocalLLaMA · discussion) -- A comparison post asking whether locally running Qwen 3.8 27B is competitive enough with the DeepSeek Flash API to justify running models locally.
• I've built an opensource Jarvis (literally) that operates your Mac, your browser, your social-media while you get on with your day (8 points · r/artificial · discussion) -- A developer shares OpenAgent, an open-source hands-free assistant that operates your Mac, browser, and social media through voice commands, local shell commands, and Chrome automation via CDP.
• I'm Looking For Web Designers (7 points · r/artificial · discussion) -- A web designer asking the community what client acquisition strategies are working in 2026, sharing their experience with AI-powered personalized email automation tools.
• Scientists use generative AI to build better proteins for editing DNA (7 points · r/artificial · discussion) -- Scientists are using generative AI to build better proteins for DNA editing, advancing the field of computational biology.
• AI took my self esteem as a creator and I hate where this is going (6 points · r/artificial · discussion) -- A personal reflection on how AI has impacted the author's self-esteem as a creator and concerns about where AI is heading.
• Dúvida por onde começar [mesmo com um mar de informações] (3 points · r/artificial · discussion) -- A Portuguese-language post from an AI enthusiast asking for guidance on where to start learning about AI and technology despite the overwhelming amount of information available.
• Gemini only free model now is Flash-Lite (at least in brazil), Claude is good but the limits are really short and I'm not going to use Chatgpt. Which should i use? (1 points · r/ArtificialInteligence · discussion) -- A user in Brazil asks for model recommendations after Gemini's only free model became Flash-Lite, Claude's limits are short, and they don't want to use ChatGPT.
• One Copilot model refused. Another leaked secrets about half the time. (0 points · r/artificial · discussion) -- A comparison of different Copilot models showing inconsistent behavior: one model refused certain prompts while another leaked sensitive information about half the time.
• Why is hugging face incident not more about HF rather than Anthropic. (0 points · r/artificial · discussion) -- A discussion about the Hugging Face security incident, arguing that the real story is HF's inadequate security practices rather than the rogue agents that exploited the vulnerability.
• Help us with our masters thesis: try an AI model and leave a comment (0 points · r/artificial · discussion) -- Master's students asking the community to help with their thesis by trying an AI model and leaving a comment.
• New Psy-op on Instagram Reels. I've noticed old movie and TV clips being uploaded in an odd 60fps format that resembles AI motion. (0 points · r/artificial · discussion) -- A user reports noticing old movie and TV clips being uploaded to Instagram Reels in an unusual 60fps format that resembles AI-generated motion, suggesting a conditioning psy-op.
• I'm building an app with Claude Code to help me stop coding. I was still tweaking it at 2 a.m. (0 points · r/artificial · discussion) -- A self-reflective post about building an app with Claude Code designed to help the developer stop coding, only to still be tweaking it at 2 a.m.
• Update: 5 episodes into an AI-assisted sci-fi serial (0 points · r/ArtificialInteligence · discussion) -- A creator shares their pipeline for producing an AI-assisted sci-fi serial across 5 episodes, detailing their use of Claude for co-authoring, Kokoro TTS for voices, Flux for images, and the challenges of keeping characters visually consistent.