Author name: Marko

AI News, News

OpenAI is ending API access to fan-favorite GPT-4o model in February 2026

OpenAI has sent out emails notifying API customers that its chatgpt-4o-latest model will be retired from the developer platform in mid-February 2026,. Access to the model is scheduled to end on February 16, 2026, creating a roughly three-month transition period for remaining applications still built on GPT-4o.An OpenAI spokesperson emphasized that this timeline applies only […]

Archaeology News, News

Fossils reveal a massive shark that ruled Australia in dinosaur times

Around 115 million years ago, northern Australia’s seas hosted a colossal shark that rewrites what we thought we knew about early ocean predators. New fossil discoveries show that modern-type sharks were experimenting with gigantic sizes far earlier than scientists believed, competing with the marine “monsters” of the dinosaur age. Source: All Top News — ScienceDaily

AI News

Lean4: How the theorem prover works and why it's the new competitive edge in AI

Large language models (LLMs) have astounded the world with their capabilities, yet they remain plagued by unpredictability and hallucinations – confidently outputting incorrect information. In high-stakes domains like finance, medicine or autonomous systems, such unreliability is unacceptable. Enter Lean4, an open-source programming language and interactive theorem prover becoming a key tool to inject rigor and

News

NASA Awards Liquid Hydrogen Supply Contracts

Credit: NASA NASA has selected Plug Power, Inc., of Slingerlands, New York, and Air Products and Chemicals, Inc., of Allentown, Pennsylvania, to supply up to approximately 36,952,000 pounds of liquid hydrogen for use at facilities across the agency. The NASA Agency-wide Supply of Liquid Hydrogen awards are firm-fixed-price requirements contracts that include multiple firm-fixed-price delivery

Ai hub, AI Knowledge, AI News

Lean4: How the theorem prover works and why it's the new competitive edge in AI

Large language models (LLMs) have astounded the world with their capabilities, yet they remain plagued by unpredictability and hallucinations – confidently outputting incorrect information. In high-stakes domains like finance, medicine or autonomous systems, such unreliability is unacceptable. Enter Lean4, an open-source programming language and interactive theorem prover becoming a key tool to inject rigor and

Ai hub, AI Knowledge, AI News, News

Anthropic’s Claude Opus 4.5 is here: Cheaper AI, infinite chats, and coding skills that beat humans

Anthropic released its most capable artificial intelligence model yet on Monday, slashing prices by roughly two-thirds while claiming state-of-the-art performance on software engineering tasks — a strategic move that intensifies the AI startup's competition with deep-pocketed rivals OpenAI and Google.The new model, Claude Opus 4.5, scored higher on Anthropic's most challenging internal engineering assessment than

News, Space News

NASA’s 2025 Astronaut Candidates: Shaping Artemis Exploration 

5 Min Read NASA’s 2025 Astronaut Candidates: Shaping Artemis Exploration  NASA’s Johnson Space Center Director Vanessa Wyche introduces the agency’s 24th astronaut class on Sept. 22, 2025. Credits: NASA/James Blair When NASA’s 2025 astronaut candidates arrived at the agency’s Johnson Space Center in Houston this fall, they stepped into history, sharing a common mission to

Ai hub

LSAH Newsletter

1 min readPreparations for Next Moonwalk Simulations Underway (and Underwater) Reid Wiseman finds a little peace and quiet in the station’s Destiny lab.NASA The Lifetime Surveillance of Astronaut Health (LSAH) program collects, analyzes, and interprets medical, physiological, hazard exposure, and environmental data for the purpose of maintaining astronaut health and safety as well as preventing

Scroll to Top