Antropik Pavel Izmailov říká, že AI zatím nepřijde k nezávislým objevům v přírodních vědách, protože nemůže provádět fyzikální experimenty Ale v matematice, kde modely pravděpodobně zvládnou formální důkazy a jazyky AI se brzy stane lepší než lidé v dokazování technických lemmat