OpenAI Shares AI-Generated Solution to Navier–Stokes Millennium Problem
Summary
OpenAI has presented an AI-generated solution to the Navier–Stokes Millennium Prize Problem alongside a formal Lean proof.
Prepared by the newsroom with AI assistance; the original link is always provided
OpenAI has announced the release of an AI-generated solution to the Navier–Stokes Millennium Prize Problem. The mathematical problem is widely regarded as one of the most prominent unsolved challenges in fluid dynamics and modern mathematics.
The publication includes a comprehensive research writeup outlining the methodology, as well as a complete formal proof verified within the Lean theorem-proving environment.
Source: OpenAI
Read the original →Latest news
Bank CenterCredit Repurchases Shares for 18.2B Tenge on KASE
Bank CenterCredit JSC has repurchased 4.1 million of its common shares on the Kazakhstan Stock Exchange for 18.2 billion tenge.
Source: KASE
Home Credit Bank Bonds Added to KASE T+ List
Starting October 8, Home Credit Bank bonds (KZQ000001213, HCBNe1) will be included in the KASE T+ List.
Source: KASE
KASE Publishes Member Activity Rankings for September 2026
Kazakhstan Stock Exchange has released its exchange member activity rankings for September 2026 on its official website.
Source: KASE
KASE Index rises 0.25% to 7,862.81 points
On October 7, the KASE Index climbed by 0.25% to settle at 7,862.81 points.
Source: KASE