Lanyon AI Raises $10.6 Million for Scientific AI Lab
Lanyon AI emerged from stealth with $10.6 million in initial funding led by Dimension to build a scientific and technical AI system that generates code and proofs from formal specifications.
Stay up to date with the latest developments in artificial intelligence.
Lanyon AI emerged from stealth with $10.6 million in initial funding led by Dimension to build a scientific and technical AI system that generates code and proofs from formal specifications.
LG Electronics has opened a new smart factory in ParanĂ¡, Brazil, with AI and industrial robotics systems. The plant can produce about 600,000 refrigerators per year.
Tencent published a carbon neutrality progress report covering data center efficiency, renewable electricity use, and AI tools for emissions reductions. The company said renewable electricity consumption rose to 48.5% in 2025.
Karsan has started passenger service with its Autonomous e-ATAK bus at Efteling in the Netherlands. The route connects the park's central public transport hub with nearby hotels, accommodation sites, and visitor facilities.
DeepJudge has introduced Agent Handoff Protocol, which is designed to let users move work and context between AI platforms. Harvey plans a beta integration this month, and Thomson Reuters says it will support the protocol in CoCounsel for Legal.
HSBC Asset Management has taken an equity stake in London based Model ML, an AI company that builds workflow tools for financial services firms. The investment size was not disclosed.
Mistral AI will host third party open models on its infrastructure, starting with GLM 5.2 from Z.ai. The company also made Regional Endpoints generally available and introduced a Priority Tier in public preview.
IBM and Together AI signed a $240 million agreement to deploy NVIDIA HGX B300 systems on IBM Cloud for open source AI model inference, with availability expected in Q1 2027.
BrainChip and Orama.AOI are combining Akida with optimized machine vision models for factory defect detection, with stated power use of 4 to 6 watts and lower system costs.
Anthropic is adding invisible text watermarks to Claude outputs from models released since Aug. 2 to comply with EU AI Act transparency rules.
Inherent introduced Faraday, a 27 billion parameter AI Scientist agent trained to replicate research figures. The company said it outperformed Claude Opus 4.8 and GPT-5.5 on its Replica benchmark.
An Oklahoma Army National Guard soldier built an AI tool during a Skillquest lab that is projected to save 61,000 work hours annually across the Guard.
EMERGING and Promethean have launched The Experience Fund, a $300 million fund backing AI, automation, and data infrastructure for hospitality and experiential entertainment.
Studiosity has integrated the Artificial Intelligence Assessment Scale into its assessment platform for higher education. The framework lets educators define how AI may be used in assessment tasks.
Nagarro's management and supervisory boards have recommended that shareholders accept Persistent Systems' voluntary public takeover offer of EUR 81 per share.
Shaires Holdings has announced binding agreements for exposure to private technology and AI companies including Anthropic, Stripe, ByteDance, Moonshot AI, Figure AI, SandboxAQ, and Colossal Biosciences.
CodeMettle received an IDIQ contract to provide Terminus software licenses and support services for the U.S. Army Tactical Network Operations solution.
Pusan National University researchers developed an AI framework that uses weather data to recommend ship routes and speed profiles that reduce fuel use and peak coastal pollution exposure.
Z Squared outlined its plan to acquire power connected sites and convert them into AI infrastructure, starting with the planned acquisition of Paradox Data and its Union County campus in Arkansas.
360factors has launched a Fair Lending Compliance Testing agent for Ask Kaia Enterprise customers, aimed at helping U.S. banks and credit unions review lending data and prepare regulatory workpapers.
Daily report covering major AI developments and industry news, with both top stories and complete market updates