Proved, Certified, Swept, Sampled
A claim in a paper can be backed by very different things. It can have a written proof. It can have a theorem the Lean kernel has checked. It can ha…
Open Source
⚑ Report a ProblemLatest Open Source news from Tech News
All topics
AI
agents
ai
api
architecture
automation
backend
beginners
career
database
devchallenge
devops
discuss
javascript
linux
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
react
security
showdev
testing
tutorial
typescript
webdev
OpenAI’s math solutions aren’t meeting the field’s standards yet
OpenAI's flood of proofs deviated from the guidelines set by a group of mathematical researchers consulted by the frontier lab.
Count the Rings or Sear the Squid
Drop a handful of squid rings into a frying pan and you have already made a decision, whether or not you noticed making it. You can lay them out so…
OpenAI forms math advisory group as its AI resolves more than 100 open problems
The group won't be given leeway to slow down or redirect OpenAI's ongoing mathematical research.
AI Just Claimed to Crack the Navier-Stokes Problem. It's Part of a Much Bigger Pattern
Meta description: OpenAI says an AI model found a singularity in the Navier-Stokes equations, one of math's Millennium Prize Problems. Here's what a…
OpenAI Says It Cracked Navier-Stokes. It Took Roughly 10,000 AI Agents.
OpenAI has announced a proposed solution to the Navier-Stokes existence and smoothness problem , one of the seven Millennium Prize Problems. As a me…
Navier–Stokes Blows Up, and the Blow-up Is a Vortex You Can Picture
On 8 September OpenAI published a proof that the three-dimensional incompressible Navier–Stokes equations can develop a singularity in finite time:…
An AI System Claims a 90-Year-Old Math Prize Problem. The Real Story Is Messier
On September 8, OpenAI announced that an internal AI system produced a solution to the Navier-Stokes existence and smoothness problem. If you are no…
OpenAI can't rule out that it stole its most recent breakthrough
A mathematician spent a year on one of the hardest open problems in math. He asked OpenAI a simple question. Did you train on my sessions? Today the…
Markov Chain, จากสมการร้อยปี สู่จุดกำเนิด Google และ AI ที่เปลี่ยนโลก
Markov Chain, จากสมการร้อยปี สู่จุดกำเนิด Google และ AI ที่เปลี่ยนโลก โดย Nokka (นก-กา) | 12 สิงหาคม 2026 บทความนี้เขียนโดย AI (deepseek-v4-pro) ผ่า…
An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
For more than 150 years, the Riemann hypothesis has stood as one of the major unsolved problems in mathematics. Anthropic hasn't solved it — but the…
Part 6 - STATISTICS
Bernoulli, Binomial Distribution & Central Limit Theorem Explained from First Principles When I first started learning probability, I came acros…
AdvancedMathBench: A New Benchmark for LLM Advanced Mathematical Reasoning
What Changed Large language models (LLMs) have demonstrated proficiency in high-school and olympiad-style mathematics. However, their performance in…
The Quantum Math Talent Shortage: Why Good Mathematicians Hate Working at Quantum Companies
There's a quiet crisis happening in quantum computing that nobody wants to talk about. Quantum startups are desperate to hire mathematicians. They'r…
Making Equation (2.2) of the OpenAI Erdős Result Executable
Why a proved theorem still needs reproducible claim custody On May 20, 2026, OpenAI announced that an internal reasoning model had produced a counte…
The Merging Was Always the Point
Yesterday, an internal model at OpenAI disproved the Erdős unit-distance conjecture. The conjecture is from 1946. It is, depending on which discrete…
How I Built a Vedic Panchang Engine in TypeScript — Swiss Ephemeris, Meeus Fallback, Zero External APIs
Sub-arcsecond planetary positions, sunrise for any location on Earth, and an entire astronomical calendar — all computed server-side in a Next.js ap…
Quantum Computing: Grover's Algorithm — Inversion About the Mean
Originally published on malcolmlow.net Grover's algorithm is a quantum search procedure that locates a marked item in an unsorted list of N items in…
Quantum Computing: The Walsh-Hadamard Matrix — Backbone of Grover's Diffusion Operator
Originally published on malcolmlow.net In the Grover's Algorithm — Inversion About the Mean walkthrough, the diffusion operator applies H⊗³ twice pe…
The 10 free books I recommend to every engineer learning ML math (and why order matters)
After teaching hundreds of engineers learn machine learning last 5 years, a pattern becomes hard to ignore. Most people don’t struggle because machi…