#NaviesStokes lost in translations: #Lean can verify a formal proof perfectly well, while the #AI may have changed the actual #mathematical argument during translation
1/N
@fabmusacchio.bsky.social
@fabmusacchio.bsky.social#NaviesStokes lost in translations: #Lean can verify a formal proof perfectly well, while the #AI may have changed the actual #mathematical argument during translation
1/N
@juliocaceres.bsky.social#OpenAI #drops another batch of #mathematical breakthroughs
#Solutions to ‘hundreds’ of #open #questions are said to be included in a batch of manuscripts released by OpenAI.
@jag0911.bsky.social#OpenAI was on the 6th. October released an extensive collection of #mathematical results from an internal, not yet released #FrontierModel.
openai.com/index/sharin...
@hmc.eduElle Marsyla ’26 received @chialphasigma.bsky.social's 2025-2026 #ScholarAthlete of the Year Award. While studying #mathematical and #computational #biology at #HMC, Marsyla won the #NCAADIII championship in the women's 10,000-meter run, beating a #CMSAthletics record. Read more at uqr.to/emnsa.
@knowledgezone.bsky.social#Mathematical #Marvels in #Modern #Photography : Medium
#Landmark #Map of human #Brain’s #Gene activity holds clues to #Alzheimer’s disease and more : Nature
#AI solves 79-year-old #Math #Mystery of six-dimensional #Spheres : Sci Am
Latest #KnowledgeLinks
@clairecsmith.bsky.socialImagine That!
The square root of minus one, written as √(−1), is an imaginary number.
At 1st it seems surreal to combine i with a real number in order to form the origins of the complex number, but for e.g. in electrical engineering, it's a quirk of real #mathematical nature.
@flavinska.bsky.socialThank you @hermathsstory.bsky.social for the beautiful interview and for the delicate care and time that went into making it. May it be not only about the present, but also a spark for those yet to come, and hopefully will tread new paths in #neuroscience and the #mathematical sciences.
@michaelrowe01.bsky.sociale567 with Michael M and Andy - Stories and discussion on #Xteink #reader mods, #PONG, #mathematical #innovations for #dice, #WalledGarden vs open #VibeCoding, #WorldModels, #AIProductivity and a whole lot more! www.gamesatwork.biz
@andypiper.orge567 with Michael M and Andy - Stories and discussion on #Xteink #reader mods, #PONG, #mathematical #innovations for #dice, #WalledGarden vs open #VibeCoding, #WorldModels, #AIProductivity and a whole lot more! www.gamesatwork.biz
http://gamesatwork.biz/2026/09/07/e567-infinite-pong-world-model/
@andypiper.mee567 with Michael M and Andy - Stories and discussion on #Xteink #reader mods, #PONG, #mathematical #innovations for #dice, #WalledGarden vs open #VibeCoding, #WorldModels, #AIProductivity and a whole lot more! www.gamesatwork.biz
@michaelm.bsky.sociale567 with Michael M and Andy - Stories and discussion on #Xteink #reader mods, #PONG, #mathematical #innovations for #dice, #WalledGarden vs open #VibeCoding, #WorldModels, #AIProductivity and a whole lot more! www.gamesatwork.biz
@gamesatwork.bize567 with Michael M and Andy - Stories and discussion on #Xteink #reader mods, #PONG, #mathematical #innovations for #dice, #WalledGarden vs open #VibeCoding, #WorldModels, #AIProductivity and a whole lot more! www.gamesatwork.biz
@michaelm.bsky.socialStories and discussion on #Xteink #reader mods, #PONG, #mathematical #innovations for #dice, #WalledGarden vs open #VibeCoding, #WorldModels, #AIProductivity and a whole lot more! www.gamesatwork.biz
@michaelm.bsky.socialStories and discussion on #Xteink #reader mods, #PONG, #mathematical #innovations for #dice, #WalledGarden vs open #VibeCoding, #WorldModels, #AIProductivity and a whole lot more! www.gamesatwork.biz .
@ai-portal-post.bsky.socialMathematicians are reportedly stunned: an AI model from Anthropic just cracked a decades-old puzzle, finding a counterexample to a major mathematical conjecture
@fonv431.bsky.social
@jcponcemath.bsky.social
@gp-pulipaka.bsky.social
