Topik trending
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+8,86%
USELESS
USELESS-1,83%
IKUN
IKUN-0,94%
gib
gib+3,66%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,45%
ALON
ALON+1,44%
LAUNCHCOIN
LAUNCHCOIN-4,44%
GOONC
GOONC+1,18%
KLED
KLED+11,19%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-1,98%
Boopa
Boopa+2,56%
PORK
PORK0,00%
header
Greg Burnham
Greg Burnham
Greg Burnham11 Mar, 22.37
Minggu besar untuk AI di batas bawah Ramsey! Ini meningkatkan R(3,13), R(4,13), R(4,14), R(4,15) masing-masing satu. Saya ingin memasukkan sesuatu tentang angka Ramsey klasik di FrontierMath: Open Problems, tetapi tidak yakin bagaimana membuatnya cukup umum untuk memenuhi standar daya tarik kami.
Pushmeet Kohli
Pushmeet Kohli11 Mar, 21.44
Senang berbagi kemajuan baru dalam AI untuk Matematika @GoogleDeepMind . Dalam kombinatorika ekstrem, AlphaEvolve telah membantu menetapkan batas bawah baru untuk LIMA nomor Ramsey klasik - masalah yang sangat menantang sehingga bahkan Erdős mengomentari kesulitannya. Secara historis, secara komputasi memperoleh batas-batas ini membutuhkan algoritma pencarian yang dirancang manusia yang dipesan lebih dahulu. Untuk banyak batas ini, hasil terbaik sebelumnya setidaknya berusia satu dekade. AlphaEvolve mengubah ini dengan bertindak sebagai meta-algoritme tunggal yang secara otomatis menemukan prosedur pencarian yang diperlukan untuk menemukan batas-batas baru ini. 📷
84
Greg Burnham
Greg Burnham11 Mar, 03.26
Kami sedang menyelidiki kemungkinan solusi oleh GPT-5.4 Pro untuk masalah dari FrontierMath: Open Problems. Dugaan saya adalah solusinya benar, tetapi kami tidak akan yakin sampai penulis masalah menimbang. Utas dengan cerita sejauh ini...
129
Greg Burnham
Greg Burnham5 Mar, 02.28
Saya pernah mendengar dari matematikawan bahwa jika jawabannya "jelek", maka Anda mungkin mengajukan pertanyaan yang salah. Jadi, apakah pengepakan persegi entah bagaimana pertanyaan yang salah?
362