OpenAI's new "Orion" model reportedly shows small gains over GPT-4(the-decoder.com)

24 points by tiime 1 year ago | 12 comments

Qwen3-VL can scan two-hour videos and pinpoint nearly every detail(the-decoder.com)

245 points by thm 11 months ago | 75 comments

German AI consortium releases Soofi S, an open 30B model that tops benchmarks(the-decoder.com)

104 points by amai 3 months ago | 21 comments

Google engineer says Claude Code built in one hour what her team spent a year on(the-decoder.com)

27 points by ksec 9 months ago | 29 comments

An OpenAI model has disproved a central conjecture in discrete geometry(openai.com)

1339 points by tedsanders 5 months ago | 968 comments

OpenAI announcement that one of its models disproved a central conjecture in discrete geometry, with links to the proof and companion remarks.

German ruling declares Google liable for false answers in AI Overviews(the-decoder.com)

893 points by ahlCVA 4 months ago | 489 comments

The Decoder article reporting on a German court ruling that treats Google's AI Overviews as Google's own statements, making it liable for false answers.

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples(github.com)

20 points by tootie 19 days ago | 6 comments

GitHub directory in OpenAI's math repository containing hundreds of preprints of mathematical proofs and counterexamples.

OpenAI researchers warned board of AI breakthrough ahead of CEO ouster(reuters.com)

887 points by mfiguiere 2 years ago | 977 comments

Reuters exclusive reporting that OpenAI researchers sent the board a letter warning of a powerful AI breakthrough before Sam Altman's ouster as CEO.

OpenAI releases 722 math manuscripts(github.com)

9 points by jumploops 19 days ago | 1 comments

A CONTENTS.md file in OpenAI's GitHub math repository indexing a collection of 722 mathematics manuscripts covering 372 result families, with an overview PDF.

OpenAI withdraws three mathematical results(twitter.com)

355 points by sashank_1509 18 days ago | 593 comments

Tweet by Dan Roberts announcing updates to OpenAI's GitHub math repo: 6 new Lean formalizations, 19 modifications, and 3 withdrawn results.

GPT-5.2 derives a new result in theoretical physics(openai.com)

545 points by davidbarker 8 months ago | 369 comments

OpenAI post announcing that GPT-5.2 derived a new result in theoretical physics; the captured page shows only a loading logo.

Why Math Dumped OpenAI(raymyers.org)

11 points by xeonmc 9 days ago | 0 comments

A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.