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.
Lähde:
205