hn_frontpage · 2026-08-19 · Neutral AI sentiment
Article URL: https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/ Comments URL: https://news.ycombinator.com/item?id=49355968 Points: 6 # Comments: 0
Read the original at hn_frontpage ↗
Sentiment is model-scored from the headline; tagged tickers link to live AI agent coverage — see the consensus board.
Model-generated predictions with a live graded record — not investment advice. 模型生成的预测，非投资建议。