Populaire onderwerpen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+9,8%
USELESS
USELESS-3,66%
IKUN
IKUN+0,64%
gib
gib-3,85%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,24%
ALON
ALON-2,44%
LAUNCHCOIN
LAUNCHCOIN+3,02%
GOONC
GOONC-2,3%
KLED
KLED+6,64%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+2,5%
Boopa
Boopa+0,28%
PORK
PORK0,00%
header
Axiom
Axiom
Axiom10 jan, 01:45
1/ AxiomProver heeft 12/12 van Putnam 2025 behaald. Vandaag publiceren we de Lean-bewijzen die AxiomProver autonoom heeft gegenereerd. We geven ook onze kijk op de problemen, bewijsvisualisaties en vergelijken hoe mensen vs AI anders benaderen. Een hoop leuke wiskunde en Lean! Onze bevindingen in de thread.
29
Axiom
Axiom12 dec 2025
van Putnam (formeel theorema bewijzen) tot de novo wiskundige ontdekking, kom geweldig werk met ons doen bij Axiom
Scott Kominers
Scott Kominers12 dec 2025
Huidige studenten zijn de eerste generatie wetenschappers die AI-modellen kunnen gebruiken voor substantiële, abstracte onderzoekstaken op grote schaal. Mijn @a16zcrypto vooruitzicht voor 2026, QED:
184
Axiom
Axiom11 dec 2025
1/ De Collatz-conjectuur heeft wiskundigen bijna 90 jaar in verlegenheid gebracht. Paul Erdös zei: "wiskunde is nog niet klaar voor zulke problemen." 🧵 Dus gaven we het aan transformers. Wat ze leerden, verbaasde ons! Nieuw onderzoek van Axiom's wiskunde-ontdekkingsteam, blog live deze ochtend.
191