GoKawiil - Tech News

Topics: Today This Week This Month This Year

Human mathematicians are being outcounterexampled (news.ycombinator.com)

2026-07-20 | by View All Posts Xenaproject | tags: lean, erdos conjecture, golod shafarevich

Today's top topics: apple openai iphone 18 pro iphone duo google anthropic foldable iphone iphone android apple watch series 12