ISODS logo

News & Insights

Discover the latest news, insights, and updates from ISODS

ISODS Special Citation: Recognizing OpenAI’s Research Team for Innovations in Formal Mathematics

ISODS Special Citation: Recognizing OpenAI’s Research Team for Innovations in Formal Mathematics

The International Society of Data Science (ISODS) is pleased to award a Special Citation of Merit to the Reasoning Research Team at OpenAI. This honor recognizes their groundbreaking work in AI-driven mathematical discovery, particularly their use of extended test-time compute to generate machine-verified formal proofs using the Lean interactive theorem prover.
Announcing the ISODS Index: A Public Directory of Data Science & AI Programs

Announcing the ISODS Index: A Public Directory of Data Science & AI Programs

ISODS is pleased to announce the ISODS Index of Data Science & AI Programs, a public catalog of degree programs in data science, artificial intelligence and related fields. The index is live today at /catalog.
Collaboration Between ISODS and Vietnam

Collaboration Between ISODS and Vietnam

The International Society of Data Scientists (ISODS) have established a formal collaboration with Vietnam to co-develop, standardize, and deliver advanced training programs in artificial intelligence, cybersecurity, and data science. 
View all articles

AI & Data Science Headlines

Curated headlines from AI, ML, and data science sources around the web

via Machine Learning Mastery

Floating-Point Precision and Its Effects to Model Inference

Overview This post is divided into five parts; they are: • How Floating-Point Numbers Work • Common Precision Formats • Loading a Model at a Different Precision • Mixed Precision and Sensitive Operations • Measuring the Result How Floating-Point Numbers Work A floating-point number contains a sign, an exponent, and a significand (often called the mantissa).

Machine Learning Mastery

via KDnuggets

Free AI and Data Courses with 365 Data Science: 100% Unlimited Access until Nov 20

Get unlimited free access to 365 Data Science’s complete AI and data learning platform, including 134 courses, hands-on projects, and certifications, through November 20.

KDnuggets

via KDnuggets

How to Give Your AI Agent Memory

Learn how to give AI agents long-term memory using the OpenAI Agents SDK, Mem0, and MCP to remember preferences, context, and important information across sessions.

KDnuggets

via Hugging Face Blog

ToyBlocks: A controlled world for robot learning and evaluation

Hugging Face Blog

via KDnuggets

Top 7 Python Libraries for Time Series Analysis and Modeling

Working with time series data? These Python libraries cover everything from classical forecasting to deep learning and anomaly detection.

KDnuggets

via Machine Learning Mastery

DiffusionGemma: Hands-On with Google’s Text Model That Writes All at Once

In this article, you will learn what DiffusionGemma is, how its diffusion-based text generation differs from standard autoregressive language models, and how to run it...

Machine Learning Mastery

View all external headlines

Stay up to date

Get the latest AI and data science news delivered to your inbox.