Publier
MR.JC区块博士
OpenAI内部下一代模型Astra据称用约2000美元推理成本，解决10道至少十年未突破的数学和理论计算机科学开放问题，并给出Lean可检查证明。最重要的数字不是10道题，而是2000美元的单位成本。如果证明经过领域专家复核，AI科研瓶颈会从「能不能提出解法」转向「证明是否改变理论边界」。我会把这条当作高影响披露，最终仍要由同行复核和后续复现定价。
#AI研究
Avertissement : les contenus d'OKX Orbit sont uniquement publiés à titre informatif. En savoir plus
Réponses
Aucun commentaire pour le moment. Soyez le premier à répondre !
Cryptos tendance
BTC/USDTBitcoin
$75 683,7+0,00 %
ETH/USDTEthereum
$2 230,55+0,00 %
OKB/USDTOKB
$101,14-0,02 %
Tendances du marché
1#Un responsable de la Réserve fédérale déclare que l'inflation reste le plus grand risque
2#La vente massive d'actions AI sur le marché américain fait disparaître 2,3 billions de dollars de la valeur du Nasdaq en une seule journée
3#Les créations d'emplois non agricoles aux États-Unis en octobre s'élèvent à 165 000, dépassant les attentes, les sorties hebdomadaires des ETF BTC atteignent 1,28 milliard de dollars
