Meta tag

Latex

3 articles

ChatGPT 5.5 Pro solved an open math problem in 17 minutes

AIRewritten

db#3988

ChatGPT’s 17-minute proof turns math into a verification problem

Timothy Gowers handed ChatGPT 5.5 Pro an open number-theory problem and got a proof in 17 minutes and 5 seconds.

09 May 2026

Technology

db#391

Your Fonts Are Secretly Running Code

Fonts are Turing-complete code engines—LaTeX proves it, and Unicode’s 143k chars just made the attack surface explode.

15 Mar 2026

$FireRed-OCR-2B tries to stop AI from inventing tables$

AIRewritten

db#3809

Document AI is moving from reading text to preserving the structure around it

FireRedTeam’s FireRed-OCR-2B model scores 92.94% on OmniDocBench v1.5, outperforming rivals by enforcing LaTeX and table syntax rules during training.

02 Mar 2026

Meta tag

Latex

3 articles

AIRewritten

db#3988

ChatGPT’s 17-minute proof turns math into a verification problem

Timothy Gowers handed ChatGPT 5.5 Pro an open number-theory problem and got a proof in 17 minutes and 5 seconds.

09 May 2026

Technology

db#391

Your Fonts Are Secretly Running Code

Fonts are Turing-complete code engines—LaTeX proves it, and Unicode’s 143k chars just made the attack surface explode.

15 Mar 2026

$FireRed-OCR-2B tries to stop AI from inventing tables$

AIRewritten

db#3809

Document AI is moving from reading text to preserving the structure around it

FireRedTeam’s FireRed-OCR-2B model scores 92.94% on OmniDocBench v1.5, outperforming rivals by enforcing LaTeX and table syntax rules during training.

02 Mar 2026