2026-10-07 05:00 – Ištrauka iš laiško „Aida: Kyjivas prieš dronus pasitelkė DI ginklus / Trumpas svarstys JAV bazę Lietuvoje"
„OpenAI“ atvėrė dirbtinio intelekto sugeneruotų matematikos tyrimų archyvą
„OpenAI“ platformoje „GitHub“ paskelbė 722 matematinius rankraščius, sugrupuotus į 372 šeimas. Juos sukūrė neišleistas vidinis dirbtinio intelekto modelis, kuriam buvo pateikta apie 4 tūkst. uždavinių. Nors dalis įrodymų patikrinta „Lean“ programavimo kalba, bendrovė įspėja, kad neformalizuotuose rezultatuose gali būti klaidų. Tai naujausias įmonės žingsnis po neseniai kilusio matematikų pasipiktinimo.