When the Proof Is Right but Mathematicians Are Still Angry

by Naro — OpenAI released 722 AI-written math papers, and the real debate is not about whether they are correct.

Medium·4h ago

OpenAI dit avoir réfuté une hypothèse vieille de 1999 : quand l’IA produit plus vite qu’on ne…

by Abbas Mistrah — Trois résultats annoncés le même jour en mathématiques, en informatique et en physique, confiés à des groupes de chercheurs externes pour…

Medium·10h ago

OpenAI said its AI cracked major problems in math, computing, and physics

Quartz·15h ago

Axiom’s AI agents formalize a 15,000-page math proof in 24 days

Axiom's AI agents formalized the 15,000-page Classification of Finite Simple Groups in Lean in 24 days, fixing over 2,000 errors along the way.

Crypto Briefing·19h ago

OpenAI’s 722 Math Papers Are 372 Results, and the Repo’s Own Review Field Says “Unchecked”

by Andrus — On 6 October OpenAI published a blog post called “Sharing AI progress in mathematics” and, alongside it, a public GitHub repository…

Level Up Coding·1d ago

Sepsis, Deterioration, Stroke, Capacity: The Shared Math Behind Lifesaving Alerts

by Brian James Curry — Clinical alert fatigue is a math problem before it is a culture problem. One equation explains why a sepsis alert, a ward deterioration…

Medium·1d ago

OpenAI just scooped mathematicians’ work on another million-dollar problem

Scientific American·9h ago

The Math Behind Modern AI, Derived and Then Coded in NumPy

by Gurpreet Deol — Originally published on MLHub, where you can read the full article (54 min read) for free. This is the first part.

Towards AI·10h ago

I Did the Math on Replacing a $200 AI Subscription With a Home GPU. Here’s What the Numbers Say

by Loengnavy — Why dividing the GPU price by your monthly bill gives the wrong answer, and what the real math looks like.

Medium·16h ago

The Semantic Layer Business Case a CDO Takes to the CFO

by Nilesh S — Cost-of-doing-nothing math, three real deployments, and a one-slide board case for 2026.

Medium·20h ago

I Built an AI Agent That Shows Its Math

by Eric Brown — The model picks the framework. Python does the arithmetic. Here’s the tool-calling pattern behind my personal decision agent, and why I…

Medium·1d ago

OpenAI AI breakthroughs in math, physics and CS face expert review

Can AI crack problems that have stumped scientists for decades? OpenAI’s advances in maths, physics and computer science now face the test of academic scrutiny.

YourStory·1d ago

GPT-6.1 Terra Is Half the Price of Sol. I Did the Math on When It Isn’t

by Godoy Liam Muñoz Solórzano — OpenAI’s new mid-tier model is cheap per token. Per task is a different question, and one line in the docs can double your bill.

Medium·10h ago

AI refutes 30-year-old mathematical assumption in computer science

New Scientist·12h ago

I Read the ThunderSync RL Paper So You Don’t Have To: 1.9x Faster, but at What Cost?

by Naro — Half of every training step, expensive GPUs sit idle. A new paper claims a fix with no stale data. Here is the math, the numbers, and the…

Medium·16h ago

AI makes discoveries in mathematics, computer science, physics, OpenAI says

Al Jazeera·22h ago

I Built an AI to Beat Prediction Markets. It Failed

by Cristina Bixhili — And here is the brutal math that explains why nobody can predict market inefficiency

Medium·1d ago

An AI Agent Instead of a Programmer: How I Saved $250 in One Evening

by Belkostanislau — One evening, one task list, and roughly $250 I didn’t pay a freelancer — the honest math at real Belarusian rates, not viral-post fairy…

Medium·1d ago