@gp-pulipaka.bsky.socialThe Manifold Sparse Vector Fields! #BigData #Analytics #AI #MachineLearning #DataScience #IoT #IIoT #Python #RStats #TensorFlow #JavaScript #ReactJS #CloudComputing #Serverless #DataScientist #Mathematics #Linux #Programming #Coding #100DaysofCode
geni.us/Sparse-Manif...
@gp-pulipaka.bsky.socialPrinciples of Tensor Calculus: Tensor Calculus! #BigData #Analytics #AI #MachineLearning #DataScience #IoT #IIoT #Python #RStats #TensorFlow #JavaScript #ReactJS #CloudComputing #Serverless #Mathematics #DataScientist #Linux #Programming #Coding #100DaysofCode
geni.us/Principles-o...
@itmatterss.bsky.socialAI can solve complex maths problems, but can researchers trust its proofs? OpenAI’s latest release of 719 mathematical manuscripts has raised questions about verification, transparency and whether AI-generated reasoning stands up to scrutiny.
@gp-pulipaka.bsky.social
@news.karthihegde.devAs AI Closed in on 'Unique Games' Proof, Researchers Raced to Beat the Machines
Discussion | hackernews | Author: bcaulfield
@mathify-dev.bsky.socialWhat Lean-Verified Actually Settles in OpenAI’s Math Release
In OpenAI’s October 2026 mathematics release, many of the 722 manuscripts come with Lean formalizations.
@jeandeslunes.bsky.social
@passagemath.orgFinal release candidate 10.8.13.rc2 of 🐙passagemath, the pip-installable modularized portable compatible full-featured fork of #SageMath; a comprehensive #OpenSource #Mathematics system in #Python.
github.com/passagemath/...
@jeandeslunes.bsky.social
@jeandeslunes.bsky.social
@gp-pulipaka.bsky.socialLinear Optimization: The Simplex Workbook! #BigData #Analytics #DataScience #AI #MachineLearning #IoT #IIoT #PyTorch #Python #RStats #TensorFlow #Java #JavaScript #ReactJS #GoLang #CloudComputing #Serverless #DataScientist #Linux #Mathematics #Programming #Books #Coding
geni.us/Linear-Optim...
@jeandeslunes.bsky.social
@mathify-dev.bsky.socialWhat Does Lean-Verified Actually Mean?
In OpenAI’s October 2026 mathematics release, 722 manuscripts are grouped into 372 families of related results. Many, but not all, come with Lean formalizations.
@jeandeslunes.bsky.social
@jeandeslunes.bsky.social
@mathify-dev.bsky.social372 Result Families, and More Proofs Than Humans Can Read
@jeandeslunes.bsky.social
@singulism.bsky.socialOpenAI Releases 337 Results on Unsolved Math Problems
#OpenAI #reasoningmodels #mathematics
https://singulism.com/en/2026-10-08-openai-math-results-release/
@predict-addict.bsky.socialIt is efficient—just like the zero they invented.
India shouldn't be importing Western clutter. It should return to elegance.
Register here to learn school math properly very soon: valeman.gumroad.com?...
#IndianEducation #VedicMath #Mathematics #Kiselev #CBSE #ICSE #MathsReform
@jeandeslunes.bsky.social