熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Kevin Weil 🇺🇸
科學@OpenAI副總裁、董事會@Cisco @nature_org、LTC @USArmyReserve
例如：Pres @Planet，產品@Instagram @Twitter主管
❤️ @elizabeth超級馬拉松兒童貓數學
哇，這週第三個透過 GPT 5.2 解決的厄爾多斯問題！
1月11日 13:00
週末勝利：我提交的 Erdős 問題 #397 的證明被 Terence Tao 接受了。
這個證明是由 GPT 5.2 Pro 生成的，並用 Harmonic 進行了形式化。
許多未解的問題靜靜地等待著，有人來提示 ChatGPT 解決它們：
65
2026年將會是科學的一個激動人心的年份！AI將成為一個有意義的加速器，這個時機再好不過了。
1月9日 22:00
陶哲軒確認：
第一次，一個大型語言模型（GPT-5.2 pro）成功獨立解決了一個厄爾多斯問題。
這讓我對GPT-5.3 pro感到非常興奮。科學正在加速發展，突破變得越來越重要。
74
熱門
排行
收藏