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 ...

Model Showcase 2: New Architectural Approaches in Language Models

This column focuses on open-weight models from China, Liquid Foundation Models, performant lean models, and a Titan from ...
IEEE

Design, Mathematical Modeling, and Control of an Underactuated 3-DOF Experimental Helicopter

Abstract: This article covers the design, implementation, mathematical modelling, and control of a multivariable, underactuated, low-cost, three-degrees-of-freedom experimental helicopter system ...
WinBuzzer

GPT-5.2 Pro Solves Decades-old Math Problem, but Experts Say It Reveals AI’s Limits as Much as Its Potential

OpenAI's GPT-5.2 Pro has solved multiple decades-old Erdős math problems, but Fields Medalist Terence Tao says the wins ...
New Scientist

Amateur mathematicians solve long-standing maths problems with AI

Professional mathematicians have been stunned by the progress amateurs have made in solving long-standing problems with the ...

Nvidia’s NVentures backs Harmonic AI in Series C for mathematical superintelligence

Mathematical superintelligence startup Harmonic AI Inc. revealed today that NVentures, the venture capital arm of Nvidia Corp., was among the investors in its $120 million Series C round that was ...

AI models are starting to crack high-level math problems

“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...
eWeek

GPT-5.2 Just Solved a 30-Year Math Problem

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
IEEE

A Reduced-Parameter Mathematical Surrogate Model for Improving Measurement Accuracy of Mechanical Systems Using Experimental Techniques

Abstract: Modeling of a larger mechanical system is inherently difficult due to the complexity of individual processes and the interaction between multiple processes. Using a polynomial model based on ...