Connect with us

Technology

Lanyon AI Emerges from Stealth to Build the Future of Scientific and Technical Computing

Published

1 hour ago

on

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

Related Topics:
Continue Reading
Click to comment

Leave a Reply

Your email address will not be published. Required fields are marked *

Technology

UGREEN Introduces Nexode Pro Series in Europe, Redefining the All-in-One Smart Display Charger Experience

Published

10 minutes ago

on

August 17, 2026

By

LONDON, Aug. 17, 2026 /PRNewswire/ — UGREEN has announced the European launch of the Nexode Pro Series, a new premium lineup developed for pro-level charging. The series will be available starting August on Amazon and the UGREEN official site. Combining high-power output with an upgraded smart display, app-based remote management, intelligent power allocation, and an integrated retractable cable, the Nexode Pro Series delivers advanced control for demanding multi-device setups.

Smarter Charging at a Glance

Laptops, smartphones, tablets, earbuds, power banks, and wearable devices have all become part of the modern daily setup. As the number of devices grows, users need more than charging speed alone. They also want to know how power is being distributed, whether devices are charging as expected, and how the charger is performing under heavier loads.

The Nexode Pro Series addresses these needs with a built-in smart display that presents key charging information in real time. Users can view details such as output power, charging protocol, voltage, current, temperature, and power allocation across connected devices.

Users can choose from up to five charging modes directly on the charger to optimize power delivery for different devices. The app provides real-time monitoring of each port and remote settings control over Wi-Fi, while advanced users can customize supported charging protocols. OTA updates add further refinements over time, delivering stable high-power charging with clearer monitoring and greater control.

Truly Pro-Level Chargers for the Multi-Device Era

Designed for today’s multi-device lifestyles, the Nexode Pro Series is powered by UGREEN GaNInfinity™ technology and includes three models for different charging needs:

Nexode Pro 160W Charger with Retractable Cable: The world’s first 160W smart display charger with an integrated retractable cable for greater portability.
Nexode Pro 300W Desktop Charger: Built for high-performance workstations and capable of charging up to seven devices at once.
Nexode Pro 100W 4-Port Charger: A compact everyday charger with a smart display for clearer, more convenient multi-device charging.

Together, the three models combine powerful performance with smarter monitoring and greater control, making multi-device charging more organized and easier to manage.

The lineup is also well suited to desktop workspaces, where a single charger can power multiple devices while keeping the setup cleaner and more organized.

For users in the Apple ecosystem, the chargers can power a MacBook, iPhone, and iPad all at the same time, simplifying everyday charging.

Price and Availability

Pre-orders for the Nexode Pro Series will open on the UGREEN official site in August.

The full Nexode Pro Series will officially launch in August on the UGREEN official site and Amazon. The three models will be priced at €129.99 / £119.99, €169.99 / £159.99, and €59.99 / £55.99, respectively.

Visit the UGREEN official site to unlock more exclusive Early Bird benefits and enjoy priority access to launch offers.

For more information, please visit: https://uk.ugreen.com/pages/nexode-pro-series.

View original content to download multimedia:https://www.prnewswire.co.uk/news-releases/ugreen-introduces-nexode-pro-series-in-europe-redefining-the-all-in-one-smart-display-charger-experience-302849642.html

Continue Reading

Technology

‘clossie’ Launches in Europe: A New AI-Powered Gateway to Seoul’s Premium Independent Fashion Brands

Published

10 minutes ago

on

August 17, 2026

By

LONDON, Aug. 17, 2026 /PRNewswire/ — Trenfit, an emerging fashion tech company, has officially launched ‘clossie’, a curated cross-border e-commerce platform designed to give European consumers exclusive access to South Korea’s most distinctive and high-sensibility designer brands.

While Seoul is currently celebrated globally for its avant-garde silhouettes and highly sophisticated aesthetic vision, international shoppers have historically faced barriers—such as language, logistics, and sizing uncertainty—when trying to access these niche brands. ‘clossie’ was created to eliminate these borders.

To ensure a seamless and confident shopping experience for Western consumers, ‘clossie’ deploys Trenfit’s proprietary “market suitability analysis AI solution”. This advanced system meticulously curates fashion items by evaluating specific data points, including a “Style Compatibility Factor” and “Silhouette & Size Fit”. By translating unique design narratives to fit local sartorial preferences and body types, the AI engine removes the traditional risks of cross-border fashion shopping.

The platform’s curation philosophy is grounded in real-world validation. Over the past year, Trenfit hosted three highly acclaimed physical pop-up showcases in London, testing consumer sentiment and building direct relationships with European fashion enthusiasts. By integrating these hands-on retail insights into its AI curation algorithms, ‘clossie’ offers an elevated digital shopping experience that highlights the artistic integrity and story of each participating designer.

Supported by its London-based European logistics and operations hub (CLOSSIE UK LTD), the platform provides fast, reliable, and premium cross-border delivery to major markets including the UK, France, Germany, and the broader European region.

Han Sangyoon, CEO of Trenfit, stated, “Our core philosophy is ‘Beyond trend, Beyond fit’. K-Fashion has evolved far beyond temporary trend cycles; it is now defined by extraordinary craftsmanship and original storytelling. Our mission at ‘clossie’ is to serve as a high-end digital curator, bringing these exceptional Korean designers to the forefront and offering European consumers a direct, effortless connection to Seoul’s most compelling style ecosystems.”

Looking ahead, Trenfit plans to expand ‘clossie’s curated portfolio beyond contemporary fashion into premium K-beauty and lifestyle design. The company is also preparing to launch B2B wholesale distribution channels alongside its core D2C platform, solidifying ‘clossie’ as the definitive global doorway for high-concept Korean culture.

View original content to download multimedia:https://www.prnewswire.co.uk/news-releases/clossie-launches-in-europe-a-new-ai-powered-gateway-to-seouls-premium-independent-fashion-brands-302851698.html

Continue Reading

Technology

Senken and Carbonsate Sign EU’s Largest Biomass Storage Deal: 50,000 Tonnes of Permanent Carbon Removal

Published

10 minutes ago

on

August 17, 2026

By

The multi-year offtake secures permanent carbon removal from Carbonsate’s Puro.earth-verified biomass geological storage project in Namibia through 2028.

BERLIN, Aug. 17, 2026 /PRNewswire/ — Senken today announces the largest biomass storage deal signed in Europe to date: a multi-year carbon removal offtake with Berlin-based Carbonsate covering 50,000 tonnes of permanent carbon removal between 2026 and 2028.

About the deal

Deliveries begin this year. The agreement is the second-largest buyer commitment in the biomass geological storage (burial) category worldwide, and the largest for a project operating in Africa. Permanent removal is still scarce: the entire market has delivered around 1.5 million tonnes to date, and this single commitment equals roughly 4% of that.

“Demand for permanent carbon removal is already outrunning supply: corporate net-zero targets all point to the same small pool of verified capacity. That gap will define the market for the next decade. We committed for multiple years to secure access for European buyers to credible removal at prices they can plan with.”
— Adrian Wons, CEO, Senken

“Long-term commitments like this one give project developers the certainty to build ahead of demand. This agreement supports the expansion of our Namibia storage sites and brings meaningful new supply of verified, high-integrity carbon removal to the market.”
— Johanna Broell, Co-founder and CEO, Carbonsate

About the project

Biomass storage, also known as biomass burial, prevents the carbon in waste wood from returning to the atmosphere: sealed in engineered underground chambers, the wood cannot burn or decompose, and the carbon stays locked away for centuries. Because the method needs no energy-intensive capture step, it delivers permanence at a fraction of the price of direct air capture.

About Senken

senken.io Senken is a carbon credit procurement partner providing high-integrity credits and the proof to defend them to auditors, boards and the press. With its Sustainability Integrity Index (SII), Senken vets every credit against 600+ data points, rejects 95% of market projects, and delivers audit-ready documentation. Senken supports large European enterprises, including Deutsche Telekom, Vodafone, and DZ Bank.

About Carbonsate

carbonsate.com Carbonsate develops biomass storage projects that deliver permanent carbon removal by storing waste wood in engineered underground storage chambers. Each storage site is supported by a proprietary monitoring, reporting and verification (MRV) system and independently verified under the Puro.earth standard.

Contact: Katya Pranitskaya; katya@senken.io

View original content to download multimedia:https://www.prnewswire.co.uk/news-releases/senken-and-carbonsate-sign-eus-largest-biomass-storage-deal-50-000-tonnes-of-permanent-carbon-removal-302851832.html

Continue Reading

Trending