Logical Intelligence Introduces First Energy-Based Reasoning AI Model, Signals Early Steps Toward AGI, Adds Yann LeCun and Patrick Hillmann to Leadership

Logical Intelligence, an artificial intelligence company developing energy-based (EBM) reasoning systems, today announced that Kona 1.0, its pioneering EBM for reasoning, will enter pilot programs ...
Xinhuanet

China Focus: Chinese researchers score breakthrough in general artificial intelligence logical reasoning

"We identified a profound duality in our research: when the proof difficulty of a geometric proposition is far higher than its construction complexity, it possesses 'aesthetic value' as an ...
Indiatimes

What’s your intelligent type? A deep dive into different types of smarts

Discover the diverse forms of intelligence beyond traditional academics. This article explores five types including naturalistic, logical-mathematical, existential, linguistic, and kinaesthetic ...
AFP

Logical Intelligence Achieves 76 Percent on Putnam Benchmark, Highlighting Shift Beyond Large Language Models to Language-free, Mathematically Grounded Models

Over the last decade, artificial intelligence (AI) has been largely built around large language models (LLMs). These systems are based on a language and guess words in a chain in the form of tokens.
Nature

Mathematical Logic and Truth Theories

Mathematical logic provides a rigorous framework for analysing the structure of mathematical reasoning, enabling a deep understanding of both formal systems and the nature of proofs. Central to this ...
NDTV

Logic And Artificial Intelligence

Alibaba released a new artificial intelligence (AI) model on Thursday, which is said to rival OpenAI’s GPT-o1 series models in reasoning capability. Launched in preview, the QwQ-32B large language ...