Tootfinder

A look at Axiom, which is building AxiomProver, an "AI mathematician" it claims has solved at least four previously unsolved math problems (Will Knight/Wired)
https://www.wired.com/story/a-new-ai-math-ai-startup-just-cracked-4-previ…

A New AI Math Startup Just Cracked 4 Previously Unsolved Problems
Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

I'm not too much of a Podcast person. But I do listen to 1 or 2 from time to time. But if you like content related to science and curiosity you have to listen (or watch on YouTube) to The Rest Is Science podcast with Professor Hannah Fry and science creator Michael Stevens (Vsauce).
If you don't know who #Vsauce is, you're missing a lot. He's like the Best Friend you neve…

Dr. Gladys West,
the pioneering mathematician whose work laid the foundation for modern GPS technology,
has died. She passed away Saturday, surrounded by her loving family. She was 95.
Born into poverty on a Virginia farm during the Jim Crow era, West grew up in a segregated South where opportunity was scarce.
Through determination and extraordinary academic talent,
she graduated first in her high school class and earned a scholarship to Virginia State College …

Dr. Gladys West, Mathematician Whose Work Made GPS Possible, Dies at 95
ALEXANDRIA, VA — Dr. Gladys West, the pioneering mathematician whose work laid the foundation for modern GPS technology, has died. She passed away

Q&A with Terence Tao on AI-generated Erdős solutions, "cheap wins", hybrid human AI contributions, push-of-a-button workflows, new ways of doing math, and more (Matteo Wong/The Atlantic)
https://www.theatlantic.com/technology/2026/02/ai-math-terrance…

The Edge of Mathematics
Terence Tao, the legendary mathematician, explains the promise of generative AI.

It's always lovely to have the doubters get their asses academically kicked when it comes to Ada Lovelace's actual mathematical capabilities, but at the same time, I am so, so, so tired. Just so very tired. From an open access 2017 Historia Mathematica article debunking the idea that Lovelace was not a competent mathematician.

In the rush to scale neural networks, we have fallen into a category error: believing that a perfect simulation of an intelligent behavior is the same thing as the existence of intelligence itself.
https://www.ocrampal.com/chasing-our-own-t

Chasing Our Own Tail: Self-Reference and the Limits of any Academic Discipline
Marcus Doubtful, a physicist turned philosopher. Richard Trad, a mathematician turned philosopher. Both have spent decades thinking about the foundations of knowledge, but they've reached very different conclusions. Richard: Marcus, I've been reading your recent work on disciplinary self-reference. While I find your historical analysis interesting, I think you're making

On the mathematician Percy Heawood,
“A well-loved but somewhat eccentric figure, he set his watch just once a year on Christmas Day and considered a day as wasted if he failed to attend at least one committee meeting.”
boggle!