LogoThread Easy
  • 探索
  • 撰写 Thread
LogoThread Easy

您的一体化 Twitter 线程助手

© 2025 Thread Easy All Rights Reserved.

探索

最新在前,按卡片方式浏览线程

开启时会模糊预览图,关闭后正常显示

from the @TheEconomist World in Brief today:

"the roughly $2.1bn that American Express, a credit-card giant, paid Delta between April and June was equivalent to the airline’s entire operating profit in the quarter"

a smart executive could turn that into a business model!

from the @TheEconomist World in Brief today: "the roughly $2.1bn that American Express, a credit-card giant, paid Delta between April and June was equivalent to the airline’s entire operating profit in the quarter" a smart executive could turn that into a business model!

Wonderer. Amor fati. Scaling trust.

avatar for Michael Frank Martin
Michael Frank Martin
Thu Nov 27 14:18:19
酷,DeepSeek刚刚上新了最新模型:DeepSeek-Math-V2,达IMO金牌级水平

基于DeepSeek-V3.2-Exp-Base,685B,专注于数学推理与定理证明

Math-V2不仅是算答案,而是生成完整证明,能自己检查自己证明对不对的数学AI

在IMO2025、CMO 2024上达到了金牌级成绩,在Putnam 2024上接近满分118/120

具体是,先训练一个准确可信的验证器,来判断证明过程是否严谨

再用该验证器作为奖励模型,训练一个证明生成器,鼓励其在提交前主动发现并修正证明中的问题

随着生成器变强,持续扩大验证计算量,自动标注难以验证的证明,反哺验证器训练,形成“生成-验证”循环提升

DeepSeekMath-V2等于让AI数学从出答案跃迁到了写证明,不光能写,还能自己检查哪里不对越写越严谨

#DeepSeekMathV2

酷,DeepSeek刚刚上新了最新模型:DeepSeek-Math-V2,达IMO金牌级水平 基于DeepSeek-V3.2-Exp-Base,685B,专注于数学推理与定理证明 Math-V2不仅是算答案,而是生成完整证明,能自己检查自己证明对不对的数学AI 在IMO2025、CMO 2024上达到了金牌级成绩,在Putnam 2024上接近满分118/120 具体是,先训练一个准确可信的验证器,来判断证明过程是否严谨 再用该验证器作为奖励模型,训练一个证明生成器,鼓励其在提交前主动发现并修正证明中的问题 随着生成器变强,持续扩大验证计算量,自动标注难以验证的证明,反哺验证器训练,形成“生成-验证”循环提升 DeepSeekMath-V2等于让AI数学从出答案跃迁到了写证明,不光能写,还能自己检查哪里不对越写越严谨 #DeepSeekMathV2

模型:https://t.co/Hmz6P83CsI 论文:https://t.co/yNtXy9pA2e

avatar for AIGCLINK
AIGCLINK
Thu Nov 27 14:15:10
Kanye is the one to blame here. You married an insane person from an insane family and did not think your kid would end up insane.

In his defence, he is also insane.

Kanye is the one to blame here. You married an insane person from an insane family and did not think your kid would end up insane. In his defence, he is also insane.

Founder | Author | Speaker Building @beltstripe. Healtech/EdTech/Agric I'm Not The Man Of Your Dreams. Your Imagination Wasn't This Great.

avatar for Sani Yusuf
Sani Yusuf
Thu Nov 27 14:14:18
RT @Greptime: 𝗙𝘂𝗻𝗱𝗮𝗺𝗲𝗻𝘁𝗮𝗹, 𝗻𝗼𝘁 𝗳𝗮𝗻𝗰𝘆 — 𝗽𝗲𝗿𝗳𝗼𝗿𝗺𝗮𝗻𝗰𝗲 𝗹𝗲𝘀𝘀𝗼𝗻𝘀 𝗳𝗿𝗼𝗺 𝗗𝗮𝘁𝗮𝗙𝘂𝘀𝗶𝗼𝗻
Our engineer Ruihang Xia (@wayne17229928), also a PMC member of…

RT @Greptime: 𝗙𝘂𝗻𝗱𝗮𝗺𝗲𝗻𝘁𝗮𝗹, 𝗻𝗼𝘁 𝗳𝗮𝗻𝗰𝘆 — 𝗽𝗲𝗿𝗳𝗼𝗿𝗺𝗮𝗻𝗰𝗲 𝗹𝗲𝘀𝘀𝗼𝗻𝘀 𝗳𝗿𝗼𝗺 𝗗𝗮𝘁𝗮𝗙𝘂𝘀𝗶𝗼𝗻 Our engineer Ruihang Xia (@wayne17229928), also a PMC member of…

喜欢王小波,大概我们能成为朋友。 我的 2025 https://t.co/pAkSJnpKXA 我的 2024 https://t.co/HfDF6oduB7 我的 2023 https://t.co/QyV8PiZmOY ..............

avatar for yihong0618
yihong0618
Thu Nov 27 14:14:09
RT @myfxtrader: FT:麻省理工学院和Hugging Face开展的一项研究发现,过去一年里,中国科研团队开发的开源AI模型在开源模型全球下载总量中的占比已上升至17%,超过了谷歌、Meta 和OpenAI等美国科技公司的15.8%,在AI技术的全球应用中取得关键…

RT @myfxtrader: FT:麻省理工学院和Hugging Face开展的一项研究发现,过去一年里,中国科研团队开发的开源AI模型在开源模型全球下载总量中的占比已上升至17%,超过了谷歌、Meta 和OpenAI等美国科技公司的15.8%,在AI技术的全球应用中取得关键…

喜欢王小波,大概我们能成为朋友。 我的 2025 https://t.co/pAkSJnpKXA 我的 2024 https://t.co/HfDF6oduB7 我的 2023 https://t.co/QyV8PiZmOY ..............

avatar for yihong0618
yihong0618
Thu Nov 27 14:12:40
I wrote this in my notes over 3 months ago. 

A few weeks ago I finally pulled the trigger and did it! 

Gonna be a long journey, but definitely a fun one. Very excited about it 🥳

I wrote this in my notes over 3 months ago. A few weeks ago I finally pulled the trigger and did it! Gonna be a long journey, but definitely a fun one. Very excited about it 🥳

I build stuff. On my way to making $1M 💰 My projects 👇

avatar for Florin Pop 👨🏻‍💻
Florin Pop 👨🏻‍💻
Thu Nov 27 14:11:24
  • Previous
  • 1
  • More pages
  • 2206
  • 2207
  • 2208
  • More pages
  • 5634
  • Next