Sharing AI progress in mathematics
Hacker News 热度 839 分，764 条讨论。讨论地址：https://news.ycombinator.com/item?id=49984923
Mistral Large 4
Hacker News 热度 1764 分，1042 条讨论。讨论地址：https://news.ycombinator.com/item?id=49977979
Opus 5.5 agents discover two room-temperature magnetic semiconductor candidates
Hacker News 热度 482 分，328 条讨论。讨论地址：https://news.ycombinator.com/item?id=49970667
Mistral Large 4: "Le Chonk"
Hacker News 热度 519 分，5 条讨论。讨论地址：https://news.ycombinator.com/item?id=49978116
OpenTPU – An open-source AI accelerator, developed by AI
Hacker News 热度 282 分，335 条讨论。讨论地址：https://news.ycombinator.com/item?id=49980715
DLSS 5 正式版体验：十年没进步的游戏画面，英伟达怎么让它以假乱真？
不只改变画面，更改变画面的生产流程 #欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。
Meshy 跻身 a16z 消费级 AI 应用月收入 Top 50，为榜单唯一 AI 3D 公司
在 a16z 首份消费级 AI 应用月收入榜单中，Meshy 位列第 31 名，与 OpenAI、Anthropic、Canva、Superhuman、Higgsfield 等共同上榜
Meshy 跻身 a16z 消费级 AI 应用月收入 Top 50，为榜单唯一 AI 3D 公司
在 a16z 首份消费级 AI 应用月收入榜单中， Meshy 位列第 31 名，与 OpenAI 、 Anthropic 、 Canva 、 Superhuman 、 Higgsfield 等共同上榜 加州硅谷， 2026 年 10 月 5 日 —— 全球领先的 AI 3D 多模态模型公司 Meshy 今日宣布，公司入选由硅谷风险投资机构 Andreessen Horowitz （ a16z ）发布的 “ 消费级 AI 应用月收入 Top 50” 榜单。 Meshy 位列第 31 名，是榜单上唯一一家 AI 3D 公司，与 OpenAI 、 Anthropic 、 Canva 、 Supe…
OpenAI drops another batch of mathematical breakthroughs
OpenAI has revealed solutions to a number of long-standing mathematics problems produced by an unreleased frontier model in a batch of 722 manuscripts, covering 372 result families that group related papers. It extends a run of breakthroughs that have both impressed and unsettled parts of the mathe…
How AI decision models could change content moderation
On Tuesday, Musubi announced a lightweight decision model made for real-time moderation called PolicyLM-1.7B, released with open weights.
AI computing startup Lambda to raise $4B ahead of planned IPO
Nvidia-backed Lambda is raising up to $4 billion at a $14.5 billion pre-money valuation ahead of a planned 2027 IPO, led by Coatue and Blackstone.
How Jump Trading is scaling quant research with ChatGPT
Jump Trading uses OpenAI to expand quantitative research. See how longer-running AI workflows combine multiple data sources with human review.
Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
The next hurdle for AI agents: getting websites to let them in
Personal AI agents promise to shop, book flights, and make reservations for you. But deliberate blocks and anti-bot defenses are getting in the way, leaving consumers caught in the middle. A new standard aims to help.
Google is about to remove free access to Gemini Flash and Pro
Starting on October 9th, anyone using Google Gemini on a free plan will be limited to the Flash Lite model. Free users can currently choose from Gemini Flash Lite, Flash, and Pro, but now you'll need a $4.99/month Google AI Plus subscription to access the standard Flash model. However, that subscri…
网球机器人火了，但好生意要从“有效付费小时”算起
网球人口增长、陪练稀缺、资本加码，网球机器人迎来机会。但出货量只能证明有人买，有效付费小时才检验生意能否持续。
Atlassian and OpenAI expand partnership to turn enterprise knowledge into action
Atlassian and OpenAI are expanding their partnership to connect frontier models with enterprise knowledge and help teams plan, build, and deliver work.
Ex-Ramp engineers raise $20M for platform Melius after scrapping their first product
Instead of helping marketers manage and optimize ad spend, the company is focusing on building the tools that generate the creative assets and campaigns.
Hark releases an AI personal assistant with a focus on privacy
The AI lab's personal assistant is an operating system from the future designed to compete with Muse, Dots, and Instinct.