AM-IA brings together news, research papers and applications relating to artificial intelligence published around the world into a single feed — and makes them available in your European language at the click of a button.
Scroll to browse · Click to filter
The PAGE frame links automatic reading of the plates and human verification. Three studies cover 3,929 American comics and 87 volumes of Japanese manga.
An open framework combines independent peer review, a specialised wiki and Lean verification. The authors report high scores on several scientific tests from 2026.
Ten combinatorics problems are used to improve verified Lean bounds. A solution becomes a new record to be broken instead of removing the problem.
A study of 750 million simulated collisions links latent anomalies to physical observables. The challenge is to make the warnings usable by physicists.
Instead of building its response only from left to right, the agent refines a complete trajectory. It is evaluated on six chemistry tasks with external tools.
A world model helps the agent choose which leads to execute. The actual results are then used to improve prediction and scientific exploration.
Researchers compare eleven pre-trained interatomic potentials to DFT calculations and show that their errors explode when the atoms are compressed.
By linking ChatGPT histories given by participants to 712,930 responses, a study directly measures the use of AI on a scientific investigation platform.
An unpublished internal model is said to have produced almost all of these results from a single set of parameters. Some of this has been verified using Lean methods, but mathematicians are calling for greater transparency.
At the request of Epoch AI, workshops in six cities have selected famous conjectures for which any solution can be verified automatically. Some of them have already been proven false.
Fired near Wonsan, the missile traveled more than 700 km. Pyongyang says AI makes it impossible to intercept; Seoul and Washington dispute.
Out of 17,280 mock file evaluations, this group has the lowest average score of the eight profiles tested, while Black women with degrees receive the highest.
With about fifty exercises taken from Boltzmann's machines and the wake-sleep algorithm, Extropic increases Qwen3.6-35B-A3B from 0.127 to 0.361 on new search tasks.
Rather than having the model play the role of a researcher, the Harvard professor sets it specific mathematical and computational problems: elliptic integrals, ecology and genetics.
Almost 80% of the 3D models generated by TRELLIS had manufacturing defects. With InstructMesh, novices corrected them in about 90% of cases.
As of October 1, arXiv now accepts only two monthly submissions per submitter. The archive points to AI tools that facilitate the production of thin or sliced items.
While searching the archives of the Dutch East India Company, AI agents spotted a logbook that fills in a hole in the timeline of the missing bird.
A lightweight digital encoder processes each video, after which light does the rest as it passes through diffractive layers: 97.79 per cent accuracy, and 94.8 per cent for Veo 3 videos.
Topos Bio has released two models that generate the full range of conformations of a protein, including its regions without a fixed structure, and significantly outperforms BioEmu on PeptoneBench.
The continuity of the percolation transition remained an open question between dimensions 3 and 10. Formal proof provided by Anthropic’s models establishes this, leaving mathematicians divided.