SevenTnewS

open source

20 published articles

LLMs & Models3 min read

Remote Sensing AI

Smarter tokens just cut satellite AI costs by threefold without losing accuracy

Ai4earth's OlmoEarth v1.1 cuts compute costs by up to 3x over v1 for satellite image analysis, using a smarter token merging technique that maintains performance. The updated models enable cheaper planet-scale map refreshes for partner organizations.

2026-07-13

LLMs & Models4 min read

Lean 4

Leanstral 1.5 proves the old rules of AI pricing don't apply to math

Leanstral 1.5, a 6B active-parameter model, saturates miniF2F, solves 587 PutnamBench problems, and uncovers 5 previously unreported bugs in open-source repositories. At roughly $4 per problem, it undercuts Seed-Prover by 75x and Aleph Prover by 15x, challenging the assumption that formal verification requires massive compute budgets.

2026-07-12

Open Source4 min read

Open Source

Ai2 cracked open every drawer in the AI cabinet, here's what's inside

Ai2 releases Olmo 3, a fully open model family from 7B to 32B, including training data, code, and tools. The release emphasizes transparency across the entire model lifecycle, from pretraining data to post-training pipelines, setting a new standard for open AI research.

2026-07-11

LLMs & ModelsFeatured4 min read

Open Source Infrastructure

Your AI search pipeline is broken. This open-source framework fixes the plumbing.

Teams building AI search infrastructure still spend too much time on plumbing. Search Toolkit unifies ingestion, retrieval, and evaluation into a single open-source framework, eliminating the weeks of integration work needed to stitch together separate tools. It's designed for enterprise use cases like RAG quality, domain-specific retrieval, and agentic search.

2026-07-11

AI Agents3 min read

AI Agents

OpenManus just killed the invite wall for AI agents. Here's how to run it in ten minutes.

OpenManus is an open-source AI agent framework anyone can install and run immediately: no invite code, no gimmicks, just a Python environment and an API key. Here is why you need it.

2026-07-11

Open Source4 min read

Open Source Robotics

LeRobot v0.6.0 imagines the future during training, then makes inference free

LeRobot v0.6.0 introduces world model policies that imagine the future during training and vanish at inference, a new rewards API, six simulation benchmarks, and faster data loading. The framework aims to democratize robot learning with leaner code and cloud training options.

2026-07-11

Meta AI7 min read

Special Report

Meta AI's open-source bet just broke the business model of its rivals

Mark Zuckerberg is spending billions on a bet: that the best way to build AI is to give it away. This is the story of the lab leading the charge, the people, the philosophy, and the debate that won't fade.

2026-07-10

LLMs & Models3 min read

Artificial Intelligence

Nvidia's new audio model does five jobs at once and beats the specialists at their own game

Nvidia's Audex unifies audio understanding, generation, and text reasoning in a single model, matching or beating task-specific systems on speech and audio benchmarks without sacrificing text performance.

2026-07-09

DeepSeek2 min read

Artificial Intelligence

DeepSeek-OCR 2 Brings Visual Causal Flow to Open-Source Document Understanding

DeepSeek-OCR 2 introduces Visual Causal Flow for human-like visual encoding. Now open-source on GitHub, the model supports vLLM and Transformers, dynamic resolution (up to 1,216 visual tokens), and document-to-markdown conversion.

2026-07-09

AI3 min read

Artificial Intelligence

Kimi K2.7 Code is faster and cheaper. But open-source coding just hit a wall called GPT-5.5.

Moonshot AI's Kimi K2.7 Code makes big gains on long-horizon coding tasks with 30% less token waste. Yet GPT-5.5 and Claude Opus 4.8 still lead on key benchmarks, highlighting the real-world trade-offs of open-source decisions.

2026-07-09

LLMs & Models3 min read

Model Evaluation

Ai2's olmo-eval gives LLM developers a microscope for every checkpoint

Ai2's olmo-eval brings per-question diffs and modular benchmarks to active LLM development, helping researchers tell real progress from statistical noise.

2026-07-06

Lab5 min read

Genomic Medicine

Talos shows automated genome reanalysis can deliver new diagnoses in weeks, not years

Talos reframes genome reanalysis as a continuous, automated program rather than a rare manual event. Across a prospective cohort of 4,735 undiagnosed patients, it yielded 241 new diagnoses (5.1% additional yield) within weeks of new evidence being published, while requiring analysts to review only one new variant per 200 patients per month.

2026-07-05

← PreviousPage 1 / 2 · 20 articlesNext →