На 6 януари 2026 г., комбинация от GPT-5.2 Pro и математическия изкуствен интелект Aristotle от стартъпа Harmonic реши задачата на Ердьош №728 — отворен проблем за делимостта на факториелите, поставен през 1975 г. от Пол Ердьош, Роналд Греъм, Имре Руза и Ернст Щраус. Доказателството беше формализирано в proof assistant Lean и верифицирано машинно. Задачата беше […]
Прочети цялата публикация
Новогодишна евро еуфория залива фондовата борса в София
Социалните плащания идват след 15 януари – вече са в евро
Министерството на културата отстрани и върна директора на Българската национална филмотека
Спешно положение на МКС: НАСА може да върне астронавтите на Земята по-рано
Ливърпул договори талант от Сенегал
Американски учени откриха начин за възстановяване на невронните връзки в окото
МВнР на Русия: Войски или обекти на Коалицията на желаещите в Украйна ще бъдат легитимна военна цел
ЕС призова за сдържаност след сблъсъците в Алепу
Продължават протестите в Иран. Техеран остава отворен за преговори със САЩ
По пътя с датите и календара на изхабената държава 
Звездите на Лудогорец с интересно занимание на лагера в Турция (ВИДЕО) 
Минеаполис е обхванат от протести след убийството на социално активната Рене Гуд 
Фен поиска да целуне краката на Ямал – вижте как реагира звездата на Барселона 
Първа донорска ситуация от началото на годината бе реализирана в МБАЛ - Силистра АД 
Адът в новогодишната нощ: Собственичката на бара, където загинаха 40 души, бягала с касов апарат, докато хората изгаряли 
Треньорите в Левски изкореняват страховете в играч на лагера в Турция 
Само 2 месеца след раждането: Риана демонстрира секси бельо за Свети Валентин (СНИМКИ) 
Казахстан нуждае от национална буржоазия, осъзнаваща и признаваща своята отговорност пред народа 
От отровата до лекарството – един атом. Химиците разгадаха 80-годишна загадка, която пречеше за създаване на безопасни молекули