S radostí sdílím: #Aletheia, náš matematický výzkumný agent, právě vyřešil 6 z 10 notoricky obtížných FirstProof problémů autonomně, což je nejlepší výsledek v první výzvě! Pro mě je to ještě větší než náš historický úspěch IMO-gold z loňského roku; Tyto problémy jsou výzvou i pro přední matematiky. Výsledky sdílíme transparentně, vidíme článek a celé myšlenky ve vlákně. 👇