陶哲轩用GPT-5解决数学难题：仅29行Python代码

陶哲轩最新发帖称，GPT - 5帮他解决MathOverflow上的问题，证明序列lcm(1,2,…,n)并非高度丰数的子集。他与GPT - 5沟通生成参数，并用其生成的29行Python脚本验证，且未遇AI幻觉问题。这不是他首次用AI解题。

OpenAI单月收入突破10亿美元！算力严重不足，急需“星际之门”

OpenAI首席财务官Sarah Friar透露7月单月收入破10亿美元，因GPT - 5发布和新订阅服务，算力压力大，所以联合投资打造“星际之门”。虽GPT - 5有争议，但订阅用户增长，开发者反馈好。

成立 5 年最高估值超百亿，摩尔线程之后，又一家AI芯片独角兽争当“国产 GPU 第一股”

6月23日，沐曦集成电路IPO辅导完成，离A股上市更近一步。它成立于2020年，专注高性能GPU，产品应用广，还与书生・浦语3.0合作。虽曾被曝裁员，但已完成8轮融资。当下国产GPU厂商扎堆IPO，适配DeepSeek或带来机遇。

DeepSeek-R2尚未问世，微软小模型捡漏称王？6000样本炼出「数学作弊器」！

微软推出Phi-4推理模型系列，参数最多14B，能在本地高性能笔记本电脑上流畅运行。Phi-4-mini-reasoning在数学推理上性能超越DeepSeek-R1蒸馏模型，且参数规模更小。文章还介绍了模型特点、训练方法、性能表现及局限性等。

一个新网站上线不久，便从谷歌获得了15859次曝光和5689次点击，实际UV在7K左右。而社群里朋友良辰美的网站，昨日从谷歌拿到了21.5万次曝光和2.85万次点击。两者都是基于同一个关键词，同一个需求，但数据相差甚远，这背后的原因究竟是什么？