Postingan
MR.JC区块博士
OpenAI内部下一代模型Astra据称用约2000美元推理成本，解决10道至少十年未突破的数学和理论计算机科学开放问题，并给出Lean可检查证明。最重要的数字不是10道题，而是2000美元的单位成本。如果证明经过领域专家复核，AI科研瓶颈会从「能不能提出解法」转向「证明是否改变理论边界」。我会把这条当作高影响披露，最终仍要由同行复核和后续复现定价。
#AI研究
Penafian: Konten OKX Orbit ini hanya disediakan untuk tujuan informasi. Selengkapnya
Balasan
Belum ada komentar. Jadilah yang pertama membalas!
Kripto Trending
BTC/USDTBitcoin
$75.889,5+0,00%
ETH/USDTEthereum
$2.237,64+0,00%
OKB/USDTOKB
$101,63-0,01%
Berita pasar hari ini
1#Pejabat Federal Reserve mengatakan inflasi masih merupakan risiko terbesar
2#Penjualan besar-besaran AI di pasar saham AS menyebabkan Nasdaq kehilangan 2,3 triliun dolar AS dalam satu hari
3#BTC dan ETH spot ETF mengalami arus keluar bersih lebih dari 1,6 miliar USD dalam satu minggu