Updates on HEIR, the Homomorphic Encryption Compiler Project(jeremykun.com)

32 points by turtleyacht 1 month ago | 0 comments

Typst's Math Mode Problem(laurmaedje.github.io)

98 points by marcianx 1 year ago | 44 comments

How Terry Tao became an evangelist for AI in math(quantamagazine.org)

144 points by Tomte 4 months ago | 127 comments

Knuth and McIlroy Approach a Problem (2021)(matt-rickard.com)

49 points by ingve 3 years ago | 18 comments

λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments

Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel(starfleetmath.com)

142 points by colin7snyder 3 months ago | 82 comments

GPT-5.6(openai.com)

1499 points by logickkk1 3 months ago | 1055 comments

OpenAI's product release announcement for GPT-5.6, a frontier model touted for better performance per dollar and on-demand capability for hard tasks.

GPT-5.5 Codex reasoning-token clustering may be leading to degraded performance(github.com)

339 points by maille 3 months ago | 140 comments

GitHub issue on openai/codex reporting GPT-5.5 reasoning-token counts clustering at 516/1034/1552, possibly degrading performance on complex tasks.

OpenAI researcher announced GPT-5 math breakthrough that never happened(the-decoder.com)

349 points by Topfi 1 year ago | 196 comments

The Decoder article reporting that an OpenAI researcher's claim of a GPT-5 math breakthrough turned out to be false.

OpenAI releases 722 math manuscripts(github.com)

9 points by jumploops 19 days ago | 1 comments

A CONTENTS.md file in OpenAI's GitHub math repository indexing a collection of 722 mathematics manuscripts covering 372 result families, with an overview PDF.

GPT Best Practices(platform.openai.com)

540 points by yla92 3 years ago | 165 comments

OpenAI platform documentation guide outlining six strategies and tactics for getting better results from GPT models through prompting.

GPT-5.2-Codex(openai.com)

565 points by meetpateltech 10 months ago | 301 comments

OpenAI's announcement of GPT-5.2-Codex, an agentic coding model for professional software engineering and defensive cybersecurity.