GoKawiil - Tech News

1.

Mathematicians Build Long-Awaited Graph Sandwich (news.ycombinator.com)

2026-09-18 | by Paulina Rowińska | tags: sandwich conjecture, graph theory, random graphs

2.

I vibed a proof of Conway's conjecture (news.ycombinator.com)

2026-09-18 | tags: conway's conjecture, surreal numbers, lean proof

3.

I Vibed a Proof of Conway's Conjecture (news.ycombinator.com)

2026-09-18 | tags: conway's conjecture, surreal numbers, lean proof

4.

OpenAI Reportedly Trying to Solve Hodge Conjecture Amid Feud With Math Community (gizmodo.com)

2026-09-18 | get The Millennium Problems Keith Devlin book → | tags: openai, hodge conjecture, math community

5.

The k-server conjecture is true (news.ycombinator.com)

2026-09-15 | tags: k-server conjecture, conjecture, theory

6.

OpenAI might have stolen another major proof (news.ycombinator.com)

2026-09-10 | get Moleskine classic hardcover notebook squared → | tags: openai, astra, andreas thom

7.

A partial digestion of the HRT counterexample (news.ycombinator.com)

2026-08-09 | by Terence Tao | tags: argument, conjecture, function

8.

LLMs reward expertise (news.ycombinator.com)

2026-08-03 | tags: llms, chatgpt, jacobian conjecture

9.

Postmortem for Kernel Soundness Bug #14576 (news.ycombinator.com)

2026-08-01 | by Leonardo De Moura | tags: lean kernel, collatz conjecture, nanoda

10.

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

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

11.

The Maxwell Conjecture Is False (GPT 5.6 Sol) (news.ycombinator.com)

2026-07-31 | tags: maxwell conjecture, gpt 5.6, artificial intelligence

12.

Theo Conjecture solves 35-year-old math problem, finds a term no one predicted (news.ycombinator.com)

2026-07-29 | tags: theo conjecture, paul erdos, graffiti program

13.

Four Young Mathematicians Awarded the 2026 Fields Medals (slashdot.org)

2026-07-23 | tags: fields medals, hong wang, kakeya conjecture

14.

Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample (news.ycombinator.com)

2026-07-22 | tags: terence tao, chatgpt, jacobian conjecture

15.

Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample (news.ycombinator.com)

2026-07-22 | tags: terrence tao, chatgpt, jacobian conjecture

16.

A digestion of the Jacobian conjecture counterexample (news.ycombinator.com)

2026-07-21 | by Terence Tao | tags: jacobian conjecture, complex numbers, polynomial map

17.

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

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

18.

Claude Fable produced a counterexample to the Jacobian Conjecture (news.ycombinator.com)

2026-07-20 | tags: jacobian conjecture, algebraic geometry, levent alpoge

19.

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

20.

A Beautiful Theory Falls to Ugly Data (news.ycombinator.com)

2026-07-12 | by Alex Tabarrok | tags: coase, coase conjecture, conjecture

21.

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

22.

An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn’t Leave It Alone (gizmodo.com)

2026-06-01 | get Mathematician's Puzzle Book → | tags: openai, will sawin, mathematician

23.

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

24.

An OpenAI model has disproved a central conjecture in discrete geometry (news.ycombinator.com)

2026-05-20 | get OpenAI Discrete Geometry Book → | tags: openai, discrete geometry, conjecture

25.

Schanuel's Conjecture and the Semantics of Triton's FPSan (news.ycombinator.com)

2026-05-16 | by Posted On | tags: schanuel's conjecture, triton compiler, fpsan tool

26.

What's a mathematician to do? (2010) (news.ycombinator.com)

2026-05-10 | get Mathematician's Notebook Set → | tags: poincaré conjecture, mathematical understanding, human minds

27.

What's a Mathematician to Do? (news.ycombinator.com)

2026-05-10 | get Mathematician's Notebook Set → | tags: fermat's last theorem, poincaré conjecture, mathematics

28.

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

29.

Android Phones Are Getting More Anti-Theft Features (slashdot.org)

2026-01-27 | by Posted | get Smartphones → | tags: carl, carl gutekunst, conjecture

30.

Unpicking How to Measure the Complexity of Knots (wired.com)

2025-11-08 | by Leila Sloman | get KnotGenius → | tags: brittenham, conjecture, hermiller