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 OpenAI model solved a famous math problem that stumped humans for 80 years (arstechnica.com)

2026-06-01 | get AI Math Problem Solver → | tags: openai, erdős conjecture, ai mathematics

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: openai anthropic apple ai agents ai safety nvidia google samsung ai regulation microsoft