Article · TechCrunch ·
Hardware startup Aina released a smart ring today that features a screen, a joystick, and a mic so that you can talk to your agents and take notes. The $399 ring has a speaker so you can take calls using it as well.
ArticleTechCrunch
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
ArticleTechCrunch
The system can supposedly answer queries four times faster, with 20% fewer errors and 90% fewer tokens used.
ArticleTechCrunch
Discovered Materials, a months-old YC startup that uses AI to find chip materials, is offering $200,000 for each solution to five open materials science problems.
ArticleTechCrunch2 sources
Agility arrives on the Nasdaq today as the first publicly-traded pure-play humanoid robotics company.