Ken

[Ken @Maths543]

@hhbvx3 @laozhouhengmei @KMbappe 撒旦背上纹个你

[Ken @Maths543]

@xukego 感觉易理华除了身高差点 挺帅的

[Ken @Maths543]

@hsn8086xe @Erling

[Ken @Maths543]

@sama Can you do a Clash Royale AI？

[Ken @Maths543]

@xukego 好奇这些设备最后是怎么处理的

[Ken @Maths543]

@xukego 其实单方面的被崩老头不能叫崩友。你得努力崩一下孙哥。

[Ken @Maths543]

@xukego 看来在段子方面 gpt astra也不能替代人类

[Bartosz Naskręcki @nasqret]

I tested GPT-Astra on mathematics. It's a quantum leap. You can talk with the model and prove the statements live in Lean. The feeling is absolutely stunning. You can verify your ideas, compile truth. For a mathematician it feels like finally we arrived in the era where we can focus entirely on the ideation and exploration. Each lemma flows once the logic is set. Before the verification was lagging behind but Astra is very fast and for many tasks the formalization happens as you write your argument in Codex.

If you tell the model to use literate programming + LaTeX you end up with your proof combined with the Lean code, everything explained as you wrote, mixed with small chunks of Lean which are digestible.

I don't want to go back to the era where the only confirmation of the proof was "aha". Now the "aha" is followed by a green tick that indeed tells you that you have captured the essence. Imagine how cool it will be to have all the lemmas of the world combined in one giant database, pointing to people and models who found them. You compose and mix your ideas and build on the shoulders of the giants. But you see much further now and build much faster. And we are just at the beginning of those changes. So much work to do, so much fun!

[Ken @Maths543]

@thsottiaux Please don‘t give me access to Astra！

[Ken @Maths543]

@zengying1107 怎么重发了这么多之前发过的，江郎才尽了吗

[Ken @Maths543]

@xukego 刷着刷着突然看到自家学院Clare的Formal Hall和Cavendish Lab 楽

[Clash Royale Esports @EsportsRoyaleEN]

Coming next in the #CRL26 LCQ Player Spotlight: Niuzi! 🎉

@niuzi_cr had a breakthrough year, competing in multiple Monthly Finals and bringing some interesting deck choices along the way.

Can he cap off his season with a World Finals appearance? 🤔

[Ken @Maths543]

@roseETh121 @sunyuchentron 你连孙割发的誓都敢信

[Ken @Maths543]

@justinsuntron 你直接毁掉了曾经的枕边人…… 没想到你道德能恶心到这种程度

[Ken @Maths543]

@storydotfun_cn @justinsuntron Storyfun要开始割孙割了

[Ken @Maths543]

@zengying1107 赶紧开始你的作家生涯吧，我等不及看了

[Ken @Maths543]

@yff5188 我感觉你不懂孙哥啊，可以看一下孙哥自己官网的慈善和艺术收藏。这哥们是真铁公鸡一毛不拔。

[Ken @Maths543]

@justinsuntron @DarioAmodei You should pay this guy as he promoted Claude

[Ken @Maths543]

@Ian77cr1 Happy Birthday!