@Techmeme@techhub.socialA 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…
@cdarwin@c.imDr. 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 …
@SmartmanApps@dotnet.socialBlocked by yet another dude I proved wrong with #Mathematics 🙄 and a self-proclaimed "Mathematician" no less. It's incredible how people can't deal with finding out they were wrong... just learn from it and move on, seriously. It's not that hard!
BTW here is the proof he couldn't handle
@Techmeme@techhub.socialUniversity of Virginia professor Ken Ono, one of the world's most prominent mathematicians, joins AI startup Axiom Math, which is building an "AI mathematician" (Ben Cohen/Wall Street Journal)
https://www.wsj.com/tech/ai/math-ken-ono…
@tarah@infosec.exchangeIt'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.
