Recently, a claim emerged that GPT-5 (developed by OpenAI) had “found solutions” to several long-standing open problems listed on ErdosProblems.com. The claim began with a tweet by an OpenAI researcher which stated that GPT-5 had solved 10 previously unsolved Erdős problems and made progress on more. However, Thomas Bloom—the creator and maintainer of ErdosProblems.com—responded swiftly, calling the claim “a dramatic misinterpretation.” He clarified that the label “open” on his...

As code agent with AI capability becoming more and more popular, it seems can help programmers complete lots of tasks from code suggestion and bug hunt. Does your company allow use this kind of code agent? What is allowed? Any concern on security and privacy? Share your experience....

With development of AI, the code editors are also evolving. Originally Microsoft offered Github Copilot which can help complete code by giving instructions on what needs to be done. Now Cursor and Windsurf are going one step further which can also help edit code instead of just completing code. Have you started to use these new editors? Which one are you using? And good or bad thing to share?...

AI becomes a very hot topic again since the introduction of OpenAI's ChatGPT and now more and more people are learning AI or LLMs. What is your story? And any recommendation for new commers?...