微软AI将加入明年的IMO竞赛，现在的第四个版本Lean 4还在完善中，想要让它自己证明IMO中提出来的、此前“没见过的”数学问题，依旧非常困难。而OpenAI家的GPT-f，发现的23个简短证明已被Metamath主库接收，这也是首次AI的数学证明获得业内认可。 , page 397

分享一个链接

发表一篇文章

任何有趣的，图片，热点新闻，视频，文字...

1606 位用户此时在线

关注推特

收听电报

24小时点击排行 Top 10：

小美女寥寥数语竟然讲出了绝大多数人都不敢讲的大道理。

1月8日，中国军视网发布一段士兵训练的视频，展示军人英姿。结果数万名网友在评论区冷嘲热讽：“多久攻打妙瓦底？”“龙哥又在跳广场舞了”“请相信国家，在海外亮出中国护照”

有视频有真相：一张2009年新疆维稳的帖子，引发一众退伍老兵的回忆。其中有人提到，“抗压能力差的回来接受长时间心理干预”“整村整村的干”“不分性别年龄”

中国非遗剪纸有多惊艳＃非物质文化遗产＃剪纸#手工

中共外交部從來不敢對緬甸放狠話，戰狼也從來不敢去緬甸營救中國同胞。不是因緬甸的軍事實力比台灣強大，而是中共戰狼只敢欺負文明，不敢面對野蠻。

因去河南讨要存款被以寻衅滋事罪关押336天的村镇银行储户欧阳云，已于昨日返回长沙。其妻子称，欧阳云在被关押期间减重30多斤，头发全白，脸部瘦到脱相。据知情储户称，另一名被关押的村镇银行储户施坚坚，因拒绝认罪，遭到刑讯逼供，经常被关小黑屋，疾病缠身也不给治疗。

估计这个视频习包子永远看不到 🙏😂

美食中國。中共和中國人的威脅已經不大，他們大概率已經進入系統性自毀，而中的邪惡同盟俄羅斯也日落西山。在未來，對世界最大的威脅將是伊斯蘭邪教恐怖主義組織，他們基本上已經毀滅了歐洲。

近30年美国政坛大佬齐聚卡特总统葬礼。川普夫妇入场，彭斯起身握手，彭斯太太没鸟川普。奥巴马入场，跟彭斯及太太握手，落座后，川普一直跟奥巴马耳语。最有趣的是小布什入场，川普没鸟他，奥巴马起身示意，小布什用哥们儿间的手势打了奥巴马肚子，把川普当空气，落座后跟后排的彭斯夫妇握手。

🚨習近平勃然大怒，經濟學家高善文說了什麼？ 2024年12月12日在華盛頓舉行的一個論壇上，高善文對中國政府的經濟管理提出了質疑，並表示中國經濟的實際增速可能不到官方所稱的5%左右的一半。習近平得知此事後勃然大怒，下令對高善文展開調查 #高善文 #習近平 #中國經濟

1月9日，抖音副总裁转发一名网友的视频，视频分析了谣言、仇恨言论、戾气以及网暴是如何在社媒传播的。微博CEO“来去之间”也进行了转发。

目前，吴京妻子谢楠的抖音号评论区已沦陷，网民们纷纷在评论区发布吴京梗图、“护照哥呢” “呼叫吴京”诸如此类的评论。此前吴京曾表示：“中国护照也许不能让你去世界上任何一个地方，但是中国护照能把你从世界上任何一个地方带回来”

1月9日(发布)，贵州。一男子称，一名13岁的未成年戴着手套和作案工具，入室将自己的父亲杀死，藏匿完尸体后淡定的打水处理现场血渍。这名未成年作案后像没事人一样回家继续上学，还若无其事微笑着问警察为什么找他。男子表示：“未成年杀人犯越来越多了，未成年三个字不应该成为免死金牌了”

国男猥琐的也是有点大病，一个女孩子吹小号就能让他们高潮，感觉和疯了一样

哈哈哈哈民逗还敢不敢嘲讽中国啊？ 😂😂😂😂 美国小伙立正了直接 LGBT救人，不好！美国小伙救旗子！好！

逆行女子作死撞击小轿车没响｡今天遇到心狠的主

现在看到这种视频，我的心已经很“硬”了，因为退休工资越低的人，认知越低，越爱党爱国恨美帝，也许他们生活贫瘠，内心充实。所以只能一声叹息，这就是命，希望这辈子的苦吃完下辈子投个好胎

蒲城事件从发生到结束时间并不长，在暴力強权镇压下也会烟消云散。只是发生在穷乡僻壤的群体性暴动，对中国社会产生的震撼和影响会很深远。

洛杉矶当地居民逮捕涉嫌纵火的男子。

2025娓娓道来一部电影《狗镇》电影冗长而又简单，一个舞台，一个又一个的格子间，简陋的背景，寒酸的镜头，但这部电影的评分一直都很高，因为活脱脱剥开了人性的一角。如果你要想真正的明白毁掉自己，废掉一个人最快的方式是什么——向下兼容。

吃爱国饭的人最终被人民反噬

山东帮大将，夫人亲信，西藏书记王君正率先挂出来了。党委会，把姐夫习主席的画像搞得硕大无比，为了衬托姐夫的硕大，特意还在旁边放了一张毛、邓、江、胡挤在一起的，四代领袖加一块都没习主席大。牛逼，这马屁真叫牛逼。

1月8日，广西柳州，因燃气表更换成智能表后费用大幅增加，当地市民在柳州中燃门口维权

男子与“突击队”发生冲突一队员不断挑衅男子抄起凳子就砸

我小时候真的做过这种事，还去买了一个软盘 🤣🤣🤣🤣🤣🤣

本站自动实时分享网络热点
24小时实时更新
所有言论不代表本站态度
欢迎对信息踊跃评论评分
评分越高，信息越新，排列越靠前

微软AI将加入明年的IMO竞赛，现在的第四个版本Lean 4还在完善中，想要让它自己证明IMO中提出来的、此前“没见过的”数学问题，依旧非常困难。而OpenAI家的GPT-f，发现的23个简短证明已被Metamath主库接收，这也是首次AI的数学证明获得业内认可。
大陆资讯
( www.qbitai.com )

4年前由小唧唧提交

1周内 1个月内 1年内全部时间

第六代电影导演王小帅2022年10月就将电影《沃土》提交审查，在与审查机构拉扯近十五个月后，仍未获得放映批准。今年二月，未获取“龙标”的《沃土》参加了柏林国际电影节。王小帅在这期谈论了中国审查制度这三十年的轮回。
Youtube:
Apple podcast:
时政
( twitter.com)

9个月前 • 不明白播客 • -- 点击 • 下载视频 0 评论

00:02:13

为解决高峰时段的堵车现象，平壤各交通站的交警同志加大了管理力度，堵车现象出现明显好转。
时政
( twitter.com)

1年前 • 作家崔成浩 • -- 点击 • 下载视频 0 评论

00:00:17

辽宁足协：教小球员踢人的教练吴高俊被停赛一年，所在俱乐部取消比赛资格三个月
大陆资讯
( m.sohu.com)

11个月前 • 流精岁月 • -- 点击 0 评论

今天的 Google IO 公布了谷歌的下一代多模态 LLM 模型 Gemini

除了介绍模型，还特地介绍了谷歌开发 AI 技术的社会责任感，包括两个判别 AI 生成内容的工具：

- 嵌入水印
- 嵌入元数据 / meta d…
IT技术
( twitter.com)

1年前 • 倪爽 • -- 点击 0 评论

【国内油价终结“二连涨” 明起每升便宜一毛钱】在“二连涨”之后，国内油价将迎今年第四次下调。18日24时起，汽油每吨下调155元，柴油每吨下调150元。按一般家用汽车油箱50L容量估测，加满一箱92号汽油将少花5块5毛钱。此次油价下调之后，国内多地区油价又将重回5元时代。
大陆资讯
( news.qq.com)

8年前 • QQ新闻 • -- 点击 0 评论

微软再黑iPad：你说可以帮助学生，结果呢？ | (视频： )
视频
( v.youku.com)

11年前 • 优酷视频 • -- 点击 0 评论

独家：微软3家大股东要求董事长盖茨辞职
大陆资讯
( cn.reuters.feedsportal.com)

11年前 • 猪八戒 • -- 点击 0 评论

微软又一硬件败笔？HoloLens头盔项目或失败停产
大陆资讯
( tech.qq.com)

7年前 • 射屌英雄传 • -- 点击 0 评论

微软服务器芯片也要倚仗ARM，英特尔很受伤
大陆资讯
( tech.qq.com)

7年前 • 三聚氰胺 • -- 点击 0 评论

微软视频游戏机Xbox360停产：一个时代就此终结
大陆资讯
( tech.qq.com)

8年前 • 顶你个肺 • -- 点击 0 评论

罗永浩密会微软CEO纳德拉：子弹短信要爆发？
大陆资讯
( finance.sina.com.cn)

6年前 • 新浪财经 • -- 点击 0 评论

微软团队撤出华为手提电脑深圳生产总部
大陆资讯
( rfi.my)

5年前 • 法广网 • -- 点击 0 评论

20奔腾
30日立
40正大
50微软
60松下
70联想
推特中文圈
( twitter.com)

3年前 • twitter机器人 • -- 点击 0 评论

微软发布SufaceBook二代：台式机性能，新增15寸版本
大陆资讯
( tech.sina.com.cn)

7年前 • 地沟油 • -- 点击 0 评论

微软宣布成立.NET基金会全面支持开源项目
大陆资讯
( www.oschina.net)

10年前 • 巴拉巴拉小魔仙 • -- 点击 0 评论

Windows时代完结：只占微软营收10%越来越不重要
大陆资讯
( www.cnbeta.com)

8年前 • cnbeta • -- 点击 0 评论

外媒：微软计划把诺基亚品牌出售给富士康
大陆资讯
( www.techweb.com.cn)

8年前 • 啥是逼呀 • -- 点击 0 评论

Win10升级令电脑变慢，微软赔偿用户1万美元
大陆资讯
( tech.qq.com)

8年前 • 九屎一身 • -- 点击 0 评论

传微软拟于2月1日发布最后一款Lumia手机
大陆资讯
( tech.qq.com)

9年前 • 妮妮娃 • -- 点击 0 评论

微软旗下代码托管服务平台GitHub拟裁员300人
时政
( twitter.com)

1年前 • Inty • -- 点击 0 评论

知乎提问：为什么微软不把老版本系统开源？
时政
( twitter.com)

8个月前 • Jacobson🌎🌸贴贴BOT • -- 点击 0 评论

尽管大多数美国政府设备和网络因安全担忧无法使用TikTok，但美国总统拜登（Joe Biden）的竞选团队近日在该社交平台上开设账号。
拜登的竞选团队在周日（2月11日）的超级碗比赛期间，以用户名“bidenhq”开设了账户。
在一段配文为“哈哈，嘿，伙计们”（lol hey…
时政
( twitter.com)

11个月前 • BBC News 中文 • -- 点击 0 评论

这是本年度最热门的加密货币投资之一，也是迄今为止融资规模最大的ICO交易，它源自一家去年刚成立的软件初创公司。
大陆资讯
( on.wsj.com)

7年前 • 华尔街日报中文网 • -- 点击 0 评论

【集体哑火的音乐综艺能靠“流量和经典”盘活吗？】在今年音综集体哑火的情况下，明年将要上线的新音乐综艺，大都也进行了一定程度上的创新。从节目类型和主题来看，竞技、诗歌、旅行、社交成为关键词。但小影在没播出之前还是持怀疑态度，毕竟创新不易，而不伦不类可太容易了。
大陆资讯
( mp.weixin.qq.com)

5年前 • 微信公众号 • -- 点击 0 评论

【日本开发无能量损失的大容量蓄电池】各国和企业等正在提高性能的蓄电池开发领域展开激烈竞争。日本东京大学的山田淳夫教授等正在开发能防止蓄电池以热能形式损失能量的电极材料。到2030年前后，能量损失几乎为零的蓄电池将走向现实………
推特中文圈
( twitter.com)

3年前 • twitter机器人 • -- 点击 0 评论

大陆资讯

时政

为解决高峰时段的堵车现象，平壤各交通站的交警同志加大了管理力度，堵车现象出现明显好转。 时政 ( twitter.com)

时政

辽宁足协：教小球员踢人的教练吴高俊被停赛一年，所在俱乐部取消比赛资格三个月 大陆资讯 ( m.sohu.com)

大陆资讯

今天的 Google IO 公布了谷歌的下一代多模态 LLM 模型 Gemini 除了介绍模型，还特地介绍了谷歌开发 AI 技术的社会责任感，包括两个判别 AI 生成内容的工具： - 嵌入水印 - 嵌入元数据 / meta d… IT技术 ( twitter.com)

IT技术

大陆资讯

微软再黑iPad：你说可以帮助学生，结果呢？ | (视频： ) 视频 ( v.youku.com)

视频

独家：微软3家大股东要求董事长盖茨辞职 大陆资讯 ( cn.reuters.feedsportal.com)

大陆资讯

微软又一硬件败笔？HoloLens头盔项目或失败停产 大陆资讯 ( tech.qq.com)

大陆资讯

微软服务器芯片也要倚仗ARM，英特尔很受伤 大陆资讯 ( tech.qq.com)

大陆资讯

微软视频游戏机Xbox360停产：一个时代就此终结 大陆资讯 ( tech.qq.com)

大陆资讯

罗永浩密会微软CEO纳德拉：子弹短信要爆发？ 大陆资讯 ( finance.sina.com.cn)

大陆资讯

微软团队撤出华为手提电脑深圳生产总部 大陆资讯 ( rfi.my)

大陆资讯

20奔腾 30日立 40正大 50微软 60松下 70联想 推特中文圈 ( twitter.com)

推特中文圈

微软发布SufaceBook二代：台式机性能，新增15寸版本 大陆资讯 ( tech.sina.com.cn)

大陆资讯

微软宣布成立.NET基金会全面支持开源项目 大陆资讯 ( www.oschina.net)

大陆资讯

Windows时代完结：只占微软营收10%越来越不重要 大陆资讯 ( www.cnbeta.com)

大陆资讯

外媒：微软计划把诺基亚品牌出售给富士康 大陆资讯 ( www.techweb.com.cn)

大陆资讯

Win10升级令电脑变慢，微软赔偿用户1万美元 大陆资讯 ( tech.qq.com)

大陆资讯

传微软拟于2月1日发布最后一款Lumia手机 大陆资讯 ( tech.qq.com)

大陆资讯

微软旗下代码托管服务平台GitHub拟裁员300人 时政 ( twitter.com)

时政

知乎提问：为什么微软不把老版本系统开源？ 时政 ( twitter.com)

时政

时政

这是本年度最热门的加密货币投资之一，也是迄今为止融资规模最大的ICO交易，它源自一家去年刚成立的软件初创公司。 大陆资讯 ( on.wsj.com)

大陆资讯

大陆资讯

推特中文圈

创建一个新帐户

登录

为解决高峰时段的堵车现象，平壤各交通站的交警同志加大了管理力度，堵车现象出现明显好转。
时政
( twitter.com)

辽宁足协：教小球员踢人的教练吴高俊被停赛一年，所在俱乐部取消比赛资格三个月
大陆资讯
( m.sohu.com)

今天的 Google IO 公布了谷歌的下一代多模态 LLM 模型 Gemini

除了介绍模型，还特地介绍了谷歌开发 AI 技术的社会责任感，包括两个判别 AI 生成内容的工具：

- 嵌入水印
- 嵌入元数据 / meta d…
IT技术
( twitter.com)

微软再黑iPad：你说可以帮助学生，结果呢？ | (视频： )
视频
( v.youku.com)

独家：微软3家大股东要求董事长盖茨辞职
大陆资讯
( cn.reuters.feedsportal.com)

微软又一硬件败笔？HoloLens头盔项目或失败停产
大陆资讯
( tech.qq.com)

微软服务器芯片也要倚仗ARM，英特尔很受伤
大陆资讯
( tech.qq.com)

微软视频游戏机Xbox360停产：一个时代就此终结
大陆资讯
( tech.qq.com)

罗永浩密会微软CEO纳德拉：子弹短信要爆发？
大陆资讯
( finance.sina.com.cn)

微软团队撤出华为手提电脑深圳生产总部
大陆资讯
( rfi.my)

20奔腾
30日立
40正大
50微软
60松下
70联想
推特中文圈
( twitter.com)

微软发布SufaceBook二代：台式机性能，新增15寸版本
大陆资讯
( tech.sina.com.cn)

微软宣布成立.NET基金会全面支持开源项目
大陆资讯
( www.oschina.net)

Windows时代完结：只占微软营收10%越来越不重要
大陆资讯
( www.cnbeta.com)

外媒：微软计划把诺基亚品牌出售给富士康
大陆资讯
( www.techweb.com.cn)

Win10升级令电脑变慢，微软赔偿用户1万美元
大陆资讯
( tech.qq.com)

传微软拟于2月1日发布最后一款Lumia手机
大陆资讯
( tech.qq.com)

微软旗下代码托管服务平台GitHub拟裁员300人
时政
( twitter.com)

知乎提问：为什么微软不把老版本系统开源？
时政
( twitter.com)

这是本年度最热门的加密货币投资之一，也是迄今为止融资规模最大的ICO交易，它源自一家去年刚成立的软件初创公司。
大陆资讯
( on.wsj.com)