כתבתי על הוכחה שיצאה השבוע של השערה של ארדש:
partial-order.com/archives/748
זו הדוגמא הראשונה שאני מכיר להוכחה שיצאה מ-AI שמקדמת את התחום.
Amir Livne Bar-on
@Pashhur@mathstodon.xyz
Previously a mathematics grad student, currently working in algorithm development. father of one. Some causes I care about: veganism, climate change, fighting apartheid, global poverty, LGBTQ+ rights, human trafficking.
mathstodon.xyz