NederlandsTopic
#Open source
-
AI agents turn the longest mathematical proof ever into checkable code in 24 days
The American company Axiom Math had dozens of AI agents turn the proof of 'the enormous theorem' about symmetry, some 15,000 pages, into code a computer can check. Along the way they found 34 deviations in the published work, which have now been repaired.
-
AI from Google and NASA finds many more methane leaks in satellite images
Google Research and NASA built an AI model that detects methane clouds in measurements from the International Space Station. In a test it found about 50% more likely methane plumes than human analysts. The model, code and map are freely available.
-
Free tools take the brakes off Nvidia graphics cards: up to twice as much AI computing power
Free open-source tools remove a brake that Nvidia built into the firmware of its GeForce graphics cards. For AI calculations, some cards become up to twice as fast. In practice the gain is smaller, and the tools are still experimental.
-
Chinese AI model Kimi K3.1 Pro ranks fourth in independent leaderboard
Kimi K3.1 Pro from the Chinese company Moonshot AI ranks fourth in the independent leaderboard of Artificial Analysis, ahead of the newest models from OpenAI and Google. It improved most in independent computer work. Moonshot plans to release the model by 4 November.
-
Hugging Face releases open AI model that lets researchers 'talk' to DNA
With Hugging Face's Carbon-X, researchers paste a piece of DNA into a chat and ask in plain language whether a change is likely to be harmful. The model is free and runs on a researcher's own computer. It is meant for research; the next step is testing in the lab.
-
No need to take the AI's word for it: Claude delivers a mathematical proof for software
How do you know whether an AI's work is sound if nobody can read it all? Anthropic has Claude supply a mathematical proof that a small program checks step by step. This way Claude examined 123 widely used software building blocks and found hundreds of hidden bugs.
-
Nvidia lets AI agents do only what is allowed, and checks the rules in advance with mathematics
Nvidia presents OpenShell: free software that lets AI agents work in a sealed-off space. A mathematical check looks in advance at whether the rules allow more than intended, and according to Nvidia a separate chip can stop an agent within milliseconds.
-
Free coding model for the laptop was largely developed by AI itself
The AI company Recursive has released Flint, a free AI model that helps with programming and runs on an ordinary laptop. According to the company, its own research AI did a large part of the work: a first step towards AI that improves itself.
-
AI model designs working proteins from a sentence in plain language
Researchers in China have built an AI model that designs proteins from a description in plain language. In four trials, the result actually did what was asked of it: give off light, break down plastic, convert alcohol and help capture CO2.
-
A different order makes AI servers start answering more than three times faster
Engineers from Amazon and Mistral have made the open software vLLM, which many companies use to run AI models, work together more cleverly. With long questions, the first word of the answer appeared more than three times faster in their test. The new method is free to use.
-
AI researcher learns from its own work and comes up with better and better hypotheses
The young company PhAI Labs built a team of AI agents that comes up with research ideas, tests them and keeps track of what worked. The system learns from that record, and its hypotheses improved after two rounds. The code and model are publicly available online.
-
Large open AI model from DeepSeek now fits on a computer with 128 gigabytes of memory
DeepSeek's new open AI model is too big for an ordinary computer. The company Unsloth made a heavily reduced version that runs on a powerful laptop or mini computer with 128 gigabytes of memory. This costs some accuracy.
-
Physicist lets AI swap calculation methods between fields: 36 papers in three months
Harvard physicist Matthew Schwartz had the AI model Claude apply calculation tricks from one field in another. With 19 colleagues, that produced 36 scientific papers in three months, from sunspots with a life expectancy to a rainforest that changes faster than expected.
-
Home-built drone flies and steers with a single propeller
Maker Joshua Bird built a small drone at home that flies and steers with one motor and one propeller. The secret lies in a hinge in the hub and lightning-fast motor control. The design files and code are free online.
-
Nvidia releases open AI models for digital assistants on servers and laptops
Nvidia has released three new open AI models for assistants that carry out tasks on their own. The largest runs in companies' data centres; the smaller ones simply work on a laptop. According to Nvidia, the large model beats top models on specialist tasks after extra training.
