Realtime AI News
Claude clears all Hadamard matrices below order 2000, striking another open problem off the math list
Chinese tech outlet QbitAI reports that Anthropic's Claude has cleared all Hadamard matrices below order 2000, removing a long-standing open problem in combinatorics from the to-solve list. The report credits the mathematician's approach as much as the model itself, a fresh sign that large models can contribute to serious mathematical research.
Chinese tech outlet QbitAI reports that Anthropic's Claude has cleared all Hadamard matrices below order 2000, striking a long-standing open problem in combinatorics off the math to-solve list.
Hadamard matrices are square matrices whose entries are only +1 and -1 and whose rows are mutually orthogonal; they appear widely in coding theory, signal processing and quantum information, and their existence question has been a classic hard problem in combinatorics for decades.
The report stresses that the breakthrough hinged on the mathematician's approach rather than the choice of model, with Claude serving as the reasoning tool in the effort.
The result is another sign that large models can contribute to serious mathematical research, demonstrating practical value in long-chain combinatorial reasoning and moving AI from a problem-solving tool toward a participant in mathematical discovery.
The report has not yet disclosed the full proof details or verification process; the open questions are whether the result can withstand rigorous peer review and whether the methods generalize to constructing Hadamard matrices at higher orders.
For the AI industry, mathematical breakthroughs of this kind are becoming a hard metric for reasoning capability, and the idea of AI clearing open math problems is moving from slogan toward reality.
Why it matters
The event shows large models can produce substantive results in serious mathematical research, pushing AI-assisted mathematical discovery from demonstration toward verifiable scientific practice.
Nearby Updates
All08/13, 19:53
Embodied-data startup SCALEFORCE closes two funding rounds in 40 days to build physical-AI infrastructure
Embodied-intelligence data infrastructure startup Yuanpoint Technology (SCALEFORCE) has completed a new funding round worth tens of millions of yuan, with investors including Hengxu Capital, Kailian Capital and a top domestic embodied-AI industry player — its second round within 40 days. The proceeds will fund the MatrixOS physical-AI operating system, a large-scale data production network, and team expansion.
08/13, 19:01
Maverick Payments integrates Findustry AI agent to automate chargeback rebuttals
Payment processor Maverick Payments has integrated Findustry's AI agent to automate chargeback rebuttals, as reported by PYMNTS. The move brings an agent into merchant dispute handling, promising lower operational burden and adding another real-world AI agent deployment in payments.
08/13, 19:00
OpenAI publishes GPT-5.6 builder's guide for faster, cheaper AI agents
OpenAI published a builder's guide to GPT-5.6 on August 13, showing startups how to build faster, more cost-efficient AI agents through smarter model selection and new Responses API capabilities. The official guide systematizes agent-building best practices, signaling a clearer path for production GPT-5.6 deployments.
08/13, 20:04
Grok 4.6 arrives, topping GPT-5.6 Sol and Fable 5 Max on agent benchmarks at $2 per million tokens
SpaceXAI has released Grok 4.6, which official benchmarks show beating GPT-5.6 Sol and Fable 5 Max on GDPVal-AA v2 and other agentic tests while priced at just $2 per million input tokens and $6 per million output tokens. The model is live in Grok Build, Cursor, Grok Bot and the API — with OpenRouter, Vercel and Cloudflare also carrying it — and is tuned for long-horizon agent tasks.