AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该
...
2026-01-09 06:32
892
热门资讯
巴黎奥运时间
文/周盛明 编辑/高莘）当地时间7月26日19点30分，北京时间27日凌晨1时30分，第33届夏季奥林匹克运动会又称2024巴黎奥运会）开幕式开始。巴黎奥组委 2024巴黎奥运会是法国巴黎继19
...
2026-01-09 06:08
282
今日辟谣（2024年7月26日）
来源：互联网联合辟谣平台 2024年7月26日 谣 言福建福州世欧广场、仓山万达被淹？ 真相：7月25日，网上一则“仓山万达王庄世欧广场）被淹”的视频，引发关注。经福建省福州市联排联调中心核
...
2026-01-09 05:52
1900
澳大利亚奥运教练为韩国加油，回国要挨罚了
►文观察者网阮佳琪 巴黎奥运会开战在即，自家教练却给其他国家的运动员叫好鼓劲，澳大利亚游泳教练迈克尔·帕尔弗里Michael Palfrey）这波“胳膊肘往外拐”，让澳国内破了大防。 综合澳大
...
2026-01-09 05:44
2536
蓝箭航天朱雀三号暂缓首飞
蓝箭航天朱雀三号暂缓首飞资料图）《科创板日报》29日讯，《科创板日报》记者获悉，北京蓝箭航天“朱雀三号”首飞箭已处于最后准备状态，原定今天11月29日）首飞，因不可抗力，发射任务临时暂缓。记者 李明明
...
2026-01-09 05:42
439
张本智和/早田希娜爆冷出局 日媒惊呼巴黎噩梦
来源：北青体育 【张本智和/早田希娜爆冷出局 #日媒惊呼巴黎噩梦# 】 北京时间7月27日深夜，在巴黎奥运会乒乓球混双1/8决赛中，赛会二号种子张本智和/早田希娜1比4不敌朝鲜组合李正植/金琴
...
2026-01-09 05:32
1202
年均温仅14.5℃，广西乐业探洞云海神秘感满满，迷人风景让人留恋
夏季，全国半数地方都很热，在室外活动就像在“火”上烤。暑热季节，广西百色却很清凉，玩水、避暑花样多。乐业是百色的秘境，全年平均气温仅14.5℃，森林覆盖率高达83.3%，负氧离子含量极为丰富。乐业天坑
...
2026-01-09 05:01
525
中国体操队赛前换将：苏炜德替换孙炜
来源：北青体育 [中国体操队赛前换将 中国体操队苏炜德替换孙炜] 中国体操队副领队陆斌25日对北京青年报记者确认，在24日进行的赛台训练中，男团成员孙炜脚部受伤，无法在团体比赛中正常发挥，如此
...
2026-01-09 04:53
467
谷歌对OpenAI见招拆招
出品｜虎嗅科技组作者｜余杨编辑｜苗正卿头图｜视觉中国11月19日消息，谷歌家旗舰版Gemini 3 Pro model上线，官宣其编码和推理能力都有所提升，而“谄媚”变少。不难发现，谷歌瞄准了它的对手
...
2026-01-09 04:38
1778
巴黎奥运会开幕式的悬念，今夜一一揭晓
巴黎当地时间26日晚7时30分，北京时间27日凌晨1时30分，2024年巴黎奥运会开幕式将在塞纳河上举行。巴黎奥运会打破常规，将开幕式搬到了体育场馆之外，无疑是一次极具想象力的创新。围绕开幕式的各
...
2026-01-09 04:03
356