Claims Browser

Inkling-Small matches or beats the roughly four-times-larger Inkling on many benchmarks while only activating 12B of its 276B parameters

"It activates 12B of its 276B parameters, and Thinking Machines says it matches or beats the roughly four-times-larger Inkling on many benchmarks."

Current AI tools have specific use cases where they are actually good, but they can also distort judgment in certain applications

"discuss what current AI tools are actually good for, where they distort judgment"

Writing still matters as a way of thinking even in the age of AI

"why writing still matters as a way of thinking"

OpenAI has data showing how people use ChatGPT worldwide at the country level

"New OpenAI Signals data shows how people use ChatGPT worldwide, with country-level insights on adoption, usage trends, and evolving behavior."

ChatGPT has introduced an improved GPT-5.6 Sol model with better accuracy and consistency

"ChatGPT introduces improved GPT-5.6 Sol with better accuracy and consistency"

GPT-5.6 Luna offers unlimited everyday chats

"unlimited everyday chats with GPT-5.6 Luna"

Model ML uses GPT-5.6 Sol to perform finance work including research, analysis, and generation of editable PowerPoint decks and Excel workbooks

"Model ML uses GPT-5.6 Sol to carry finance work from research and analysis through editable, traceable PowerPoint decks and Excel workbooks"

Google is buying Spirit Airlines business data for AI training purposes

"why is Google buying up the data of the defunct Spirit Airlines?"

Free-probability kernels can select reservoir operating regimes without rollouts, achieving comparable performance to exhaustive search

"zero-rollout selection obtains a mean deployment score of $0.772$, compared with $0.774$ for exhaustive simulation-based search, while avoiding $156\,600$ selection rollouts"

Implicit-perturbation zeroth-order optimization reduces perturbation energy to 0.46x-0.83x that of conventional explicit weight perturbation for spiking neural networks

"IPZO reduces the perturbation energy to 0.46x-0.83x that of conventional explicit weight perturbation for a batch size of B=64 and T=4 time steps"

Anthropic's revenue in Q2 may not recur at the same scale next year after the collapse of tokenmaxxing, as companies like ATT turn to open source models to save costs

"THE big issue for Anthropic is that the kind of revenue they were making in the second quarter of this year may well not recur, at the same scale, next year, now that, in the aftermath of the collapse of tokenmaxxing, companies like ATT are increasingly turning to open source models from other vendors, in order to save costs."

JANUS improves CMA-ES on 11-15 out of 16 BBOB functions across dimensions 30, 100, and 500 without requiring offline training

"Under same-protocol comparisons, JANUS improves the CMA-ES host on \textbf{11--15/16} BBOB functions across $d\in\{30,100,500\}$. It also attains the best mean error on \textbf{13 of the 16} functions at $d{=}500$ in the complete NN-BBO/MetaBBO baseline comparison, with no training cost"

JANUS yields a 936x geometric-mean improvement over the host optimizer on a 1000-dimensional BBOB subset

"yields a $936\times$ geometric-mean improvement over the host on a $d{=}1000$ BBOB subset"

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."