Trend-Themen
#
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.
AI hat gerade eine perfekte Punktzahl beim härtesten Mathematikwettbewerb der Welt erreicht.
Der Putnam hat 12 Probleme x 10 Punkte. Die höchste Punktzahl im letzten Jahr war 90. Der Median? 0. Axioms AI-Prover in Lean erzielte 120/120 und hat gerade alle Lösungen geteilt.
Ein großer Meilenstein für AI in der Mathematik.
Quelle:
174
Top
Ranking
Favoriten