Search

10 results on this page

FAR Automates the Search for Open Math Problems

FAR Automates the Search for Open Math Problems

Researchers propose FAR, a human-AI discovery pipeline that finds open problems from research literature, attempts solutions, and recommends promising results for expert review. In a combinatorics pilot, it narrowed 5,245 papers to 77 items for author-team evaluation and surfaced multiple potential mathematical discoveries.

Moore Threads’ Growth Comes with Big Questions

Moore Threads’ Growth Comes with Big Questions

Moore Threads’ first post-IPO half-year report shows revenue rising 147% to RMB 1.736 billion, while attributable losses narrowed sharply. However, the improvement relies heavily on concentrated cloud-computing sales, government subsidies, investment gains, and IPO-funded cash reserves rather than a clear recovery in core operations.

虎嗅Media3h ago#gpu#domestic-chips#cash-flow
Page 4