Caresoft Global and Delhi Research Implementation and Innovation (DRIIV) signed a MoU to collaborate for talent development in India by bridging the skill gap.

NEW DELHI, Aug. 17, 2026 /PRNewswire/ — Caresoft Global and DRIIV (Delhi Research Implementation and Innovation) have signed a Memorandum of Understanding to collaborate for talent development in India. The partnership brings global manufacturing and technology intelligence into the Indian engineering, manufacturing, and education sector through a structured industry engagement model. DRIIV operates under the Office of the Principal Scientific Adviser to the Government of India, and was established on the recommendation of the Prime Minister’s Science, Technology and Innovation Advisory Council (PM-STIAC). Adroit Technologies Innovative Solutions Pvt. Ltd. joins as Implementation Partner.

India is among the world’s fastest-growing manufacturing economies, moving toward higher-value products and globally integrated supply chains. The industry is shifting quickly toward Electric Vehicles, Software Defined Vehicles, and electronics-intensive product architectures. That shift raises a persistent challenge for long-term competitiveness: developing engineers with real exposure to global manufacturing practices and technology knowhow. Indian institutions produce graduates with strong theoretical foundations, but few students have studied how world-class products are designed, benchmarked, engineered, and improved across their lifecycle.

Prof. Ambuj D. Sagar, Acting CEO, DRIIV, noted that the collaboration addresses a national priority. “India’s manufacturing ambitions will increasingly be shaped by the strength of its engineering capabilities. This initiative creates a collaborative framework through which academia and industry can complement engineering education with exposure to contemporary industrial practice.”

“The Caresoft Global Institute gives engineering institutions a structured model for engaging with industry while preserving the strength of their academic programs,” said Krishna Kumar Gaur, Head, Institutional Relations, DRIIV. “Working with universities, faculty and industry, we aim to build institutional capability that prepares students for the changing expectations of manufacturing and engineering employers.”

At the center of the initiative is Iceberg, Caresoft Global’s engineering benchmarking and technology intelligence platform, which shows how leading OEMs and suppliers make decisions on design, performance, manufacturability, quality, and cost. The collaboration will drive talent upskilling in India by deploying Centers of Excellence across the country and by running focused, multidisciplinary development programs in emerging technology sectors. These include Software Defined Vehicles, Electric Vehicles and new energy mobility, high-voltage battery systems, hybrid systems, automotive electronics, semiconductors, Artificial Intelligence and Big Data analytics. Adroit Technologies will manage operations of the Centers of Excellence, including faculty enablement, onboarding and delivery across mechanical, automotive, electrical and electronics, manufacturing, industrial engineering, computer science/IT, and AI disciplines.

For Caresoft Global, the goal is accessibility. “Every product tells an engineering story,” said Prideep Subramaniam, VP, APAC, Caresoft Global. “Through Iceberg, the engineering and manufacturing ecosystem in India will study how products are engineered, benchmarked and improved using real manufacturing intelligence. That includes Electric Vehicles, Software Defined Vehicle architectures, and the Electronics and systems behind them. The result is a deeper understanding of the decisions that shape product quality, manufacturability, performance and competitiveness.”

About Caresoft Global

Caresoft Global is a world leader in automotive benchmarking and cost reduction products and programs. Operating worldwide with over eight technology centers, the company benchmarks vehicles and systems and provides competitive insights to the global auto industry. To date, Caresoft Global has identified more than $3.5 billion worth of cost reduction opportunities for the global automotive industry. With this collaboration, the company is bringing that same engineering intelligence to the academic sector.

Marketing and Communications:
marcom@caresoftglobal.com 

Photo: https://mma.prnewswire.com/media/3008795/Caresoft_Global_DRIIV_MoU.jpg

View original content to download multimedia:https://www.prnewswire.com/in/news-releases/indias-manufacturing-future-will-be-built-by-engineers-who-understand-how-the-worlds-best-products-are-made-302852659.html

$10.6 million fundraising round led by Dimension backs a team of world-leading Princeton mathematicians and physicists building a radically new kind of scientific AI backed by mathematical proofs of correctness.

PRINCETON, N.J., Aug. 17, 2026 /PRNewswire/ — Lanyon AI, a fundamental research lab developing a new kind of scientific and technical AI, has emerged from stealth following a $10.6 million initial fundraising round led by Dimension, with participation from Industrious Ventures. Lanyon AI is targeting hard sciences: physics, engineering, GPU kernel optimization, frontier AI inference, and other mission-critical tasks, for which correctness is non-optional and mathematical precision is paramount.

In seconds, Lanyon’s AI agent, simply called Lanyon, can conjure simulations of complex physical systems, prove sophisticated mathematical theorems, and invent new state-of-the-art algorithms, with only a tiny fraction of the token and compute cost of frontier models like GPT-5.6 and Fable 5. Even more remarkably, unlike any other AI agent currently available, any code or data generated by Lanyon is provably correct by its very construction: it is mathematically impossible for Lanyon’s generated code not to match its formal specification.

Correctness by construction sounds like a miracle, but it is a natural consequence of Lanyon’s internal mathematical structure. “In 2026, why are agents still reasoning and coding in imperfect human languages?” asks Jonathan Gorard, Lanyon AI’s co-founder and CEO, “Why not have the agent read, write, and reason in a unified formal language, from which implementations and proofs of correctness can be generated simultaneously?”

Many AI companies have proposed a workflow of “autoformalization,” wherein an LLM generates a formal proof of correctness for a piece of code using a proof assistant language such as Lean. According to Gorard, such approaches are clever, but they carry the fundamental risk of misformalization, where the code and the proof don’t actually match. “Instead, what we’re pioneering at Lanyon AI is a neurosymbolic approach: having the LLM do what it’s good at – being creative and proposing interesting ideas – while exploiting symbolic methods to do what they’re good at – being unfailingly reliable and predictable.” The LLM generates a specification, and then reliable symbolic methods expand that specification into code and proofs simultaneously. If the specification cannot be rigorously proven to be correct, the code simply doesn’t generate, and Lanyon loops back to try again until it can.

Lanyon’s formal specification language has another key advantage: because it is highly condensed and domain-specific, Lanyon is not only 100% reliable, but is also extremely fast and low-cost compared to existing frontier models.

“LLMs have transformed software development and have begun making waves in formal mathematics.”, says Simon Barnett, Partner and Head of Research at Dimension, “Despite headlines featuring Olympiad-level proofs and eye-watering benchmark scores, next-token prediction still ends at ‘mostly right’, a standard that doesn’t clear the bar for flight controls, nuclear systems, or simulating chip tape-outs. This is why we’re incredibly excited to support the Lanyon team as they translate their decades of formal methods expertise into neurosymbolic DSLs that ensure alignment between an engineer’s intent, the task’s formal spec, as well as the generated math and execution code. Tomorrow’s hardest physical problems demand explicit guarantees of correctness.”

Lanyon AI is initially targeting critical industries such as aerospace engineering, space and atmospheric propulsion, and nuclear energy, where high-precision and trustworthy computational simulations are essential. “Formally verified, high-accuracy simulations are critical for solving deep scientific and engineering problems”, says Ammar Hakim, Lanyon AI’s co-founder and CTO. “Lanyon unlocks creativity and expands the scope of the solutions accessible to science and technology companies as they tackle some of humanity’s toughest challenges.”

Lanyon AI was co-founded by Jonathan Gorard, Ammar Hakim, and James (Jimmy) Juno, all formerly of Princeton University and/or the Princeton Plasma Physics Laboratory. Gorard is an award-winning applied mathematician, known previously for co-founding the Wolfram Physics Project with Stephen Wolfram. Hakim is a world-leading computational physicist, with deep expertise in fluid mechanics, nuclear fusion, and aerospace engineering. Juno is a leading plasma physicist, having developed cutting-edge methods for some of the hardest problems in laboratory, space, and astrophysical plasmas. The founding team has over five decades of expertise between them, spanning applied mathematics, computational physics, and scientific AI.

Lanyon AI Inc.
Formal verification for a computable universe

100 Overlook Center, Suite 2145
Princeton, NJ 08540

Press Contact: Brian Golden
contact@lanyon.ai

View original content to download multimedia:https://www.prnewswire.com/news-releases/lanyon-ai-emerges-from-stealth-to-build-the-future-of-scientific-and-technical-computing-302852383.html

SOURCE Lanyon AI Inc.

One week to go until AppGallery and GameCenter bring their biggest partners and hands-on experiences to Cologne

COLOGNE, Germany, Aug. 17, 2026 /PRNewswire/ — With one week to go, AppGallery and GameCenter are counting down to Gamescom 2026, where they will welcome players to five days of live gameplay, exclusive rewards, and standout titles from their global partner network. From August 26 to 30, gamers can visit the Huawei booth at Hall 7, Booth B.031, to experience some of the most popular games available on AppGallery and GameCenter.

A Lineup Built with Leading Partners

This year’s showcase brings together top developers and franchises, led by GameCenter’s Mini Games Collection, Petal Paws by SkyFu, World of Tanks Blitz by Wargaming, and MapleStory R:Evolution by Rastar Games. Fans will also find Asphalt Legends by Gameloft, State of Survival by FunPlus, Infinity Kingdom by YOOZOO, and Motto Immortal by GOAT Games, rounding out a diverse mix of racing, strategy, adventure, and casual play for visitors of every level.

Hands-On Fun at the AppGallery and GameCenter Booth

The booth is designed for players who want to jump straight into the action. Visitors can take part in game quizzes to earn rewards and join quick gameplay challenges on the booth floor and main stage, and collect stamps across different zones for a chance to win through the lucky draw. Together, these turn the space into an interactive hub where discovery and play go hand in hand.

Daily Highlights and a Key Date to Watch

Each day brings a new focus, from Mini Games and Petal Paws to MapleStory R: Evolution. The main stage adds even more excitement, with activities from Infinity Kingdom by YOOZOO, State of Survival by FunPlus and Motto Immortal by GOAT Games joining the lineup. The standout moment comes on August 29, the key date for the AppGallery booth, featuring two main stage activities: one featuring World of Tanks Blitz by Wargaming, presented as an interactive stage show combining audience quizzes and quick one-on-one gameplay challenges, and another is Asphalt Legends by Gameloft. It promises to be the highlight of the week for competitive players and fans alike.

Exclusive Offers and Prizes

Throughout the show, AppGallery and GameCenter will treat gamers to exclusive coupons offering up to 25% off across most European countries. Lucky visitors can also win a range of Huawei prizes, including HUAWEI FreeClip, HUAWEI FreeBuds 7i, and HUAWEI Band 10, along with collectible AppGallery and Game Center bags and badges.

Join the Adventure

Whether visitors come to compete, discover new titles, or simply soak up the atmosphere, AppGallery and GameCenter have something for everyone at Gamescom 2026. See you in Cologne from August 26 to 30.

Event Details:

Date: August 26-30, 2026Location: Hall 7, Booth B.031, Gamescom, Cologne Fair, GermanyFor more information:  https://www.facebook.com/AppGalleryOfficialPage/Join our Discord: https://discord.gg/appgalleryeu

View original content to download multimedia:https://www.prnewswire.co.uk/news-releases/huawei-appgallery-and-gamecenter-set-the-stage-to-play-together-at-gamescom-2026-302850782.html