This would make a good #MathSky post!
This would make a good #MathSky post!
Interesting news and discussion from @teorth.bsky.social about #Google using #Lean to formalize #Mathematics conjectures. #Science #MathSky
Terence Tao (@tao@mathstodon.x...
This is my only #Mathematics publication so far, but I am proud of it. It explores the domains of validity of approximations of the Fermi-Dirac distribution. It's a rich space as temperature T, mass m and chemical potential μ all compete. #Science #Physics #MathSky
DOI: doi.org/10.1007/s107...
Nicușor Dan, the new president-elect of #Romania, is also a mathematician with 2 Olympiad gold medals (1987-88). He competed among Fields medalists Ngô Bảo Châu, Terence Tao, Stanislav Smirnov, and Elon Lindenstrauss. Wowza. #Science #Mathematics #MathSky
Real-World Math That Boosts Student Achievement with Dr. Erin Krupa on the CoolCatTeacher
#MathChat #MathSky #iTeachMath
https://www.coolcatteacher.com/e901/
Had a go at the @TMiP animation challenge for May!
Well, the prompt was "Pythagoras" so I couldn't not, could I?
https://youtu.be/7-RczmawZt4?feature=shared
(I hope it's okay to share as well as submit!)
Terrence Tailo using #AI to help generate a #Mathematics proof using #Lean. This is the kind of stuff I hope AI gets used for more often. #MathSky #Science
Formalizing a proof in Lean us...
I'm enjoying this trend in social media in #Physics and #Mathematics of "Noether-posting." #Science #MathSky
RE: https://bsky.app/profile/did:plc:spntwdzth6sbgj3trq7flqyu/post/3lnvt6w5mxo42
A puzzle for students of all ages.
What's your Erdős number? Mine is 5. #AcademicSky #MathSky #Math
mathscinet.ams.org/mathscinet/f...
MathSciNet
New blog post! "Mental Math Monday" summarizing last week's question and many different calculation strategies.
#MTBoS #iTeachMath #T3Learns #MathChat #MentalMathMonday #MathStratChat #ElemMathChat #MathSky #MathsToday #ClassroomMath
Thanks to Howie Hua!!!
https://karendcampe.wordpress.com/2025/04/07/mental-math-monday/
Maths Mastermind - Day 79
BOOST YOUR BRAIN POWER WITH THIS FUN #MATHEMATICS #PUZZLE !!!