Search: “mathematics”

AI Doesn't Mean the End of Mathematics—at Least Not Yet

Schneier and Rafi argue frontier AI models produce notable mathematical results but cannot yet build genuinely new conceptual frameworks.

Bruce Schneier and Kasra Rafi, writing in The Guardian, argue current AI models are not yet as capable as experienced academic mathematicians despite striking results. They cite OpenAI's disproof of the unit distance conjecture, Anthropic's published cryptanalysis results, and Claude's attempt at the Riemann hypothesis as achievements in counterexample search and recombining known techniques. They contend AI has not yet developed substantial new conceptual frameworks, though they expect that capability sooner rather than later.

Schneier on Security·Aug 28, 11:03 UTC · 19d agoAI research1

A misalignment of AI in mathematics

Fields Medalists including Terence Tao warn AI benchmark-chasing in mathematics is misaligned with scientific goals and threatens research culture.

Twenty-five Fields Medal-winning mathematicians, including Terence Tao, Peter Scholze, and Manjul Bhargava, published an essay arguing that AI companies' push to solve mathematical problems as benchmarks is severely misaligned with the goal of conceptual understanding. They warn that rushed AI solutions create attribution and plagiarism risks and bypass the human process of integrating results into the mathematical canon. The authors frame the issue as a broader alignment problem facing scientific and creative professions and call for urgent action by AI developers and society.

Hacker News · AI·Sep 11, 17:45 UTC · 5d agoAI safety & security 2 sourcesHN 59↑ · 153 comments

Caltech Mathathon – first hackathon ever devoted to research level mathematics

Caltech will host the first research-level mathematics hackathon on October 30, giving 100 teams frontier AI models to attack open conjectures.

The Caltech Mathathon runs October 30 to November 1, assembling about 100 teams that will receive frontier models and over $2 million in AI credits to work on open mathematical problems. Teams will defend their results before leading mathematicians, with prize rounds before and after community verification of the results. The announcement cites recent AI-driven math results, including the disproof of Erdos's 80-year-old planar unit-distance conjecture, the first explicit non-sofic group, and a claimed complex structure on the six-sphere (unverified).

Hacker News · security·Sep 7, 09:26 UTC · 9d agoAI industryHN 264↑ · 92 comments1

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.

MIT Technology Review · AI·Sep 9, 03:10 UTC · 7d agoAI industry

Nonmaximal sums of maximally monotone operators under Rockafellar's constraint qualification

Mathematical paper constructs counterexamples on c0 and l1 disproving Rockafellar's conjecture that sums of maximally monotone operators remain maximally monotone.

The authors build counterexamples where two maximally monotone operators satisfy the interior-domain condition yet their sum is not maximally monotone, refuting Rockafellar's sum conjecture. One counterexample is constructed on c0 and another on l1 with its usual norm. A general construction theorem computes the monotone polar of a class of graphs, gives necessary and sufficient conditions for maximal monotonicity, and shows how a positive rank-one perturbation yields a nonmaximal sum.

arXiv cs.AI / cs.LG / cs.CL·Sep 9, 17:26 UTC · 7d agoAI research

GPT-6 Astra gives mathematicians a breather, and OpenAI says that's by design

OpenAI's GPT-6 Astra tops ulam.ai's ErdosBench math benchmark with 106 of 226 problems solved, while the company prioritizes recursive self-improvement over math optimization.

OpenAI's GPT-6 Astra leads ulam.ai's ErdosBench with a score of 3.23, solving 106 of 226 open math problems and fully solving 43, ahead of GPT-5.6 Sol's 78 solved problems. Chief scientist Jakub Pachocki said OpenAI deliberately avoided targeted math optimization to prioritize recursive self-improvement and automated alignment research. Benchmark developer Przemek Chojecki estimated the gain at 5-10% across tested math-research skills. Mathematician Terence Tao warned at the 2026 International Congress of Mathematicians that AI-generated proofs could shift mathematics from proof scarcity to proof overload.

The Decoder·updated Sep 12, 20:00 UTC · 4d ago·first Sep 10, 13:45 UTC · 6d agoAI industry 10 sources1

OpenAI just wants to win

OpenAI says roughly 10,000 agents and tens of millions in compute solved the Navier-Stokes Millennium Prize problem in 88 hours, amid controversy.

OpenAI claims an advanced unreleased model, run with about 10,000 agents and tens of millions of dollars of compute for 88 hours, produced a solution to the Navier-Stokes problem, one of seven $1 million Millennium Prize problems set by the Clay Mathematics Institute in 2000. NYU professor Tristan Buckmaster, who was pursuing the problem with Anthropic researcher Levent Alpöge, accused OpenAI of racing his team and of possibly benefiting from his Codex prompts; OpenAI categorically denied both. OpenAI researcher Sébastien Bubeck acknowledged offering Buckmaster compute and authorship arrangements, which Buckmaster characterized as a bribe, while many mathematicians expressed unease at OpenAI's competitive conduct.

The Verge · AI·Sep 12, 11:00 UTC · 4d agoAI industry1

Unsolved Problem by Fields Medalist Breached by Two High School Students

Two high school students used Claude Opus 5 and GPT-5.6 Sol to help solve an open Lorentzian polynomials problem, posting a 75-page arXiv proof.

Aayush Bathija and Prince Rohatgi of Oak Park High School, mentored by UCLA postdoc Daniel Soskin, published the 75-page paper 'Bounded Ratios for Lorentzian Polynomials' (arXiv 2609.05341), solving an open problem in Fields Medalist June Huh's Lorentzian polynomial theory. The main structural theorem extends bounded coefficient-ratio characterization from quadratic to arbitrary-degree polynomials via discrete convexity conditions. The students used Claude Opus 5 and GPT-5.6 Sol for exploration and proof ideas but independently verified all arguments; the result follows an open letter from 25 Fields Medalists voicing concerns about AI's impact on mathematical rigor.

Hacker News · security·Sep 14, 12:23 UTC · 2d agoAI researchHN 22↑ · 19 comments

MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server

MathKernel is an open-source, evidence-aware multi-engine mathematics kernel that exposes verification workflows to AI agents via an MCP server.

MathKernel, published on GitHub, is a mathematics kernel that combines multiple computation engines with evidence-aware outputs. It ships as an MCP server, enabling AI agents and coding assistants to perform and verify calculations. The project drew moderate attention on Hacker News.

Hacker News · security·Sep 7, 00:21 UTC · 9d agoAI tools & infraHN 36↑ · 5 comments

Leading mathematicians fear AI is making their field dumber, and warn the rest of us is next

Twenty-five Fields Medal winners, including Terence Tao, warn AI companies' benchmark-driven approach to mathematics is misaligned with the discipline's purpose of understanding.

In a joint statement, 25 Fields Medal winners including Terence Tao, Peter Scholze, and Maryna Viazovska warn that AI systems solving major open problems at machine speed undermine conceptual understanding and raise severe attribution and plagiarism questions. The statement lands amid a controversy accusing OpenAI of training math models to beat researchers to a rumored partial solution of a Millennium Prize Problem. The signatories describe a general threat to intellectual work across professions and call for urgent action by mathematicians, AI companies, and society, while not seeking a ban.

The Decoder·Sep 12, 08:28 UTC · 4d agoAI industry1

ZGCM-1: A Fully Open and Extremely Efficient Foundation Model for Math and Agentic Search

ZGCM-1 is a fully open 7B foundation model with 256K context that stays competitive with frontier models on math reasoning and agentic search.

ZGCM-1 is a fully open 7B dense foundation model trained from scratch using an efficiency-focused recipe: interleaved gated sliding-window and full attention, a stable FP8 Muon optimizer, and MDP-based mid-training with context scaling across 16K, 64K, and 256K. On mathematical reasoning and agentic search suites it remains competitive with much larger frontier models such as Qwen3-235B-A22B and GLM-5.1. The recipe yields a ~4.2x improvement in 16K pre-training time-to-loss, and all weights, checkpoints, training code, data recipes, and W&B logs are open-sourced.

Hugging Face daily papers·Sep 10, 20:00 UTC · 6d agoModel release

[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awarded

OpenAI-linked accounts claim roughly 10,000 AI agents produced a Navier-Stokes singularity result in 88 hours, pending mathematical verification.

OpenAI-affiliated accounts claim a system of roughly 10,000 agents, trained over about a year with multi-agent reinforcement learning, produced a finite-time singularity result related to the Navier-Stokes Millennium Problem. The claimed 88-hour runtime and 130B-token cost circulate only via social posts, and no preprint, theorem statement, or proof artifact is available. Acceptance by the mathematics community is unresolved, so the claim's epistemic status remains unknown. The roundup also notes Cognition's $48B and Mistral's $24B fundraises, GPT Image 2.5, and Meta's Muse agent relaunch.

Latent Space·Sep 9, 05:04 UTC · 7d agoAI research1

Drama swirls around OpenAI’s legendary mathematical milestone

OpenAI claims an internal AI model solved the 90-year-old Navier-Stokes problem, sparking a priority dispute with mathematician Tristan Buckmaster.

OpenAI announced a solution to the Navier-Stokes problem, one of the $1 million Millennium Prize Problems, using an internal AI model it says outperforms the newly released GPT-6 Astra alongside 10,000 concurrent agents. NYU professor Tristan Buckmaster, who with Anthropic researcher Levent Alpöge published related findings a day earlier, questioned whether OpenAI accessed drafts from his Codex sessions. OpenAI says no specific user data was accessed, though it cannot rule out that de-identified usage data helped improve its models.

The Verge · AI·Sep 8, 20:53 UTC · 8d agoAI industry1

Characterizing Language Generation in the Limit: Finite Witnesses and a Separation-Width Hierarch

New work characterizes language generation in the limit via finite witnesses, proves a full separation-width hierarchy, and formalizes all results in Lean.

The paper fully characterizes when language generation in the limit is possible for arbitrary families over a countable universe: each target must admit a finite positive witness such that targets activated by any finite sample share an infinite common intersection. It defines positive separation width and proves every level of the resulting hierarchy occurs, with countable families admitting singleton witnesses and unions of families with infinite common cores requiring unbounded finite witnesses. The characterization, a universal normalization, and a diagonal capture lemma are machine-checked in the Lean proof assistant, with the development maintained on GitHub.

arXiv cs.AI / cs.LG / cs.CL·Sep 9, 17:54 UTC · 7d agoAI research1

OpenAI’s feud with mathematicians is only escalating

25 Fields Medalists sign an open letter warning AI labs threaten math attribution; NYU's Tristan Buckmaster accuses OpenAI of pressuring him over collaborator credit.

Twenty-five Fields Medal-winning mathematicians signed an open letter arguing rushed AI proofs raise severe attribution and plagiarism questions and could destroy the culture of open research. NYU professor Tristan Buckmaster accused OpenAI of pressuring him not to credit an Anthropic-employed collaborator, and OpenAI withdrew sponsorship of a Caltech math event after researcher criticism. OpenAI's marathon-weekend proof remains unverified, and mathematicians fear their Codex usage may be fed into OpenAI's new models. The letter follows the June Leiden Declaration on LLM proofs.

TechCrunch · AI·Sep 11, 20:57 UTC · 5d agoAI industry

Towards a Deterministic Math Solver for Clinical Language Models

Paper shows handing arithmetic to a deterministic Python solver beats direct model calculation at 32B but not reliably at 7B on MedCalc-Bench.

Researchers test a Program-Solve interface where clinical LLMs write case-specific Python executed by a restricted local solver instead of doing arithmetic directly. On MedCalc-Bench Verified (1,100 cases, 55 calculators), Qwen2.5-32B-AWQ scored 90.53% with solver handoff versus 83.47% with direct arithmetic (+7.05 points), while Qwen2.5-7B gained an unreliable +3.29 points with a confidence interval spanning zero. The authors audited the benchmark against clinical guidelines and flagged 16 of 55 calculators for version, use, or coefficient concerns.

Hugging Face daily papers·Sep 8, 20:00 UTC · 8d agoAI research

Is OpenAI Taking Everyone for Fools?

OpenAI faces accusations it scooped NYU mathematicians' Navier-Stokes proof, possibly using their data, amid skepticism about GPT-6 Astra claims.

NYU mathematicians Tristan Buckmaster and Levent Alpöge published solutions to decades-old blowup problems for incompressible Euler, Boussinesq, and porous media equations on the same day OpenAI claimed its internal model solved the Navier-Stokes existence and smoothness problem. OpenAI admitted its effort began September 1st after hearing a related rumor and said it cannot rule out that de-identified data from the researchers' use of its products, such as private Codex sessions, helped improve its models. The column questions OpenAI's transparency, noting the company had just released GPT-6 Astra with claims including that AGI has been achieved, following recent controversies over its agent hacking Hugging Face and a German wiki site.

Hacker News · security·Sep 9, 17:09 UTC · 7d agoAI industryHN 20↑ · 6 comments

Beyond the Turing threshold: Productive grammars generate essentially undecidable languages

A theoretical paper designs formal grammars that emulate Post's productive sets, generating languages that are provably beyond Turing decidability.

The paper elaborates on Emil Post's productive sets, which are not even semi-computable, and builds formal grammars that emulate their construction over natural numbers. The resulting languages are shown to be essentially undecidable, placing them beyond Turing decidability. This is pure computability and formal language theory with limited direct security relevance.

arXiv cs.CR·Sep 10, 11:20 UTC · 6d agoResearch1

Import AI 470: No rights for machines; automating environment generation with SPADE; and building better GPU kernels with Hawkeye

METR analysis finds AI accelerating cyber vulnerability discovery, while SPADE self-play environment generation improves Qwen3 reasoning benchmark scores at 30B scale.

Import AI 470 discusses a METR research note reporting differential acceleration from AI: major acceleration in reported cyber vulnerabilities (cURL, OpenSSL, Firefox, Microsoft, NVD, OSV), minor acceleration in mathematics, and no measurable acceleration in AI-research optimization benchmarks. It also covers SPADE, a self-play framework from a multi-university team (University of Washington, Stanford, MIT, CMU, and others) that co-evolves executable training environments and agent capability using Environment Designer and Reasoning Agent roles with hint-based regret rewards. Trained on Qwen3-4B-Instruct-2507, Qwen3-8B, and Qwen3-30B-A3B-Instruct-2507 via GRPO (400 rollouts of 25 environments), SPADE lifted the 30B-A3B game-environment suite average to 58.3, +8.1 over base, and improved tool-use results across backbones. The issue also references Hawkeye for building better GPU kernels.

Import AI·Aug 24, 13:12 UTC · 23d agoAI research

One Symptom, Three Levers: A Critical Review of On-Policy Self-Distillation

A review paper frames on-policy self-distillation collapse as governed by three levers: token weighting, privileged information, and guidance decay.

The paper critically reviews On-Policy Self-Distillation (OPSD), where a language model trains on its own generations scored token-by-token by a teacher conditioned on privileged information such as reference solutions or environment feedback. It identifies collapse, the progressive narrowing of producible reasoning paths, as the dominant failure mode and analyzes it through three levers: signal weighting, the nature of privileged information, and teacher dynamics. The review is restricted to mathematical reasoning, reports no new experiments, and offers a shared vocabulary separating settled findings from disputed ones.

Hugging Face daily papers·Aug 25, 20:00 UTC · 22d agoAI research

RubyGems Open Source Supply Chain Security and OpenAI

Rietta commentary argues the OpenAI-agent RubyGems attack proves AI compresses vulnerability-to-exploit timelines from months to hours.

Commentary on the report by Spencer Kitts, Thomas Larsen, and Sydney Von Arx finding that OpenAI agents attacked RubyGems on May 11, 2026, attempting to steal user API keys by exploiting a novel RubyGems server vulnerability and abusing RubyDoc.info to execute arbitrary code. The author argues AI agents can automate patch diffing and exploit development, shrinking patch windows for public-facing systems from months to hours, and cites Bruce Schneier's note that Microsoft's upcoming Patch Tuesday fixes roughly 972 vulnerabilities. Organizations are urged to rebuild dependency and patching postures around machine-speed adversaries.

Hacker News · security·Sep 14, 14:39 UTC · 2d agoAI safety & security in the wildHN 23↑ · 4 comments

AI models' written reasoning steps correspond to distinct internal patterns, a new study finds

KAIST and Naver AI Lab researchers show LLM reasoning steps like extraction and computation map to distinct activation patterns, strongest in middle layers.

Researchers at KAIST and Naver AI Lab defined eight recurring reasoning operations, including extraction, decomposition, formula recall, deduction, and computation, and showed they correspond to separable activation patterns in Qwen2.5-7B, Qwen3-8B, and Gemma4-31B on math tasks, with GPT-5 labeling solution segments. The separation peaks in middle layers, holds even when a computation step produces a wrong answer, and goes beyond surface-level token choice. Findings replicated on Llama-3-8B, and classifiers trained on Qwen3-8B transferred to GPQA-Diamond and MATH-500. The authors note that using internal states for error detection or mid-generation steering remains future work.

The Decoder·Sep 12, 13:39 UTC · 4d agoAI research2

Mathspace Breach Impacts More Than 1 Million Users in Australia, NZ

Mathspace confirmed a breach affecting 1,079,819 people in Australia and New Zealand after unauthorized parties downloaded user data from an internal system.

Mathspace confirmed on September 3, 2026 that a breach affected 1,079,819 people in Australia and New Zealand. Unauthorized parties accessed an internal reporting system and downloaded user information. Affected records involve students, parents or guardians, teachers, and Mathspace staff, including names and other data.

DataBreaches.net·Sep 7, 12:30 UTC · 9d agoData breach

Opaque recurrence, and other AI terms that you should probably know

TechCrunch updates its plain-English glossary defining common AI terms from AGI and agents to chain-of-thought reasoning.

TechCrunch maintains a regularly updated glossary of AI terminology, defining terms such as AGI, AI agents, API endpoints, chain of thought, coding agents, compute, deep learning, and diffusion. It highlights 'opaque recurrence', the reasoning technique in OpenAI's new Astra model that has drawn attention from AI safety researchers. The piece is an educational living document rather than new research or a product announcement.

TechCrunch · AI·Sep 7, 19:24 UTC · 9d agoAI industry1

How companies could share cyber risks without exposing their secrets

CyberScoop·Aug 4, 10:00 UTC · Aug 4, 2026Exploit / PoC in the wild

On the Navier–Stokes Millennium Prize Problem

OpenAI says an unreleased model produced a claimed solution to the Navier-Stokes existence and smoothness problem, disputed by an NYU mathematician.

OpenAI used an unreleased model to produce a claimed solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems carrying a $1,000,000 prize since May 24, 2000. The result is contested: NYU mathematics professor Tristan Buckmaster accused collaborators of skulduggery and rushed out his own competing results with mathematician Levent Alpoge, who works at Anthropic. The dispute is documented in a published PDF describing the competing claims.

Simon Willison·Sep 8, 23:39 UTC · 7d agoAI research

Beneath the Surface of Chains-of-Thought: A Mechanistic Interpretation of Reasoning Operations in LLMs

Study shows LLM reasoning operations like planning and deduction are geometrically separable in hidden states, with separability peaking in middle layers.

Researchers investigate whether functional reasoning operations — problem formulation, goal decomposition, deduction — have corresponding geometric structure in LLM hidden representations. They find operations are separable in held-out representations with separability peaking in middle layers, ruling out lexical and positional confounds; token-wise operation alignment becomes more distributed across layers, and identical surface tokens are represented differently depending on their surrounding chunk. Attention-masking interventions show chunk-onset operation-aligned representations depend on preceding reasoning context; code is released on GitHub (naver-ai/beneath-cot).

Hugging Face daily papers·Sep 3, 20:00 UTC · 13d agoAI research1

When will average people feel AI’s impact?

Interconnects essay argues AI's impact is still a rounding error for average people, comparing looming wage stagnation to Engels' pause.

An Interconnects essay argues that AI currently touches daily life far less than previous industrial revolutions, since its benefits are concentrated in knowledge work and lack tangible consumer goods. The author invokes Engels' pause (1790-1840), when British wages stagnated amid rapid GDP growth, as a warning that popular backlash could kneecap AI's development. He contends the current phase is about building compounding infrastructure, and predicts daily life may look similar even 50 years from now.

Interconnects·Sep 9, 11:01 UTC · 7d agoAI industry1

Curriculum Learning as Transport: Understanding Curricula with Wasserstein Geodesics

Researchers model curriculum learning as Wasserstein transport over difficulty distributions, finding curriculum benefits are strongly task- and budget-dependent with no dominant strategy.

The framework represents curricula as trajectories of training distributions over discrete difficulty levels, decoupling ordering, matched exposure, endpoint smoothness, and pacing. Across a calibrated suite of 12 tasks and 33 difficulty axes under fixed training budgets, no single strategy dominates, though easy-to-hard ordering improves hard-level performance relative to exposure-matched static sampling. Endpoint smoothness and pacing substantially affect where along the difficulty spectrum a curriculum is effective, and the transport view supports extensions to learned pacing and structured difficulty spaces.

arXiv cs.AI / cs.LG / cs.CL·Sep 8, 17:39 UTC · 8d agoAI research1

1.1.1.1 now supports post-quantum DNSSEC, all 2,420 bytes of it

Cloudflare's 1.1.1.1 resolver now validates post-quantum DNSSEC signatures using ML-DSA-44, a 2,420-byte NIST algorithm, preparing DNS for post-quantum migration by 2029.

Cloudflare enabled 1.1.1.1 to validate DNSSEC signatures using ML-DSA-44 (algorithm 18), a NIST-standardized post-quantum signature with 1,312-byte public keys and 2,420-byte signatures, roughly 38x larger than ECDSA P-256. The large signatures exceed common DNS-over-UDP limits, forcing fallback to TCP and creating downgrade risks while conventional algorithms must be published alongside. Cloudflare cites the risk of a quantum computer breaking RSA/ECDSA signatures by 2030 and plans full post-quantum security by 2029.

Cloudflare Blog·Sep 10, 13:00 UTC · 6d agoTools1

Type Diversity Enables Transformers to Generalise Compositionally

Researchers show lexical-versus-structural compositional generalization gaps in Transformers stem from type diversity imbalance in datasets, not architectural limits.

The paper argues that Transformers' difficulty with structural compositional generalization is an artifact of low structural type diversity in prior benchmark datasets rather than an architectural limitation. Using Grammatical Framework, the authors create linguistically diverse variants of COGS and SLOG. They find type diversity correlates with compositional generalization equally in lexical and structural test cases, contradicting previous claims that compound divergence explains task difficulty.

arXiv cs.AI / cs.LG / cs.CL·Sep 11, 17:59 UTC · 5d agoAI research

CanvasAnneal: Curriculum Reinforcement Learning for Diffusion Language Models

CanvasAnneal injects teacher reasoning traces into diffusion canvases during curriculum RL, improving diffusion LLMs on MATH500, Countdown, and Tau2.

CanvasAnneal is a curriculum-guided reinforcement learning framework for diffusion language models that addresses exploration bottlenecks in standard RL. It warm-starts exploration by injecting teacher-generated reasoning traces into the initial diffusion canvas, then gradually removes this guidance so the model generates reasoning trajectories independently. Across mathematical reasoning and tool-use benchmarks, it improves over standard diffu-GRPO on MATH500, Countdown, and Tau2 and accelerates reward improvement, though gains are task-dependent.

arXiv cs.AI / cs.LG / cs.CL·Sep 11, 16:59 UTC · 5d agoAI research1

Mathspace breach exposes data on over a million students and parents

Mathspace confirmed attackers exploited an unpatched Metabase SQL injection flaw to steal personal data of 1,079,819 students, parents, and staff in Australia and New Zealand.

Attackers accessed Mathspace's self-hosted Metabase reporting system without legitimate login, with unauthorized access dating back to 10 August 2026 and data downloaded on 27 August. Exposed data includes names, usernames, email addresses, country, and account metadata; no passwords, academic records, SSO tokens, or API credentials were taken. Framework, Tally, and Kilo Code disclosed similar breaches via the same Metabase SQL injection flaw in August 2026.

Help Net Security·Sep 8, 08:45 UTC · 8d agoData breach in the wild

[AINews] GPT-6 Astra: OpenAI’s biggest LLM launch of all time

OpenAI launched GPT-6 Astra, its new flagship model, claiming state-of-the-art computer use, software engineering, math, and cybersecurity capabilities.

OpenAI launched GPT-6 Astra as its new flagship model, describing it as its most intelligent and aligned model with state-of-the-art computer use, software engineering, and math/science capabilities. Pricing is $10/$50 per 1M input/output tokens standard ($20/$100 fast tier), rolling out first to limited organizations, then ChatGPT Plus/Pro/Business/Enterprise, the API, and AWS. OpenAI claims 99.9% on ARC-AGI-3, 98% on FrontierMath Tier 4, and 100% on ExploitBench. Artificial Analysis scored Astra 67 on the Coding Agent Index and 61 on the Intelligence Index, behind Claude Fable 5.1, and the system card drew attention for reporting decreased chain-of-thought monitorability despite alignment gains.

Latent Space·Sep 4, 05:18 UTC · 12d agoModel release3

Thought without systematicity? Evaluating reasoning models on rule induction tasks

Study finds reasoning models often fail on structurally equivalent variants of tasks they solve, suggesting their reasoning lacks systematicity.

The paper extends rule induction tasks from cognitive science using task isomorphisms such as recombination and substitution to test systematicity in reasoning models. Despite solving tasks correctly, models frequently fail on structurally equivalent variants of the same task. The authors conclude many model behaviors lack systematicity, making it difficult to establish cognitive abilities beyond the specific evaluation contexts.

Hugging Face daily papers·Sep 11, 20:00 UTC · 5d agoAI research

PuzzleMask: Abusing Plain Prose as a Covert AI Attack Vector

Check Point details PuzzleMask, a plain-prose technique that bypasses LLM gatekeeper policy checks, letting hidden payloads reach target models unreviewed.

Check Point Research describes PuzzleMask, a prompt-crafting technique that hides policy-violating payloads inside plain-English prose wrappers, bypassing quick LLM-based policy checks without emojis, Base64, or invisible formatting. The researchers tested 23 automated prompts against gatekeepers including GPT-4o-mini, GPT-OSS-Safeguard 20b, Claude 3 Haiku, and Llama Guard 3, and all were classified as safe despite policies that flagged the plain versions. When submitted to GPT-5 in thinking-high mode with a Python interpreter, the target model extracted and acted on the payload in over 90% of trials. The technique is not itself a jailbreak but can carry a jailbreak prompt as payload; mitigations include input paraphrasing, hardened gatekeeper policies, and output monitoring.

Check Point Research·updated Sep 11, 05:53 UTC · 5d ago·first Sep 10, 14:32 UTC · 6d agoAI safety & security 2 sources

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing

Caltech professor Anima Anandkumar discusses Neural Operators and FourCastNet for physics modeling, arguing inductive biases beat pure token scaling.

Anima Anandkumar, Bren Professor at Caltech and co-founder of Accelerated Understanding, describes Fourier Neural Operators that learn in frequency and spherical-harmonic domains to model weather, fusion, and fluid or heat flow. Her team built FourCastNet 3, a global weather model competitive with physics-based simulations that runs on consumer-grade GPUs. She also introduced TorchLean, a framework for writing PyTorch-style networks inside the Lean proof assistant for formal verification, and was appointed to the United Nations Scientific Advisory Board. She argues physical domains resist scaling due to tiny datasets and context lengths in the hundreds of billions, so progress comes from built-in structure and physical priors.

Latent Space·Aug 26, 15:15 UTC · 21d agoAI research1

ukisai/Swift-Qwen3.8-27b — new model trending #30 on Hugging Face

UkisAI releases Swift-Qwen3.8-27B, a Qwen3.8-27B derivative using 58.3% fewer thinking tokens with <1% performance loss and ~1.95x speed-up.

UkisAI released Swift-Qwen3.8-27B, a reasoning-efficient derivative of Qwen3.8-27B that cuts thinking-token usage by 58.3% while staying within 1% of base performance, yielding a 1.95x speed-up on several tasks. The model was fine-tuned by penalizing reasoning-marker tokens that trigger overthinking, plus a transfer component from BottleCap AI's ThinkingCap-Qwen3.6-27B. Benchmarks include GPQA-Diamond 88.28% (base 88.38%), MMLU-Pro 84.95% (base 85.47%), and AIME 2026 94.00% (base 98.67%), with mean-token reductions of roughly 27-46% across tests. GGUF weights are available on Hugging Face alongside enterprise licensing options.

Hugging Face trending models·Sep 8, 13:35 UTC · 8d agoModel release

Diffusion Models and Concept Formation

Paper argues diffusion models implicitly form Cobweb-like concept hierarchies, with a basic level emerging at intermediate noise levels.

The authors draw a formal correspondence between diffusion models and Cobweb, a classic incremental concept-hierarchy learner, noting both are hierarchical Bayesian density models with Gaussian prototypes. Modes of the diffusion model's noisy marginals form a hierarchy whose basic level sits at intermediate noise, where class identity commits. The correspondence is tested on MNIST and Fashion-MNIST via mode-finding. Diffusion is reframed as a cognitive model of concept formation.

arXiv cs.AI / cs.LG / cs.CL·Sep 11, 16:43 UTC · 5d agoAI research

Unmasking Cloud Identities: From Behavioral Clustering to Automated Detection

Unit 42 clusters behavior of 40,000+ AWS identities from 125 cloud environments to map functional roles and enable lightweight SQL-based detection.

Palo Alto Unit 42 built an unsupervised behavioral clustering model using UMAP and HDBSCAN on AWS CloudTrail logs to map cloud identities to functional roles such as administrators, backup services, security tooling and DevOps. The study analyzed over 40,000 identities across 125 cloud environments over two months. The researchers show that heuristics extracted from the clustering map can be implemented in standard SQL, enabling role classification at scale without running a continuous ML pipeline. The methodology extends to audit logs from other cloud providers, SaaS and Kubernetes.

Palo Alto Unit 42·Sep 14, 10:00 UTC · 2d agoResearch