Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−2 %
USELESS
USELESS−5,25 %
IKUN
IKUN+4,02 %
gib
gib−1,04 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−1,93 %
ALON
ALON−1,44 %
LAUNCHCOIN
LAUNCHCOIN−1,78 %
GOONC
GOONC−2,18 %
KLED
KLED−2,73 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP0,00 %
Boopa
Boopa−3,69 %
PORK
PORK0,00 %
header
Thomas Bloom
Thomas Bloom
Thomas Bloom26. jan. 2026
Et nytt blogginnlegg av @AcerFur, hvor han beskriver sin erfaring som pioner innen bruk av AI-verktøy for å løse Erdős-problemer:
173
Thomas Bloom
Thomas Bloom14. jan. 2026
KI er nå i stand til å generere ny interessant matematikk. Men det er mye lettere for den å generere plausibelt tull. Jeg er bekymret for at det siste, kopiert og promotert av brukere uten forståelse for matematikken, vil overdøve det første.
296
Thomas Bloom
Thomas Bloom30. nov. 2025
Som eier/vedlikeholder av Erdős problems-nettsiden, en tråd med noen kommentarer om denne løsningen til #124: 1) Dette er et godt bevis, som ble gitt av AI-en fra den formelle erklæringen uten menneskelig involvering og deretter formalisert i Lean. Dette er allerede imponerende!
Vlad Tenev
Vlad Tenev30. nov. 2025
Vi står på terskelen til en dyp endring innen matematikkfeltet. Stemningen er her. Aristoteles fra @HarmonicMath beviste nettopp Erdos-problem #124 i @leanprover, helt alene. Dette problemet har vært åpent i nesten 30 år siden det ble antatt i artikkelen "Complete sequences of sets of integer powers" i tidsskriftet Acta Arithmetica. Boris Alexeev kjørte dette problemet med en betaversjon av Aristoteles, nylig oppdatert med sterkere resonnement og et naturlig språkgrensesnitt. Matematisk superintelligens nærmer seg for hvert minutt, og jeg er trygg på at det vil endre seg og dramatisk akselerere fremgangen innen matematikk og alle avhengige felt.
205