Comments 2
Госпади, опять...
Неолуддиты взрывно рыдают. Вообще Тао прям активно клмментирует на серверах Lean. https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/Erdos.20707/with/554531060
Sign up to leave a comment.
Госпади, опять...
Неолуддиты взрывно рыдают. Вообще Тао прям активно клмментирует на серверах Lean. https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/Erdos.20707/with/554531060
ИИ-ученый Google AlphaEvolve помог математикам совершить несколько открытий