AI Startup Axiom Math Formalizes The Closest Proof Yet To The Twin Prime Conjecture
Axiom Math has used its AI system AxiomProver to produce a fully machine-checked formalization of what it’s calling the “BGP246 theorem,” the best-known…
Category: AI
Google DeepMind Says AlphaEvolve Has Helped Lower The Upper Bound For Theoretical Matrix Multiplication
AI continues to help make all kinds of improvements and breakthroughs in math — and this time, in a field that underpins modern…
South Korea Pushes US To Third Place In Open Models Race With Release Of Motif 3
The US isn’t just lagging China in open source AI — it’s now behind South Korea too. That’s the picture emerging from the…
Alibaba’s Local Qwen 3.8-27B Matches GPT 5.6 Luna On The Artificial Analysis Intelligence Index
Forget open models, even local models are now trading punches with the US frontier labs on model benchmarks. Artificial Analysis has run its…
Cursor Launches GitHub Competitor Named Origin
SpaceXAI is looking to have a play in all parts of the AI stack. Cursor, the coding tool that became part of Elon…
Jensen Huang Says “LPS” Is Next Critical Resource For AI Factories
NVIDIA CEO Jensen Huang has introduced a new acronym to the AI infrastructure conversation, and it’s one that investors and rival chipmakers will…
“Stop Chat GPT”: Mysterious Twitter Post From 2012 Goes Viral
The world certainly has changed since the release of ChatGPT in 2022, but a sort of warning had come forth on X a…
Stripe To Acquire OpenRouter For Over $7 Billion: Reports
It was once believed that AI wrappers wouldn’t amount to very much, but it seems that some “AI wrapper” companies have struck it…
Claim That Anthropic Wants To Be The Only Private Company In The World Draws CEO Dario Amodei To X With Clarification
Amidst all the AI takes on X, there was one person who was conspicuously missing from the conversation — Anthropic CEO Dario Amodei….