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.
152
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.
283
van Putnam (formeel theorema bewijzen) tot de novo wiskundige ontdekking, kom geweldig werk met ons doen bij Axiom
12 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:
454
Boven
Positie
Favorieten