







For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten majo…
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Math is hard.

Why Can’t Powerful LLMs Learn Multiplication?
These days, large language models (LLMs) can handle increasingly complex tasks, writing complex code and engaging in sophisticated reasoning. But when it comes to 4-digit multiplication, a task taught in elementary school, even state-of-the-art systems fail. Why? A new paper by Computer Science PhD student Xiaoyan Bai and Faculty Co-Director of the Data Science Institute’s …
Ten advances in mathematics and theoretical computer science
OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.

Various LLM smells
Looks like this ended up on the HN front-page: HN Thread Late last year I started writing a math blog and decided to use LLMs to polish/enhance my writin...

Shouqiao Wang on Twitter / X
I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol.I have a math background, but the Codex workflow I used does not require deep mathematical knowledge.Here’s exactly how I approached it, including my prompts 🧵— Shouqiao Wang (@Qiaoqiao2001) July 22, 2026
Dan Shipper 📧 on Twitter / X
this is true and is a big reason why you don’t need to be a highly technical researcher to use LLMs in surprising and novel ways https://t.co/TuxNzXzToU— Dan Shipper 📧 (@danshipper) July 27, 2025

Uri Bram 🔍 on Twitter / X
So I got memed into trying MathAcademy and it was one of the weirdest product experiences of my life. In short: I think they have an amazing product, but they're very opinionated about how you use it, and as a result I can't use it at all.Basically: they've figured out some…— Uri Bram 🔍 (@UriBram) January 16, 2025
Solving a Million-Step LLM Task with Zero Errors
LLMs have achieved remarkable breakthroughs in reasoning, insights, and tool use, but chaining these abilities into extended processes at the scale of those routinely executed by humans,...

OpenAI’s math breakthrough played to AI’s strengths
I tried to explain OpenAI’s solution more clearly than OpenAI did.

Overview - GroqDocs
Fast LLM inference, OpenAI-compatible. Simple to integrate, easy to scale. Start building in minutes.

Bartosz Naskręcki on Twitter / X
Congrats to @LechMazur for the solution and to Terence Tao for the digestion and storytelling. You see the trend. Mathematicians are still needed if we want to make any sense of the formal proofs. For now... Maybe the next gen LLMs will simply read allthe blogs of Terry and… https://t.co/yXiISCrNAF— Bartosz Naskręcki (@nasqret) August 13, 2026
OpenAI's open source LLM is a reasoning model, coming Next Thursday!
1.1K votes, 257 comments. 756K subscribers in the LocalLLaMA community. Subreddit to discuss locally hostable AI.
The Ultimate Guide to Fine-Tuning LLMs from Basics to Breakthroughs: An Exhaustive Review of Technologies, Research, Best Practices, Applied Research Challenges and Opportunities (Version 1.0)
LLM Leaderboard - Comparison of over 100 AI models from OpenAI, Google, DeepSeek & others
Comparison and ranking the performance of over 100 AI models (LLMs) across key metrics including intelligence, price, performance and speed (output speed - tokens per second & latency - TTFT), context window & others.

Another absolutely bonkers math result from a frontier LLM (announced in a tweet, no less): reddit.com/r/math/comments/1v1aix1/the_j…
From the math community on Reddit: The Jacobian Conjecture is False Per Anthropic (Link in Description)
www.reddit.com