An article sharing the experience of training a model on demoscene data, discussing the grammar of demoscene and the possibilities of unfinished code.
The US non-profit research organization METR published a report evaluating whether AI accelerates AI development, with the cooperation of Anthropic.
Axiom Math is betting on verification technology to prevent unchecked AI proofs from flooding mathematics, with its AI agents having formally verified the major Stacks Project library.
A new AI system is presented that leverages standard consumer smartwatch sensors to passively detect signs of high blood pressure.
Discovered Materials, a months-old YC startup using AI to find chip materials, is offering $200,000 for each solution to five open materials science problems.
The article explains Agile Deliberation, a method that uses an interactive workflow and an LLM-driven optimization loop to build accurate AI image classifiers for subjective categories.