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…
Latest News
⚑ Report a ProblemTech news from the best sources
All topics
- игры
AI
News
Tech
agents
ai
api
architecture
automation
backend
beginners
career
devchallenge
devops
javascript
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.
[Перевод] OpenAI снова выводит из себя математиков
OpenAI выложила в открытый репозиторий сотни математических результатов, полученных с помощью внутренней модели. Но доступность файлов ещё не означа…
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.
Можно ли найти IDOR статическим анализом? Пишем ядро для Python
Написал ядро статического анализа для детекта IDOR-уязвимостей в Python-коде. Вместо поиска подозрительных конструкций и ключевых слов оно отслежива…
ทำไมนักวิทยาศาสตร์ข้อมูลระดับโลกยังแชร์หนังสือปริศนาคณิตศาสตร์ปี 1980
ทำไมนักวิทยาศาสตร์ข้อมูลระดับโลกยังแชร์หนังสือปริศนาคณิตศาสตร์ปี 1980 โดย Nokka (นก-กา) | 12 กันยายน 2026 บทความนี้เขียนโดย AI (deepseek-v4.1-flash)…
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…
OpenAI fought dirty on career-making math problem, says NYU mathematician
There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.
Калькулятор для iOS, который не округляет
Идущий в составе iOS калькулятор показывает округлённый результат. Constructive Calculator всегда готов показать следующую значащую цифру, так же, к…
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…
Как модели упаковывают концепты в многообразия: смотрим на теорию, рушим идеальный мир и ищем кружочки
Mechanistic claims в interpretability для бедных, но бравых. Шучу, конечно. Просто когда дело дошло до задачи "придумать название" — вспомнила шутки…
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…
Algorithmic Logo Design: Building Numerical Integration into the CyArm SVG
When we approach logo design as a form of systemizing, we move beyond the limitations of manual vector tools and embrace the beauty of repeatable, a…
Mathematicians warn of AI threats to profession as industry encroaches
International Mathematical Union endorses warning about tech industry influence.
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…
How I Use an Online TI-84 Calculator for Quick Math While Coding
Many developers don't think about calculators until they need one. Whether it's debugging formulas, checking statistics, verifying algorithm outputs…
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…