刚刚，谷歌AI破解外星人难题，打破十年纪录，自己写算法震撼诺奖得主
就在刚刚，谷歌DeepMind又出神功了。他们开发的系统AlphaEvolve，在极值组合学问题上取得突破，一次性改进了五个经典拉姆齐数的下界!
刚刚，GPT-5.2Pro独立证明45年未解的埃尔德什猜想！
刚刚，GPT-5.2Pro又破解了一道埃尔德什猜想。论证过程由菲尔茨奖得主陶哲轩证明没有问题，并且给予了高度评价，称其为“AI 解决开放性数学问题中“最明确的案例之一”。
从范畴论句法到序位逻辑语义：二十一世纪数学语言的范式跃迁
MethodFile availableFrom Categorical Syntax to OP Logical Semantics: The Paradigm Shift of Maths in the 21st CenturyAugust 2026DOI:10.
45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误
OpenAI最新模型GPT-5.2 Pro刚刚独立证明了一道埃尔德什猜想。这道题是埃尔德什问题库中的第281号，由传奇数学家保罗·埃尔德什与罗纳德·格雷厄姆于1980年共同提出，涉及同余覆盖系统与自然密度的深层关系。
UGNX高速铣削编程（干货知识）
每天进步一点，未来可期。找到我的，百分百会发。
花了1.4亿投18家公司，投资界大佬：“拿错钱”比拿不到钱更危险
文 / 游戏那点事 零、西泽步“能组合，就别单押。”前几天，在科隆国际游戏展开发者大会（gamescom dev）上，Behold Ventures投资团队成员Ali Farha带来了一场题为《Funding the Game》的分享。
物理学家破防，500页博士论文手算1年，Opus 5.5只用10小时
物理学教授Emre Onur Kahya，把自己博士期间耗时整整1年、手写了近500页的量子引力推导过程，喂给了Claude Opus 5.5。结果，Opus 5.5只用了10个小时，就彻底复现了整个计算!
Intel“谎言”终被戳穿？100/200系主板或完美支持八代酷睿
当初八代酷睿LGA1151不兼容200系芯片组主板更让不少人伤心。可当时间证明这一切越来越像是一场谎言的时候，身为消费者的你会有这样的想法呢。
RustChinaConf 2026圆满举办，非凸科技钻石赞助并带来实践分享
10月16—17日，RustChinaConf 2026在深圳成功举办。
45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误
OpenAI最新模型GPT-5.2 Pro刚刚独立证明了一道埃尔德什猜想。直到2025年1月17日，一位名叫Neel Somani的研究者把这道题扔给了GPT-5.2 Pro。