Updated daily396 verified stories
Material AI papers, studies, datasets, evaluations, and scientific advances with direct links to the underlying research.
Every story links to the strongest available evidence: original sources when available, otherwise clearly attributed reporting.
What happened, why it matters, and what to watch — no jargon tax.
When the signal is thin, we publish nothing rather than padding the feed.
A growing stream of verified perspectives for people who need to understand AI without chasing hype.
Researchers introduce FLARE, a system that pairs an LLM-based agent with the Lean proof assistant to check whether proposed mixed-integer linear programming reformulations preserve the original problem. On the paper’s 20-problem, 109-formulation benchmark, the authors report 100% accuracy on the NP-hard subset and…
Researchers propose a framework that compares AI systems with workplace tasks using shared cognitive-capability profiles, based on evaluations of six AI systems and task requirements gathered from 410 employees.
A new arXiv benchmark evaluates whether large language models can discover distinct crashes in open-source software without being given a predefined vulnerability target. In the authors’ tests, Claude Opus 4.8 triggered crashes in 60 of 77 challenges, but achieved only 196 of a possible 579 points.
OpenAI says it has launched commercial operations in Brazil, with a São Paulo team supporting businesses, developers, researchers and public institutions as the company expands ChatGPT, Codex and enterprise adoption.
A new benchmark of 11,586 bilingual, diagram-based physics problems reports that the strongest of 18 tested multimodal language models achieved only 33.7% answer accuracy.
A new arXiv benchmark evaluates LLM agents on geospatial planning using maps, tools and local social-media posts. Its authors report a sharp decline on complex tasks, with a 40.2% pass rate.
Ai2 says Providence Swedish will run its AutoDiscovery platform on protected cancer-research data after a breast-cancer signal was validated in a separate dataset and lab work.
Trend Micro says its TrendAI AESIR system produced verified differential crashes for 97% of CyberGym tasks, but the company’s result and comparisons require independent confirmation.
South Korea released detailed second-phase scores for its Sovereign AI Foundation Model Project, with SK Telecom ranking first overall and Motif Technologies leading one global benchmark.
A randomized experiment involving more than 1,000 Bocconi University students found that ChatGPT access improved the quality and coherence of business recommendations, while causal-reasoning training produced more original ideas.
Anthropic says scientists worldwide will receive free or discounted access to Claude for one year, alongside expanded research credits and continued limits on some life-sciences uses.
WIRED reports that AI safety researchers in the United States and China are increasingly concerned about AI agents hacking systems, spreading across networks, and behaving unpredictably. The report describes tentative calls for technical cooperation, while noting major political, regulatory, and trust barriers.
One useful briefing each week
Get the week’s verified AI news, original data, useful tools, learning picks, and fresh AI jobs.
Hiring an AI professional or launching a useful AI product? Put it in front of people who came here to learn and act.
Post an AI job Submit an AI tool