4 stories

AI Models

OpenAI says its AI proved a famous computing idea wrong

OpenAI says an internal model showed that the Exponential Time Hypothesis, a widely used assumption about how hard some problems are, is false. It also claims new proofs in maths and physics. No outside expert has confirmed any of them yet.

OpenAI announced the three claimed results on Monday, October 26, and put the computer science proof and a Lean version on GitHub. Three experts, two of whom first proposed the hypothesis, will lead an open check. They say their role does not mean the claim is right.

Policy & Law

Nvidia pledges $1 billion over five years to US science

It is the largest of 11 company pledges, worth $2.4 billion, that the White House announced for its Genesis Mission. Nvidia did not say how much is cash and how much is computing.

Nvidia announced on October 8 that it will commit $1 billion over the next five years to US science. It made the pledge at a White House science summit in Washington, and names quantum computing, healthcare and energy. The White House lists it in a $2.4 billion package from 11 companies, including AMD, OpenAI, Anthropic and Google.

AI Models

Academic AI beats Stratego’s top player on a small budget

University researchers report in Nature that their Ataraxos AI beat four-time world champion Pim Niemeijer 15 games to one, with four draws. Training cost a few thousand dollars, they say.

Researchers from Carnegie Mellon, MIT, New York University and Stanford say their AI, Ataraxos, beat Stratego champion Pim Niemeijer in a 20-game online match. The work is published in Nature. Stratego hides the identity of each player’s pieces, which made it one of the last classic board games where top humans still beat machines.

Policy & Law

arXiv caps submitters at two papers a month amid AI surge

The preprint site got a record 40,363 submissions in September, about double two years earlier. It says AI tools make it easy to flood it with low-value papers, and some researchers object.

arXiv, the free site where scientists post papers before peer review, said on October 1 that each submitter may now send at most two papers per calendar month, in every subject. The rule started the same day. arXiv says AI tools are helping a small group of authors flood its volunteer moderators with low-quality work.

4 stories

AI Models

AI pioneer Jürgen Schmidhuber joins Japan’s Sakana AI

He will help guide a new lab where AI works on improving AI.

Sakana AI said on September 24 that Jürgen Schmidhuber, who co-created the LSTM neural network, is joining as Chief Scientific Advisor while keeping his current positions. He will help guide the Tokyo startup’s new Recursive Self-Improvement Lab, which wants AI to redesign how AI is built.

AI Models

OpenAI says a new model solved over 100 open maths problems

It has not named or published any of them yet.

In a September 21 post, OpenAI said an internal model in training since August 28 has solved more than 100 long-standing problems. It named none and published no proofs. It also set up an unpaid advisory group of nine leading mathematicians, hosted at the Institute for Advanced Study.

AI Models

AlphaGenome Atlas maps 9 billion DNA changes

A prediction is not a diagnosis.

Google DeepMind released a free research map of every possible one-letter change in the human genome. It can help scientists choose what to test, but laboratory and clinical proof still matter.