AI for math – 量子位

AI for math

刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」难题

GPT-6 Astra扫荡数学证明ing

鱼羊 1分钟前

AI for math GPT-6 Astra

加载更多

热门文章

超清双2亿，掌中电影机，荣耀Magic9 系列正式发布，售价4499元起

特斯拉FSD，在欧洲被打回原形

DeepSeek Bot来了！民间版，DSH装个插件就能用

TRAE终于把Code和Work合并了

OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来