AI News

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

OpenAI drops another batch of mathematical breakthroughs

OpenAI has revealed solutions to a number of long-standing mathematics problems produced by an unreleased frontier model in a batch of 722 manuscripts, covering 372 result families that group related…

UniEvo-VL: Self-Distillation Training for Multimodal Model Self-Improvement

Ex-Ramp engineers raise $20M for platform Melius after scrapping their first product

The startup crossed over $1 million in anualized revenue within two months of its post-pivot launch.

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

Sharing AI Progress in Mathematics

Penguin Mail – open-source Rust email client for Linux with AI

Curiosity Over Comfort

I’m More Interested in Why Things Break Than Why They Work I don’t think I became...

OpenSCAD the Programmers Solid 3D CAD Modeller

Silicon Valley’s AI wunderkind launches Underdog, the most private Instinct/Muse competitor yet

Sigil Wen, backed by a Silicon Valley's who-who, has built an on-device AI assistant that promises to be free, fully private, and capable for everyday tasks.

Tumbler Ridge shooter's ChatGPT use "more disturbing" than known: reporter

Tesla’s Model 3 and Model Y can be a backup battery for your house

Some Tesla Model 3 and Model Y owners can use their EV battery to keep the lights on longer during a power outage, now that Tesla's expanding the Powershare Home Backup feature. It was previously only…

How AI decision models could change content moderation

On Tuesday, Musubi announced a lightweight decision model made for real-time moderation called PolicyLM-1.7B, released with open weights.

Training Text-to-Image Models Without a VAE

Meta's Muse AI agent is building a dossier on you

AI computing startup Lambda to raise $4B ahead of planned IPO

Nvidia-backed Lambda is raising up to $4 billion at a $14.5 billion pre-money valuation ahead of a planned 2027 IPO, led by Coatue and Blackstone.

The next hurdle for AI agents: getting websites to let them in

Personal AI agents promise to shop, book flights, and make reservations for you. But deliberate blocks and anti-bot defenses are getting in the way, leaving consumers caught in the middle. A new stand…

A sustainable web career, for when all this blows over