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…
Author: OfficeChai Team
Dotting the i's, crossing the t's.
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…
Bellatrix Aerospace: The Bengaluru Startup Building India’s Satellite Propulsion Backbone
When a rocket puts a satellite into orbit, its job is only half done. The satellite still needs to reach its precise operating…
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…
These Indian Banks Have The Most Customer Deposits
India has no shortage of banks, but there are big differences in the scale and size of their customer deposits. State Bank of…
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…