GoKawiil - Tech News

Topics: Today This Week This Month This Year

Ten advances in mathematics and theoretical computer science (news.ycombinator.com)

2026-08-01 | tags: chatgpt, erdos conjecture, astral model

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

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

An Amateur Just Solved a 60-Year-Old Math Problem - by Asking AI (slashdot.org)

2026-05-02 | by Posted | get AI Math Problem Solver Kit → | tags: erdos problems, chatgpt, mathematics

Today's top topics: apple openai android authority google meta smart glasses samsung coldcard linux google search