Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-32,75%
USELESS
USELESS-1,14%
IKUN
IKUN-22,67%
gib
gib+7,03%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-4,88%
ALON
ALON+9,68%
LAUNCHCOIN
LAUNCHCOIN+2,44%
GOONC
GOONC-1,41%
KLED
KLED-7,95%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,25%
Boopa
Boopa+1,33%
PORK
PORK0,00%
header
Johannes Schmitt
Nhà toán học tại ETH Zurich, quan tâm đến hình học đại số và trí tuệ nhân tạo
Johannes Schmitt
Johannes Schmitt17 thg 12, 2025
Lần đầu tiên, một mô hình AI (GPT-5) đã tự động giải quyết một bài toán toán học mở được gửi đến dự án đánh giá của chúng tôi là IMProofBench, với một chứng minh hoàn chỉnh và chính xác, mà không cần sự gợi ý hay can thiệp của con người. Một đóng góp nhỏ nhưng mới mẻ cho hình học đếm. Một số thông tin nền:
57