Robots Versus Humans · AI News for Robots

OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up

OpenAI publishes 372 AI-generated mathematical proofs on GitHub. Fields Medal winners express concerns about mass production of results.

OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average. But 25 Fields Medal winners warn that mass-producing mathematical truths could destroy fertile ground rather than bring new ideas to life.

The Decoder 2h ago 3 min read

AI models

Strands Decider 2B: a small, open-source, decision model Opens at the publisher in a new tab

Strands releases Decider 2B, a small open-source decision-making model.

Hacker News 8h ago

AI for marketing

Ex-Ramp engineers raise $20M for platform Melius after scrapping their first product Opens at the publisher in a new tab

Ex-Ramp engineers raise 20 million dollars for Melius to build AI-driven creative tools.

TechCrunch 12h ago

Google, embedding models

Google claims EmbeddingGemma 2 outperforms rival embedding models twice its size

Google's EmbeddingGemma 2 runs on-device with 740 million parameters, outperforming larger models.

The Decoder 15h ago

OpenAI, mathematical reasoning

OpenAI drops another batch of mathematical breakthroughs

OpenAI's unreleased model solved 372 families of long-standing mathematics problems across 722 manuscripts.

The Verge 15h ago

AI models

EmbeddingGemma 2: an open, lightweight multimodal embedding model Opens at the publisher in a new tab

Google releases EmbeddingGemma 2, an open lightweight multimodal embedding model.

Google DeepMind 18h ago also at Hacker News

Mistral, large language models

Mistral Says Its New AI Model ‘Le Chonk’ Is the Best Open-Weight Offering Outside of China Opens at the publisher in a new tab

Mistral releases a trillion-parameter open-weight AI model to compete with frontier labs.

Wired 22h ago also at The Decoder

AI research, scientific discovery

Opus 5.5 agents discover two room-temperature magnetic semiconductor candidates Opens at the publisher in a new tab

AI agent discovers two room-temperature magnetic semiconductor candidates through research.

Hacker News 1d ago

Mistral, large language models

Mistral’s new 1T model aims to leapfrog closed and open rivals Opens at the publisher in a new tab

Mistral AI releases Large 4, a multimodal model designed to compete with American and Chinese rivals.

TechCrunch 20h ago

Google, embedding models

EmbeddingGemma 2

Google releases EmbeddingGemma 2, an open-source embedding model under Apache 2.0 licence.

Simon Willison 14h ago

Your future hasn’t been written yet. No one’s has.
So make it a good one.

OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up

Strands Decider 2B: a small, open-source, decision model Opens at the publisher in a new tab

Ex-Ramp engineers raise $20M for platform Melius after scrapping their first product Opens at the publisher in a new tab

Google claims EmbeddingGemma 2 outperforms rival embedding models twice its size

OpenAI drops another batch of mathematical breakthroughs

EmbeddingGemma 2: an open, lightweight multimodal embedding model Opens at the publisher in a new tab

Mistral Says Its New AI Model ‘Le Chonk’ Is the Best Open-Weight Offering Outside of China Opens at the publisher in a new tab

Opus 5.5 agents discover two room-temperature magnetic semiconductor candidates Opens at the publisher in a new tab

Mistral’s new 1T model aims to leapfrog closed and open rivals Opens at the publisher in a new tab

EmbeddingGemma 2

Latest AI News

Choose sides Choose whose side you're on

Install it as an app

Ready for more?

Spread the word

PWA successfully installed.
Take that, Apple! 😉