Claims Browser

AI has contributed minor acceleration to mathematics research, with arXiv submissions doubling in some areas in less than 12 months, though the value is difficult to quantify

"AI is clearly contributing to more work being done (arXiv submissions have doubled in some areas in less than 12 months) but quantifying the value of those contributions is difficult"

There is no measurable acceleration in AI research optimization from LLMs, with only a couple of attributable contributions in areas like nanoGPT and CIFAR-10

"When you look at algorithmic progress across seven significant problem areas (CIFAR-10, Hutter compression, Gurobi mixed-integer programming, MIPLIB, nanoGPT, Stockfish, and the matrix-multiplication exponent) there are a couple of these where LLM-attributable contributions have happened (nanoGPT, CIFAR-10), though the rate of increase of usage of AI here is a lot less than with cybersecurity and mathematics"

Acceleration in AI capabilities happens through phase changes for specific skills, as evidently occurred with day-to-day coding in 2025 and cyber in 2026

"My suspicion is that acceleration happens when models go through some kind of ineffable phase change for a given skill, as has evidently happened with day-to-day coding (2025), and cyber (2026)"

At 30B scale, SPADE reaches a suite average of 58.3, showing +8.1 improvement over base model and +5.3 over strongest fixed-environment baseline

"at 30B-A3B, SPADE reaches a suite average of 58.3: +8.1 over base and +5.3 over the strongest fixed-environment baseline"

75% of Americans oppose local data center development despite the economic benefits

"Americans really, really hate data centers, and 75% oppose local data center development, despite the economic benefits"

Opposition to data centers is now well below support for coal plants, despite coal plants substantially increasing the surrounding death rate

"this level of support is now well below that of a coal plant, which is bad enough that it substantially increases the surrounding death rate"

People mostly dislike data centers because they dislike and distrust AI, tech companies, big money, and building things in general

"People Mostly Dislike Data Centers Because They Dislike and Distrust AI, Tech Companies, Big Money And Building Things"

People fear for their jobs because it is sensible to fear for your job given what AI can clearly do and how people are planning for and reacting to AI

"They fear for their jobs because it is sensible to fear for your job given what AI can clearly do, and how people are planning for and reacting to AI"

People fear that humanity will be usurped or wiped out because that is an obvious thing to worry about when building smarter artificial minds

"They fear that humanity will be usurped or wiped out because that is an obvious thing to worry about when building smarter artificial minds, as illustrated by every story and thought experiment about such minds ever, without any need to get into the more detailed and technical reasons for worry"

LLM-SPICEMixer improves median final training reward by 8.4% and median validation-selected test reward by 8.8% compared to genetic framework without LLM guidance

"Compared with the genetic framework without LLM guidance, LLM-SPICEMixer improves the median final training reward by 8.4% and the median validation-selected test reward by 8.8%"

The best validation-selected circuit achieves 93.3% test accuracy at nominal corner and 85.9% average test accuracy across 17 process, voltage, and temperature corners

"The best validation-selected circuit achieves 93.3% test accuracy at the nominal tt corner and 85.9% average test accuracy across 17 process, voltage, and temperature corners"

FormuEvo discovers MIP formulations that significantly outperform both expert-designed formulations and existing LLM-based approaches, accelerating solvers by up to 5.5x

"FormuEvo discovers formulations that significantly outperform both expert-designed formulations and existing LLM-based approaches, accelerating solvers by up to 5.5$\times$"

Large language models prioritize semantic correctness but overlook formulation strength in automated MIP modeling, severely bottlenecking the efficiency of downstream solvers

"While large language models (LLMs) have recently shown promise in automated MIP modeling from natural language, they prioritize semantic correctness but overlook formulation strength, severely bottlenecking the efficiency of downstream solvers"

Neuromorphic acoustic anomaly detection on Loihi 2 achieves two orders of magnitude lower energy consumption than CPU and GPU

"Power profiling on a 16-chip Loihi 2 VPX system shows real-time throughput with 0.0406$\unicode{x2013}$0.0426 mJ dynamic energy per sample, two orders of magnitude lower than both a CPU and GPU."

Anthropic's Model 2 is multiple releases ahead of publicly available models for internal purposes

"The jump from Opus 4.6 to Mythos Preview was big. Several release cycles big. We get a lot more data throughout the report, but given Model 2 gets that comparison point, one would presume that for internal purposes Model 2 is multiple releases ahead."

Anthropic's risk reports reveal alarming information they didn't have to disclose, providing detailed insight into their thinking

"Anthropic is revealing a lot of new information, some of it rather alarming, that it did not have to disclose, and is providing detailed insight into how they think about things. This is very cool."

Model 2 could be too capable or dangerous to release publicly

"It could also be too capable or dangerous to release, either due to harm or the worry it would accelerate others."

Google should be dominating AI given their resources but has fallen behind

"Google is clearly on the back foot in AI; it should, by rights, be dominating AI. They have the money, the data, the compute, and, for a long time, they had a gigantic lead in talent. Now (although I wouldn't count them out) they are widely viewed as having fallen behind."