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: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, 14:33
Lenovo posts record Q1 revenue of 183.4B yuan, up 43%, as AI server business booms
Lenovo reported record fiscal Q1 revenue of 183.4 billion yuan, up 43% year over year, its best-ever quarter for the period. The AI server business is entering an explosive growth phase and has become the main driver of the company's results.
08/13, 11:54
DeepSeek Releases V4 Pro Official Version, Positioned Against Fable 5
On August 13, QbitAI reported that DeepSeek has released the official version of V4 Pro, with the complete model now directly available through the API. The release is positioned against Fable 5 on multiple capabilities, signaling a head-on challenge to the current flagship leader.
08/13, 11:11
360 and 'Knowledge is Power' Magazine Launch 'Zhili Nano' AI Film Creation Platform for Science Content
Knowledge is Power magazine and 360 Technology Group jointly held a launch event for the 'Zhili Nano' science and sci-fi AI blockbuster creation platform, alongside an AI creation exchange activity. Built on 360's nano film pipeline, the platform brings AI film generation into science communication production.