热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico-0.01%
USELESS
USELESS+2.47%
IKUN
IKUN+27.38%
gib
gib+15.89%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk+1.55%
ALON
ALON+5.5%
LAUNCHCOIN
LAUNCHCOIN-5.78%
GOONC
GOONC+0.55%
KLED
KLED+13.02%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP-0.43%
Boopa
Boopa-0.07%
PORK
PORK+2.05%
header
Johannes Schmitt
苏黎世联邦理工学院的数学家，对代数几何和人工智能感兴趣
Johannes Schmitt
Johannes Schmitt12月17日 22:37
首次，一个AI模型（GPT-5）自主解决了提交给我们基准项目IMProofBench的一个开放数学问题，提供了完整且正确的证明，没有人类提示或干预。 这是对枚举几何的小而新颖的贡献。一些背景：
35