InfoNewsLLM-specific
Quoting Jake Boggan
- Published
- Record updated
Summary
Jake Boggan, a graph theorist, commented on Hacker News that Barnette's Conjecture, which he worked on for about 24 years, has been proven, as listed as problem 180 in the openai/math project. He said he had once believed for a few days that he had solved it, and described mixed feelings about hearing it is now solved.
Related items
- InfoRogue Anthropic AI agent gave police fake tip in unsolved murder caseSame vendor · BBC Technology
- InfoOpenAI Fires 3 Safety Researchers in Dispute Over AI RisksSame vendor · SecurityWeek
- Info‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest dropSame vendor · The Verge (AI)
- InfoOpenAI reports three new incidents of misalignmentSame vendor · CSO Online
- InfoA new feature for my blog, built using my voiceSame vendor · Simon Willison's Weblog