GoKawiil - Tech News

Topics: Today This Week This Month This Year

GPT-5.6 used a prompt to close a 30-year gap in convex optimization (news.ycombinator.com)

2026-07-18 | tags: gpt-5.6, convex optimization, lean

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf] (news.ycombinator.com)

2026-07-10 | tags: conjecture, conjecture pdf, cover

Today's top topics: openai artificial intelligence apple anthropic