Axiom Math wants to keep AI slop out of mathematics
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 librar
-
-
Tencent releases Hy4 with vision and computer use, claims second place among Chinese AI models
Tencent has unveiled Hy4, its first multimodal language model that understands images and can operate software on its own. On the Artificial Analysis Intelligence Index, it scores
-
Detecting signs of hypertension using wearable sensors
Health & Bioscience
-
The Wizard of Open Weights: Chris Alexiuk Makes AI Easy With Open Models
Chris Alexiuk has a simple rule about open source AI: If you believe in it, be loud about it. “We should be shouting about this technology from the rooftops,” said Alexiuk, a Toron
-
More Performance From Every Byte: How Full-Stack Codesign Solves AI’s Memory Challenge
Larger models, longer contexts and agentic applications are increasing GPU memory pressure while supply tightens and prices rise — a trend expected to continue through the near ter