Trendaavat aiheet
#
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
Putnamin kilpailun 98 vuoden historian aikana (vuodesta 1927 lähtien) on saanut vain viisi täydellistä pistemäärää.
AxiomProver sai 120/120.
Kunnioitamme kokeeseen osallistuvia opiskelijoita ja odotamme innolla lisää vaikuttavia ihmisvalvojien pisteitä!
11.1. klo 01.49
Tekoäly saavutti juuri täydet pisteet maailman vaikeimmassa matematiikkakilpailussa.
Putnamissa on 12 ongelmaa x 10 pistettä. Korkein pistemäärä viime vuonna oli 90. Keskikenttä? 0. Axiomin tekoälytodistaja Leanissa sai 120/120 ja jakoi kaikki ratkaisut.
Suuri virstanpylväs tekoälylle matematiikassa.
59
1/ AxiomProver sai 12/12 Putnam 2025:stä. Tänään julkaisemme AxiomProverin itsenäisesti tuottamat Lean-todistukset.
Tarjoamme myös oman näkemyksemme ongelmista, todistamme visualisointeja ja vertaamme, miten ihmiset ja tekoäly lähestyvät eri tavoin. Paljon hauskaa matematiikkaa ja Leania!
Löydöksemme ketjussa.
238
Putnamista (muodollinen teoreeman todistaminen) de novo matemaattiseen löytöön, tule tekemään hienoa työtä kanssamme Axiomilla
12.12.2025
Nykyiset opiskelijat ovat ensimmäinen sukupolvi tutkijoita, jotka pystyvät käyttämään tekoälymalleja sisällöllisissä, abstrakteissa tutkimustehtävissä laajassa mittakaavassa.
@a16zcrypto näkökulmani vuodelle 2026, QED:
409
Johtavat
Rankkaus
Suosikit