新鲜事
2月7日
2月6日
AI初创公司连破四项百年数学谜题
2026年数学界头条
生多点靓仔咯:
Axiom Prover
普特南竞赛表现：在 2025 年 12 月的普特南数学竞赛中，Axiom Prover 在 Lean 环境中自主解决了 12 道题目中的 9 道，成绩位列第一，并达到“普特南 Fellow”（前五名）的水平。
埃尔德什猜想：12 月 3 日宣布其 AI 系统在无人干预的情况下，攻克了困扰数学界数十年的两道埃尔德什难题。
其他突破：近期利用 AI 系统破解了包括 Chen-Gendron 猜想和 Fel 猜想在内的 4 个此前未解决的数学问题。
产品愿景：公司不以“替代数学家”为目标，而是构建“人机共写”的新一代数学基础设施。目标是让模型负责穷举与形式化，数学家负责直觉与价值判断，从而缩短发现周期。
5
口服新药展现惊人降脂潜力，效果胜过打针
新药enlicitide让胆固醇水平骤降60%
游客客客客:
#@[凉茶]13864778#不是，血液中胆固醇高会造成心血管疾病。
要避免胆固醇过高，注意食物胆固醇含量几乎无效，因此美国饮食指南2015-2020年版不再建议胆固醇摄取量]。这是因为身体合成的胆固醇远大于由食物摄取的胆固醇，而饱和脂肪、反式脂肪及自由基会刺激身体合成胆固醇、最新研究显示红肉的瘦肉部分也会增加胆固醇合成。
4
2月5日
2月4日
权贵阶层何以免罪：爱泼斯坦案背后的系统性不公
关于精英逃避责任时的道德共谋
momoonfly:
东大吃瓜群众：这是你选的，偶像，耶稣都帮不了你，只能靠自个，你说你有枪能反，我还说你懦夫只会悼念鲜花摆蜡烛呢
6
他汀类药物为何让人腰酸腿疼
研究找到药物副作用的精准开关
二狗子的美腿:
是的，我老爹血压高血脂高，原来吃立普妥就说腰痛，换了阿乐不但腰痛还恶心。集采后吃过一次那个医院给开的小厂产的，直接呕吐头痛。
现在只吃立普妥了，一分价钱一分货啊
3
2月3日
加拿大：与70后相比，00后年轻人的精神病发病率高70%
这可能与药物滥用、经济压力和育龄推迟相关。
蛋友24d4d7472b0e:
我一直不相信麻危害比烟酒低这洗地说法，一个能高强度刺激大脑的东西，不损伤大脑是不可能的
7
连电影系学生也坐不住了：被短视频毁掉的观影体验
注意力危机下的“2倍速”人生
碧蓝右耳:
好莱坞大片，开场5-10分钟内必有一段大活。动作片的话，至少是一场大战，恐怖片的话，第一个死者已出现，爱情片，双方已就位，悬疑片，谜题直接摆出来。之后每隔20-30分钟，要来一场高潮，片尾前10分钟还有一场最高潮，看得观众心满意足。这个模式从60年代就固定下来了。也就老式文艺片，磨磨叽叽至少半个钟，主角团第一个人才刚上场。现代观众哪受得了。
11
2月2日
宇宙本是静止，时间或许只是量子纠缠产生的幻觉
时间之箭可能仅仅是测量行为留下的记录
四两勃千斤:
这篇文章每个字就在那里，我安照顺序读入大脑，并影响到了一些神经突出的电信号分布，随后键入这串文字，改变了遥远某处服务器里的比特，时间是我，我组成时间？
10
2月1日
长期在水下的潜水员也会产生类似宇航员看地球那样的认知转变
海洋版的“上帝视角”
莫问:
首先声明我是没上过太空的（狗头），水性不错所以经常静心在水底去感受，重力平衡改变，声音传播改变，透视改变，压力感改变确实很微妙的，有一种各种声、光、色、压力状态都被水的流动质感而由原来的直接感变得有波动性。
1
肾结石为何防不胜防，科学家发现里面居然躲着活细菌
肾结石并非只是石头
fosidea:
这确实是个新发现，不过如果一家里很多人结石，建议先装个RO膜反渗透饮水机，还有人买矿泉水煮饭的，先换成纯净水，另外天天泡茶喝的也可以停了，不踩这些雷再说喝水少，家族史，运动少之类的原因。
4
1月31日
1月30日
Win11的更新补丁又翻车了，可能导致无法开机
具体补丁编号为KB5074109
rainbowflesh:
隔壁insider的质量更新会影响dwm服务, 插了个小黄鸭外部提权救活, 之前也有一次更新出同样的问题.
等今年 sbeamdeck 好好带动一下linux gaming, 以后再也不用碰印度产品.
7
因婚外情和饮酒，印尼妇女被鞭刑打晕
她被鞭打140下，其中100下是因为非婚性行为，另外40下是因为饮酒。
MOMO1110111:
白帽子国家是这样的，女的从小还要割掉阴唇，然后缝合外阴，只留一个小口子拉尿
5
