GROK 3 VS. RIEMANN: A BREAKTHROUGH ON THE HORIZON? The race to crack the legendary Riemann Hypothesis is heating up, and Grok 3 might just hold the key! * Brute-Force Computation – With enough power and a verifier, AI could crunch through all solutions. * AI + Human , page 113

分享一个链接

发表一篇文章

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

3551 位用户此时在线

24小时点击排行 Top 10：

澳大利亚姑娘第一次夜爬泰山：晚上 9 点半出发，7863 级台阶、整整 6 小时，每爬 1000 级就掏一样山东小吃 —— 泰安现烤烧饼、周村芝麻烧饼、油炸蚕蛹、3 块钱的冻雪碧冰棍、还能拉丝的山东高粱饴。

https://t.co/kWmS7jb2FC请问，这是AI制作的，还是真实的？

感谢好心人：在死神来之前，女神先来了❤️

9月5日，CHINA GT中国超级跑车锦标赛上海站发生了一起重大撞车起火事故，原本应该紧急施救的赛事救援人员在关键时刻却因为害怕逃离现场，危难之中，驶过事故地点的79号赛车车手洛克-哈托格果断放弃比赛从起火的赛车中救出了91号车手米洛里。事故发生后，91号车手所在的First

驳船约10秒将整舱黑色物料卸入长江 9月7日，博主“渔猎齐哥”发布视频称，在青山长江大桥附近，一艘驳船仅用约10秒，就将整舱黑色泥状物料卸入长江。航拍画面可见，船旁水面出现明显的深色水带。他称，一个半小时内看到三艘驳船进行类似卸料作业，随后致电投诉。

第一次看到审判江青法庭王洪文等人开庭的完整录像。《九亿人民的审判》法庭是把江青、王洪文等人逐个带进来，江青是最后进来的，而且气质也是最盛的。录像在给了江青镜头后，很快把镜头给到了坐在旁听席的刘少奇遗孀王光美。

小米SU7参加山路圈速挑战，发车十余秒后冲出赛道 9月5日，浙江绍兴佰骏山地赛车场举行“山路圈速挑战”。懂车帝“独家片场”直播画面显示，一辆参赛的小米SU7在工作人员挥旗后没有立即出发，车内仪表一度仍显示P挡。正式计时十余秒后，车辆在首个明显右弯冲出铺装路面，冲上路边山坡。

墨西哥渔民被困水下洞穴15天后奇迹生还，全程只靠喝水。

剁刀大赛，这把刀太惊艳了，简直万能！

倒立是这样练出来的，太搞笑了！

一说北京工资还很多3.4千的就有人不服气这可以看看这个视频这群人实际上是大国崛起之下，光辉之下的另一群普通中国人

How Uyghur student are treated.

One punch on a Shanghai–LA flight. Entire family loses their U.S. visas. August 28. A kid keeps bothering the passenger next to him. A stranger steps in. The father doesn’t discipline the child — he starts throwing punches. Crew radioed ahead. Plane lands at LAX. Customs

一个大哥拍的赶海视频火了，太好笑了，网友：海里这么多河豚，为什么不叫海豚啊

网友投稿一名男子在地铁上大声演讲，痛斥当下内卷环境和超负荷加班，引发周围人一众哄笑。最后男子无奈苦笑：“我在为我们打工人发声啊，你们竟然嘲笑我。”

“CNN等外媒记者到达后震惊了” 9月6日，“8·26”中尼边境灾害发生第11天，中国外交部和国务院新闻办首次组织境外媒体进入西藏吉隆口岸受灾核心区。 CNN高级中国记者Simone McCarthy站在原五层联检大楼所在地报道，现场只剩钢筋、碎石和部分地基。她表示，这是外国媒体首次获准进入中国一侧灾区。

日本文化根本就不需要AI 日本的创造力，已经超过AI 200万年

月薪三千，就跟大A的3000点一样，恐怕要五十年不变。这是20年前的电视剧，里面说的几乎和现在一样。

“假如发现自己的祖国才是真正的大反派” 9月4日，有抖音账号发布介绍二战时期日本反战人士的视频。该视频以日本发动侵略战争为背景，讲述好战者如何借国家与民族之名裹挟普通人和打压异见人士。该视频提出这样一个问题：假如发现自己的祖国才是真正的大反派，你应该怎么办呢？

9月5日，CHINA GT中国超级跑车锦标赛上海站发生三车碰撞、赛车起火事故，荷兰车手洛克·哈托格弃赛救出被困的英国车手米洛里。

Watch video

毛奢侈淫乱中央调查部副部长的刘志汉说：老人家（注：指毛）后期就是皇帝，各省搞行宫，西湖的刘庄占地540亩，湖中之湖，园中之园，光动力机械烧柴油一天就花2700元。铁托说他跑了60多个国家从未见过那么豪华的地方，特地延长多住了两天。上海市中心有一个很大的院子，只许他住，有200多服务人员,

近日，有视频博主用无人机拍摄了江西吉安遂川县左安镇部分村子受灾情况，发布在抖音上。博主表示，拍视频完全只是为了让迁居外地的家乡人了解家乡受灾情况，并没提到任何政治敏感话题，结果还是被当地政府部门打电话来要求删除视频。

9月4日，一名中国博主发布视频称，他在搭乘美国某航空公司航班时，向空姐提出希望参观飞机驾驶舱。在得到允许后，该博主不仅进入了驾驶舱，还坐上了驾驶位并与机长合影留念。该视频引发大量弹幕讨论：“文明”、“恶意拍摄”、“美国人太坏了”……

CHINA GT中国超级跑车锦标赛上海站发生了一起重大撞车起火事故。这起事故照出了两件事： 1. 荷兰赛车手伟大的人性光辉 2. 上海赛事主办方的无能、甩锅，事后还企图掩盖事实。上海站正赛进行到第7圈，在一次多车事故中，

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

2

1

0

GROK 3 VS. RIEMANN: A BREAKTHROUGH ON THE HORIZON?
The race to crack the legendary Riemann Hypothesis is heating up, and Grok 3 might just hold the key!
* Brute-Force Computation – With enough power and a verifier, AI could crunch through all solutions.
* AI + Human
btc
( twitter.com )

1年前由 Mario Nawfal 提交

GROK 3 VS. RIEMANN: A BREAKTHROUGH ON THE HORIZON?

The race to crack the legendary Riemann Hypothesis is heating up, and Grok 3 might just hold the key!

* Brute-Force Computation – With enough power and a verifier, AI could crunch through all solutions.

* AI + Human Collaboration – Machines assisting top minds could lead to Turing, Fields, or Nobel Prize-worthy breakthroughs.

* A Timeline for Discovery? – Elon predicts AI-driven advancements within two years.

No solution yet—but Grok 3 is inching closer to cracking one of math’s biggest unsolved codes!

Source: @elonmusk

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

1

2

1

1

【GIF】欧罗巴联赛，曼联VS费内巴切，马塔为曼联赢得点球的时刻，一脸拍在地上……看着就hin疼
图片
( ww1.sinaimg.cn)

10年前 • 有趣图片 0 评论

2

2

1

1

【GIF】亚冠精彩进球，广州恒大VS韩国水原三星，高拉特凌空世界波，目前比分恒大1-2落后
图片

9年前 • 洞房花钱夜 0 评论

3

4

3

3

41岁的国际象棋冠军诸宸以前vs现在她好像还鼓励自己闺蜜嫁自己老公？？（是不是这个？）
图片

9年前 • 巭孬嫑勥茓 0 评论

4

2

1

1

2型糖尿病治疗药物盐酸二甲双胍片，
仿制药（双乐欣）VS 原研药（格华止）90分钟崩解过程。
有趣
( twitter.com)

1年前 • 背包健客 • 下载视频 0 评论

00:00:30

5

2

1

1

森林狼vs灰熊，第三节最后一攻，莫兰特杀入内线面对比斯利的补防直接平筐隔扣对手
大陆资讯
( weibo.com)

4年前 • 微博 0 评论

6

1

0

0

求证：如何证明唐山打人案宣判的是罪犯本人……

转【宣判现场：孙力军团伙VS唐山打人团伙】
时政
( twitter.com)

4年前 • twitter机器人 0 评论

7

2

1

1

🇺🇸11月CPI
前年比7.1% vs 前回7.7%
低下幅0.64%、2020年4月以来最大

US CPI Y/Y DROPS 0.64%, BIGGEST DECLINE SINCE APRIL 2020 - BBG
推特中文圈
( twitter.com)

3年前 • Yuto Haga ⚽️🇯🇵 0 评论

8

2

1

1

这事必须用魔法打败魔法的方式来脱困。学学这个魔法对轰，看看零零后VS大爷大妈😂
时政
( twitter.com)

2年前 • 山夫 hiker • 下载视频 0 评论

00:01:02

9

2

1

1

「了解您的体重」
苹果形身材 vs. 梨形身材到底哪个好？你了解你的体重吗？
Understanding your weight
Source: British Heart Foundation
时政
( twitter.com)

2年前 • Dr.Wang • 下载视频 0 评论

00:02:26

10

2

1

1

木村长女心美与次女光希居家锻炼，阳光运动达人妹妹vs健身了解一下姐姐，你pick哪个？
大陆资讯
( weibo.com)

6年前 • 微博 0 评论

11

2

1

1

【老外VS我朝老太，那就是个渣】西双版纳飞昆明航班乘客斗殴：老太太揪男老外头发拖行。。。
大陆资讯
( news.sina.com.cn)

13年前 • 新浪社会焦点 0 评论

12

2

1

1

2015新款门神！RX-78 VS 红色有角三倍速！作者是13年画霸天虎威震天版门神的@画画的张旺
图片
( ww1.sinaimg.cn)

11年前 • 有趣图片 0 评论

13

2

1

1

《VS Code 力扣插件是如何诞生的？微软开发工程师的他这样说》，原来作者是上海交通大学的。。。

海外华文
( www.bilibili.com)

4年前 • 哔哩哔哩 0 评论

14

2

1

1

The PLA they show on CCTV vs. the “glorious” reality.
Top: Spotless uniforms, synchronized marches, and endless propaganda parades on state TV.
Bottom: The actual Volunteer Army — freezing, starving, and broken in the mud and snow.
时政
( twitter.com)

2个月前 • The Great Translation Movement 大翻译运动 0 评论

15

2

1

1

《大濛》VS《抓特务》：同样是肃反题材，两部电影却走向了截然不同的精神彼岸，高下善恶立判。
时政
( twitter.com)

2个月前 • 程益中 0 评论

16

2

1

1

Jensen Huang: Elon is an extraordinary engineer. Every single one of his projects is revolutionary.
“I love working with him. We've built some amazing computers together. We're going to build many more computers together.
The work that he's doing with Grok, his self-driving
btc
( twitter.com)

1年前 • ELON CLIPS • 下载视频 0 评论

00:01:03

17

2

1

1

We will use Grok 3.5 (maybe we should call it 4), which has advanced reasoning, to rewrite the entire corpus of human knowledge, adding missing information and deleting errors.
Then retrain on that.
Far too much garbage in any foundation model trained on uncorrected data.
btc
( twitter.com)

1年前 • Elon Musk 0 评论

18

2

1

1

Coding to improve Grok’s coding is pure joy, like art for art’s sake! Vibe coding with the team in the war room is 🔥. Please share your real-world coding problems (e.g., those you may ask in Cursor’s Agent mode) for Grok to crush.
btc
( twitter.com)

1年前 • Bill Yuchen Lin 0 评论

19

2

1

1

Grok writes way better notes from my interviews than ChatGPT does.
Here's the notes from the interview, coming later, with
The notes are incredible.
I use to edit my videos. It makes a transcript (that's how you edit videos inside of it, by cutting
btc
( twitter.com)

1年前 • Robert Scoble 0 评论

20

2

1

1

I tested Grok in my Tesla tonight, and the technology blew my mind. It located a regional Indian singer for old Marathi lyrics and helped me share more details about this song in fluent Marathi. The integration work by and the team is truly impressive.
btc
( twitter.com)

1年前 • Hrushi 0 评论

21

2

1

1

Announcing Grok for Government - a suite of products that make our frontier models available to United States Government customers
We are especially excited about two new partnerships for our US Government partners
1) a new contract from the US Department of Defense
2) our
btc
( twitter.com)

1年前 • xAI 0 评论

22

2

1

1

Grok 4 is at the point where it essentially never gets math/physics exam questions wrong, unless they are skillfully adversarial.
It can identify errors or ambiguities in questions, then fix the error in the question or answer each variant of an ambiguous question.
btc
( twitter.com)

1年前 • Elon Musk 0 评论

23

2

1

1

I got early access to the Grok 4 Imagine beta...
and I was blown away by the results! Totally didn’t expect something like this from a beta built in such a short time.
prompts, how to access and my thoughts in this thread 🧵👇
btc
( twitter.com)

1年前 • TechHalla • 下载视频 0 评论

00:00:06

24

2

1

1

Grok Imagine prompt:
Anthropomorphic gray tabby cat riding a vintage brown bicycle with 'Wien' on the tube and a bottle attached to the frame, dressed in steampunk adventurer gear including a leather helmet with aviator goggles, over-ear headphones, a dark jacket with red strap
btc
( twitter.com)

1年前 • Elon Musk • 下载视频 0 评论

00:00:06

25

2

1

1

Grok 4 Heavy (left) V.s. Gemini 2.5 Pro (right)
Create a Turing-complete Scheme interpreter in C that supports lexical scoping, closures, continuations, and proper tail-call for tail recursion without stack growth.
Grok4 won. It wrote superior code.
Grok4 Heavy: 903 Lines of C
btc
( twitter.com)

1年前 • Tetsuo 0 评论