Is AI Math Solved?
Is AI Math solved? Maybe you think it is if Math Olympiad results mean “solved.” But what if “solved” means ready for reliable, production scale utilization?
Is AI Math solved? Maybe you think it is if Math Olympiad results mean “solved.” But what if “solved” means ready for reliable, production scale utilization?
(This is a repost of Elia’s original blog post at eliainsider.com) When I started developing software, the operating system handed off control to an application, the application did its thing, and when done, handed back control to the operating system. These early systems were largely single-application and linear. Control flow was simple and direct. The…
I didn’t get bad code because an LLM can’t write software. I got bad LLM code because I gave it too much freedom. I was working on a new feature for TrueMath this past week. I’d already written it before, but it lived behind an admin wall, and I wanted to elevate it for customers….
How Software Development Really Works I’ve been developing software for 40 years. I’m mostly self-taught and because of that (and my personality), I’ve spent a lot of time thinking about the process of developing software, not just the code. While most of my software development has been in small companies I founded or personal side projects, my…
Bill Kelly and I have known each other for over 20 years. Across countless conversations about software, usability, and the mechanics of getting things right, one thing eluded us: the right project to build together. Bill started playing with ChatGPT, Claude, and Gemini to write documents. Because old habits die hard*, I kept asking math…
I’ve sat at tables during funding pitches and heard a senior leader ask, “How did you determine that number?” The last answer the senior leader wants to hear is, “I don’t know.” Or worse: “I did the math and got a different answer.” In finance, this is even more dangerous. It’s a regulated industry, and…
Math you can’t audit is math you can’t use—especially in AI workflows. Language models guess; TrueMath proves. When precision, repeatability, and traceability matter, TrueMath turns natural language into deterministic, auditable calculations with full visibility into every step. Don’t settle for probabilistic math. Get results you can explain, repeat, and trust.
“LLM math is close enough. And it’s getting better!” I hear this a lot when developers (or investors) talk about LLM-generated calculations. And I get it. If all you need is a quick, “general ballpark” answer, close enough feels fine. Use it, iterate, do the hard math later. Two problems with that: 1. In regulated…
Let’s be clear: the tech is so cool! I ask a question and it gives me an answer using a wealth of knowledge from all over the web. It synthesizes information that would have taken forever to track down, helps me organize random streams of thought, and has helped me write code I never could…
End of content
End of content