Artificial Analysis's Intelligence Index v5 has been updated, adding two new benchmarks and implementing three upgrades.
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.
Progress was shared on zkSNARK, a cryptographic proof uniquely suited for provable inference in large language models.