Install
Please confirm you are human
This browser or connection looks automated. Press and continuously hold the control for 3 seconds to enable Google-hosted web results and, when separately allowed, AI-assisted answers.
A successful check enables 100 search requests. Interactive access does not authorize scraping, systematic collection, or reuse of search output.
News
Terrance Tao Explains How AI-Powered Math Proofs Could Be A Net Negative For Math
1+ hour, 21+ min ago (535+ words) OfficeChai Fields Medalist Terence Tao has laid out a scenario in which one of the most famous open problems in mathematics gets “solved,” and mathematics is worse off for it. In a six-part thread, Tao used the Navier-Stokes global regularity problem…...
Claude Works Autonomously For 11 Days To Generate First Computer-Checked Proof Of Fermat's Last Theorem
3+ hour, 25+ min ago (457+ words) AI continues to make rapid advances in science and math. Anthropic says its AI model Claude has produced the first complete, computer-verified proof of Fermat’s Last Theorem, one of the most famous problems in the history of mathematics. The company…...
Accelerated Understanding Comes Out Of Stealth To Simulate And Discover Physics
1+ week, 3+ day ago (713+ words) OfficeChai Even as LLMs get more and more capable, interesting new approaches to AI are also gaining ground. A new startup called Accelerated Understanding has launched out of stealth with a pitch that sidesteps the language-model race altogether. Founded by…...
Anthropic Researcher Says Claude Helped Build a Complex Structure on S⁶, Taking Aim At The Unsolved Hopf Problem
1+ week, 5+ day ago (445+ words) A mathematician working at Anthropic has posted what could become one of the most consequential AI-assisted mathematics results yet: a proposed construction of a complex structure on the six-dimensional sphere, or S⁶. Levent Alpöge shared the result on X, describing it…...
Which Lab Is Behind The Viral Ox Alpha Model? These Are The Theories
2+ week, 2+ hour ago (451+ words) A “stealth” model named Ox Alpha appeared on OpenRouter and OpenCode yesterday. It was free for users for a week, and the platforms were offering 100 trillion daily tokens for its use. Many users felt that the model seemed to be…...
DeepSeek Releases V4-Flash-Vision-Exp, Matches Opus 4.8 On Some Multimodal Benchmarks
2+ week, 23+ hour ago (728+ words) OfficeChai Chinese labs aren’t only releasing flagship models, but they’re also innovating on models for specific use-cases. DeepSeek has put out an experimental model called V4-Flash-Vision-Exp, and it’s a fairly narrow addition to the company’s lineup rather than a new…...
GLM 5.3 Scores 60 On AA Intelligence Index, Three Chinese Labs Now Right Behind US Frontier
2+ week, 3+ day ago (387+ words) OfficeChai Chinese labs are building pressure in numbers behind the US frontier. Z.AI’s GLM-5.3 has landed at 60 on the Artificial Analysis Intelligence Index, tying Kimi K3 for the top spot among open-weights models and sitting just three points behind Claude Opus…...
AI Startup Axiom Math Formalizes The Closest Proof Yet To The Twin Prime Conjecture
2+ week, 3+ day ago (852+ words) OfficeChai 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 bound on small gaps between prime numbers and the nearest mathematicians have come to settling the twin…...
Google DeepMind Says AlphaEvolve Has Helped Lower The Upper Bound For Theoretical Matrix Multiplication
2+ week, 3+ day ago (723+ words) OfficeChai AI continues to help make all kinds of improvements and breakthroughs in math — and this time, in a field that underpins modern AI. Google DeepMind has announced a new record in one of the oldest open problems in computer…...
Alibaba Releases Qwen 3.8-27B, Beats Muse Glimmer 30B On Many Benchmarks
3+ week, 18+ hour ago (678+ words) OfficeChai Even as Chinese models are closing in on the AI frontier, they’re also making moves in the local models space. Alibaba has released Qwen3.8-27B, a dense multimodal model that the company is positioning as its answer to the growing crowd…...