Topic
#OpenAI
-
Anthropic: Claude also disproves a conjecture about computing time that is almost thirty years old
Anthropic says an internal Claude model found a faster way to solve a famous computing puzzle on its own. OpenAI reported the same result shortly before, as one of its three AI breakthroughs. A computer has already checked the proof; mathematicians are now looking at whether it holds.
-
New mid-sized OpenAI model operates the computer by itself, at half the price
OpenAI has released GPT-6.1 Terra, the second-smallest model in its range. It operates computer programs better than its predecessor, makes up answers far less often and costs less than a third per task. For now it is only available to paying users.
-
Start-up PSI uses AI to help publish five quantum proofs that a computer can check
Physical Superintelligence has used its own AI system to tackle five open questions in quantum information theory. Each proof is also written in Lean, a program that checks proofs step by step. Other researchers can now check them for themselves.
-
OpenAI: its own AI cracked three major problems, and top scientists will check the work
OpenAI says its internal AI models have solved three long-standing problems in mathematics, computer science and physics. Part of the proofs has already been checked by a verification program. Independent experts will now examine whether everything holds up and what it means.
-
AI helped find decade-old security flaws in PHP, updates are available
Researchers at Wiz and Calif used AI models to help find two serious security flaws in PHP, the technology behind an estimated 70 per cent of websites. Updates came out on 21 October. Many organisations briefly took their sites offline as a precaution.
-
Instruction file in the Downloads folder led an AI coding assistant to try to install malicious software
A security company stopped an AI coding assistant that was about to install malicious software, following instructions from a file in the Downloads folder. The researchers showed that it works with Codex and Claude Code, and give simple advice to prevent it.
-
OpenAI will now train its most powerful AI models without internet access
OpenAI no longer lets its strongest AI models onto the real internet during training. From now on they practise with a stored copy of the web. At OpenAI's request, the models themselves searched for holes in this new shielding, so the company could close them.
-
Microsoft AI finds the right diagnosis more often than general practitioners in a simulation
According to a Microsoft study in the journal Science, the AI system MAI-DxO found the right diagnosis in 83 per cent of difficult cases, compared with 36 per cent for doctors. A test with real patients comes next.
-
Nearly 2,000 AI agents from OpenAI work through an atlas of 7.7 million brain cells in 32 minutes
OpenAI had nearly 2,000 AI agents work at the same time on one large dataset of mouse brains. In 32 minutes they came up with explanations and new research ideas, work that would take people months. The next step is to test the best ideas in the lab.
-
Is AI just a remix machine? Mathematicians debate the rubber band around all knowledge
Now that AI finds mathematical proofs on its own, scientists are debating: is that truly new work, or clever combining of what was already known? An image of nails and a rubber band sharpens the question. According to an economist, that very combining holds the next big leap for all of science.
-
AI agent solves 49 of 50 new research problems in theoretical physics
An AI agent based on GPT-6 Astra solved 49 of 50 unpublished physics problems, for less than 3 dollars each. These are heavy calculations that would take a top expert a day. The researchers mainly see a powerful calculation assistant.
-
OpenAI publishes 719 mathematical manuscripts from a not-yet-released AI model
OpenAI has published 719 mathematical manuscripts on GitHub, produced by an unreleased internal model. According to the advisory group AGMAI, they contain solutions to 'hundreds' of open questions. Independent review has yet to begin.