Install
OfficeChai is India’s top platform dedicated to the workplace, office buzz and Indian business. We profile interesting startups, feature inspiring career stories, break news from the corporate world, and provide a glimpse of the work culture at top organizations. - See more at: https://officechai.com/about/#sthash.deBC
- 125articles · 30d
- 2+ day agolatest article
- Aug 14, 2026earliest in window
- 87%with images
- 345avg words
- Science & Technology 80
- News 63
- Science & Nature 54
- Economy, Business & Finance 31
- Finance & Business 23
- Computers & Electronics 17
- Software Dev. 17
- STEM 17
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
After Navier-Stokes, OpenAI Says It Has Made "Substantial Progress" On Another Millenium Prize Problem
2+ day, 13+ hour ago (235+ words) OpenAI isn’t done with mathematics just yet. Days after claiming a solution to the Navier-Stokes existence and smoothness problem, the company has said it’s already sitting on progress on a second Millennium Prize Problem — one of the seven grand unsolved…...
OpenAI's Sebastien Bubeck Says He Tried To Coordinate Release Of Navier Stokes-Related Proofs With Buckmaster & Alpoge But Was Rebuffed
4+ day, 11+ hour ago (772+ words) OfficeChai Sebastien Bubeck, the OpenAI scientist at the center of the Navier-Stokes credit dispute, has posted his promised fuller account of what happened between him, NYU mathematician Tristan Buckmaster, and Anthropic researcher Levent Alpöge — pushing back on the characterization that…...
OpenAI Has Claimed To Have Produced A Proof To Resolve The Navier-Stokes $1 Million Millennium Prize Problem: Reports
4+ day, 11+ hour ago (454+ words) AI might have produced its biggest breakthrough yet. OpenAI has reportedly produced a proof cracking one of the most famous unsolved problems in mathematics — the Navier–Stokes equations — using an enormous fleet of AI agents, according to reports from Axios…...
AI Agents Finds 3 Mistakes In Theoretical Physicist's Wiki, Claims $100 Prize 20 Years Later
4+ day, 13+ hour ago (667+ words) AI Agents Finds 3 Mistakes In Theoretical Physicist’s Wiki, Claims $100 Prize 20 Years Later OfficeChai Twenty years is a long time for a bounty to go unclaimed. Long enough that the person who posted it had all but forgotten about it. Long…...
Terrance Tao Calls Buckmaster & Alpöge's Fluid Dynamics Proofs "A Remarkable Achievement", Says Could Help Solve Navier-Stokes
4+ day, 22+ hour ago (632+ words) OfficeChai Fields Medalist Terence Tao — widely regarded as one of the best living mathematicians — has weighed in on the fluid dynamics results published today by NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, calling the work a “remarkable achievement” and saying…...
Mathematician Tristan Buckmaster Says He Cracked a Fluid Dynamics Problem With AI, Accuses OpenAI of Trying to Take Credit
4+ day, 22+ hour ago (305+ words) A NYU mathematician has published a striking statement this week: a genuine breakthrough on some of the hardest open problems in fluid dynamics, achieved with heavy help from AI models — followed immediately by allegations that OpenAI tried to muscle in…...
Terrance Tao Explains How AI-Powered Math Proofs Could Be A Net Negative For Math
1+ week, 20+ hour 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
1+ week, 22+ hour 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…...
Anthropic Researcher Says Claude Helped Build a Complex Structure on S⁶, Taking Aim At The Unsolved Hopf Problem
2+ 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…...
AI Startup Axiom Math Formalizes The Closest Proof Yet To The Twin Prime Conjecture
3+ 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…...