Populaire onderwerpen
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Axiom
In de meer dan 98 jaar geschiedenis van de Putnam-wedstrijd (sinds 1927) zijn er slechts 5 perfecte scores behaald.
AxiomProver behaalde 120/120.
We eren de studenten die aan het examen deelnemen en kijken ernaar uit om meer indrukwekkende menselijke perfecte scorers te zien!
11 jan, 01:49
AI heeft net een perfecte score behaald op de moeilijkste wiskundewedstrijd ter wereld.
De Putnam heeft 12 problemen x 10 punten. De hoogste score van vorig jaar was 90. De mediaan? 0. Axiom's AI-prover in Lean scoorde 120/120 en heeft net alle oplossingen gedeeld.
Grote mijlpaal voor AI in Wiskunde.
320
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.
385
van Putnam (formeel theorema bewijzen) tot de novo wiskundige ontdekking, kom geweldig werk met ons doen bij Axiom
12 dec 2025
Current students are the first generation of scholars who'll be able to use AI models for substantive, abstract research tasks at scale.
My @a16zcrypto outlook for 2026, QED:
553
Boven
Positie
Favorieten