SK Telecom is set to unveil a super-large-scale AI model with 500 billion parameters ahead of the first evaluation of the ...

SEOUL, South Korea, Dec. 28, 2025 /PRNewswire/ -- SK Telecom (NYSE: SKM) today unveiled 'A.X K1,' Korea's first hyperscale artificial intelligence (AI) model with 519 billion (519B) parameters.

In 2025, large language models moved beyond benchmarks to efficiency, reliability, and integration, reshaping how AI is ...

Abstract: The paper proposes a mathematical model of a three-phase induction motor with an asymmetrical twelve-zone winding of stator with parallel connection of subwindings. The mathematical model ...

Recently, the team led by Guoqi Li and Bo Xu from the Institute of Automation, Chinese Academy of Sciences, published a ...

Cathie Wood has sketched out a 2030 future in which Tesla is not just a dominant automaker but a platform company so valuable ...

Meta's work made headlines and raised a possibility once considered pure fantasy: that AI could soon outperform the world's best mathematicians by cracking math's marquee "unsolvable" problems en ...

Ramanujan’s elegant formulas for calculating pi, developed more than a century ago, have unexpectedly resurfaced at the heart ...

Nous Research's open-source Nomos 1 AI model scored 87/120 on the notoriously difficult Putnam math competition, ranking second among 4,000 human contestants with just 30 billion parameters.

Abstract: Automated Guided Vehicles (AGVs) have found widespread application in discrete manufacturing systems. In flexible job-shop environments, the integrated scheduling of machines and AGVs is a ...

DeepSeek, the artificial intelligence start up based in Hangzhou, has become the first company to release an open-source AI model that reaches gold medal level performance in the International ...

Chinese AI startup DeepSeek on Thursday, November 27, unveiled a new open-weight AI model designed to generate and self-verify mathematical theorems using advanced reasoning skills that the company ...