Mathematicians have found a hidden 'reset button' for undoing rotation(newscientist.com)

165 points by mikhael 1 year ago | 101 comments

Maths proof of Langlands conjecture is so complex almost no one can explain it(newscientist.com)

54 points by isaacfrond 2 years ago | 43 comments

Djb warns NSA may be weakening next-gen encryption(newscientist.com)

12 points by damien 3 years ago | 1 comments

Mathematician warns US spies may be weakening next-gen encryption(newscientist.com)

268 points by stevefan1999 3 years ago | 150 comments

Did OpenAI solve the wrong Navier-Stokes problem?(scientificamerican.com)

92 points by tomjakubowski 1 month ago | 46 comments

Scientific American article on whether OpenAI's claimed Navier-Stokes proof qualifies for the $1-million Millennium Prize only through a controversial loophole.

A maths proof that is only true in Japan(newscientist.com)

54 points by monksdream 1 year ago | 43 comments

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 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 researcher announced GPT-5 math breakthrough that never happened(the-decoder.com)

349 points by Topfi 1 year ago | 196 comments

The Decoder article reporting that an OpenAI researcher's claim of a GPT-5 math breakthrough turned out to be false.

Sharing AI progress in mathematics(openai.com)

1314 points by OfficialTurkey 19 days ago | 1488 comments

OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.

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.

OpenAI is good at unminifying code(glama.ai)

860 points by punkpeye 2 years ago | 290 comments

Glama blog post describing how OpenAI's model was used to reverse-engineer and unminify a minified JavaScript component that renders ASCII art.