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. 

AI & Data Science Headlines

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

via OpenAI News

Gilbert + Tobin rethinks the business of law with AI

A conversation with Sam Nickless, Partner and Chief Executive Officer at Gilbert + Tobin.

OpenAI News

via Machine Learning Mastery

Sandboxing AI Agent Code Execution in Python: Containers, MicroVMs and Beyond

You need Python 3.

Machine Learning Mastery

via OpenAI News

ChatGPT Plus for veterans and servicemembers

More than 20,000 veterans and transitioning service members have claimed a free year of ChatGPT Plus. See how they use it to prepare for civilian careers.

OpenAI News

via Hugging Face Blog

BotPsy: On-Device Personal Assistant with a Sub-Billion-Parameter Agentic Language Model

Hugging Face Blog

via arXiv cs.AI

Activation-Guided Graph Retrieval for Cognitive Memory Reconstruction in Language Model Systems

arXiv:2611.13127v1 Announce Type: new Abstract: Retrieval-augmented language model systems generally select context by query-conditioned relevance. We argue that long-lived AI systems require a second operator: activation-conditioned memory availability. We specify an architecture in which request and goal cues seed an authorized memory graph, activation and fan attenuation allocate a bounded traversal frontier, retrieved entities recursively emit cues, and a typed evidence graph is…

arXiv cs.AI

via arXiv cs.AI

Building World Models from Intrinsic Motivation

arXiv:2611.13113v1 Announce Type: new Abstract: In the absence of extrinsic rewards or task supervision, human behavior is guided by intrinsic motivation---neural signals that drive curiosity, creativity, play, and other essential facets of intelligence. Intrinsic motivation plays an important developmental role in building robust world models that enable generalization and adaptation. Yet existing studies leave open how a broad range of intrinsic motivations interacts with world-model…

arXiv cs.AI

Stay up to date

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